نتایج جستجو برای: topological eq algebra

تعداد نتایج: 147233  

In this paper, using pre-semi-open L-sets and their inequality, a new notion of PS-compactness is introduced in L-topological spaces, where L is a complete De Morgan algebra. This notion does not depend on the structure of the basis lattice L and L does not need any distributivity.

Journal: :Filomat 2021

EQ-algebras were introduced by Nov?ak in [16] as an algebraic structure of truth values for fuzzy type theory (FTT). Nov?k and De Baets [18] various kinds such good, residuated, lattice ordered EQ-algebras. In any logical structures, using filters, one can construct other structures. With this inspirations, means fantastic filters we MV-algebras. Also, study prelinear introduce a new kind filte...

Journal: :iranian journal of fuzzy systems 2015
sergey a. solovyov

this paper introduces a new approach to topology, based on category theory and universal algebra, and called categorically-algebraic (catalg) topology. it incorporates the most important settings of lattice-valued topology, including poslat topology of s.~e.~rodabaugh, $(l,m)$-fuzzy topology of t.~kubiak and a.~v{s}ostak, and $m$-fuzzy topology on $l$-fuzzy sets of c.~guido. moreover, its respe...

Journal: :Bulletin of the Section of Logic 2021

In this paper, we studied the category of EQ-algebras and showed that it is complete, but not cocomplete, in general. We proved multiplicatively relative have coequlizers calculated coproduct pushout a special case. Also, constructed free EQ-algebra on singleton.

Journal: :Fuzzy Sets and Systems 2011
Moataz Saleh El-Zekey Vilém Novák Radko Mesiar

A special algebra called EQ-algebra has been recently introduced by Vilém Novák. Its original motivation comes from fuzzy type theory, in which the main connective is fuzzy equality. EQ-algebras have three binary operations meet, multiplication, fuzzy equality and a unit element. They open the door to an alternative development of fuzzy (manyvalued) logic with the basic connective being fuzzy e...

Journal: :Journal of the Australian Mathematical Society. Series A. Pure Mathematics and Statistics 1996

Journal: :Bulletin of the Australian Mathematical Society 1978

Journal: :categories and general algebraic structures with applications 2015
f. william lawvere

‎from hilbert's theorem of zeroes‎, ‎and from noether's ideal theory‎, ‎birkhoff derived certain algebraic concepts (as explained by tholen) that have a dual significance in general toposes‎, ‎similar to their role in the original examples of algebraic geometry‎. ‎i will describe a simple example that illustrates some of the aspects of this relationship‎. the dualization from algebra to geometr...

Journal: :Journal of the Australian Mathematical Society. Series A. Pure Mathematics and Statistics 1987

نمودار تعداد نتایج جستجو در هر سال

با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید