Results 1 to 10 of about 40 (33)
Boolean Algebras in Visser Algebras
Notre Dame Journal of Formal Logic, 2016 Wim Ruitenburg +2 more
exaly +2 more sources
Discussiones Mathematicae - General Algebra and Applications, 2021 A new algebraic structure was introduced, called an eGE-algebra, which is a generalisation of a GE-algebra and investigated its properties. We explore the definition of filters and the quotient algebra associated with such filters.
Bandaru R.K., Rafi N., Rezaei A.
doaj +1 more source
The finite intervals of the Muchnik lattice [PDF]
, 2006 We characterize the finite intervals of the Muchnik lattice by proving that they form a certain proper subclass of the finite distributive lattices.
S. Terwijn
semanticscholar +1 more source
Characterization of Almost Semi-Heyting Algebra
Discussiones Mathematicae - General Algebra and Applications, 2020 In this paper, we initiate the discourse on the properties that hold in an almost semi-Heyting algebra but not in an semi-Heyting almost distributive lattice.
Srikanth V.V.V.S.S.P.S. +2 more
doaj +1 more source
Relation Between Be-Algebras and G-Hilbert Algebras
Discussiones Mathematicae - General Algebra and Applications, 2018 Hilbert algebras are important tools for certain investigations in algebraic logic since they can be considered as fragments of any propositional logic containing a logical connective implication and the constant 1 which is considered as the logical ...
Rezaei Akbar, Saeid Arsham Borumand
doaj +1 more source
Filters of Heyting algebras on soft set theory
, 2018 The notions of intersection soft filer(IS-filter), Boolean intersectional soft filter(Boolean IS-filter) and ultra inetersectional soft filter(ultra ISfilter) in Heyting algebras are introduced and their characterizations and relations are investigated ...
D. Park
semanticscholar +1 more source
ON THE RELATIONSHIP BETWEEN SEVERAL CATEGORIES IN FUZZY UNIFORMITIES
, 2016 Uniform structure on the T-valued spaces are defined using different set of axioms and basic terms. A different approach to fuzzy uniformities, in terms of T-covers was introduced which seems the most natural one.
M. Yaghoubi
semanticscholar +1 more source
Filtering Unification and Most General Unifiers in Modal Logic
, 2004 We characterize (both from a syntactic and an algebraic point of view) the normal $K4$-logics for which unification is filtering. We also give a sufficient semantic criterion for existence of most general unifiers, covering natural extensions of $K4.2^+$
S. Ghilardi, L. Sacchetti
core +1 more source
Algebraic axiomatization of tense intuitionistic logic
Open Mathematics, 2011 Chajda Ivan
doaj +1 more source
Recyclable Cu/C3N4 composite catalyzed AHA/A3 coupling reactions for the synthesis of propargylamines. [PDF]
RSC Adv, 2018 Xu H +6 more
europepmc +1 more source