Page 1

Displaying 1 – 11 of 11

Showing per page

Classes of filters in generalizations of commutative fuzzy structures

Jiří Rachůnek, Dana Šalounová (2009)

Acta Universitatis Palackianae Olomucensis. Facultas Rerum Naturalium. Mathematica

Bounded commutative residuated lattice ordered monoids ( R -monoids) are a common generalization of 𝐵𝐿 -algebras and Heyting algebras, i.e. algebras of basic fuzzy logic and intuitionistic logic, respectively. In the paper we develop the theory of filters of bounded commutative R -monoids.

Classes of fuzzy filters of residuated lattice ordered monoids

Jiří Rachůnek, Dana Šalounová (2010)

Mathematica Bohemica

The logical foundations of processes handling uncertainty in information use some classes of algebras as algebraic semantics. Bounded residuated lattice ordered monoids (monoids) are common generalizations of BL -algebras, i.e., algebras of the propositional basic fuzzy logic, and Heyting algebras, i.e., algebras of the propositional intuitionistic logic. From the point of view of uncertain information, sets of provable formulas in inference systems could be described by fuzzy filters of the corresponding...

Commutative directoids with sectional involutions

Ivan Chajda (2007)

Discussiones Mathematicae - General Algebra and Applications

The concept of a commutative directoid was introduced by J. Ježek and R. Quackenbush in 1990. We complete this algebra with involutions in its sections and show that it can be converted into a certain implication algebra. Asking several additional conditions, we show whether this directoid is sectionally complemented or whether the section is an NMV-algebra.

Commutative directoids with sectionally antitone bijections

Ivan Chajda, Miroslav Kolařík, Sándor Radeleczki (2008)

Discussiones Mathematicae - General Algebra and Applications

We study commutative directoids with a greatest element, which can be equipped with antitone bijections in every principal filter. These can be axiomatized as algebras with two binary operations satisfying four identities. A minimal subvariety of this variety is described.

Complicated BE-algebras and characterizations of ideals

Yılmaz Çeven, Zekiye Çiloğlu (2015)

Discussiones Mathematicae - General Algebra and Applications

In this paper, using the notion of upper sets, we introduced the notions of complicated BE-Algebras and gave some related properties on complicated, self-distributive and commutative BE-algebras. In a self-distributive and complicated BE-algebra, characterizations of ideals are obtained.

Curry algebras N 1

Jair Minoro Abe (1996)

Atti della Accademia Nazionale dei Lincei. Classe di Scienze Fisiche, Matematiche e Naturali. Rendiconti Lincei. Matematica e Applicazioni

In [6] da Costa has introduced a new hierarchy N i , 1 i w of logics that are both paraconsistent and paracomplete. Such logics are now known as non-alethic logics. In this article we present an algebraic version of the logics N i and study some of their properties.

Currently displaying 1 – 11 of 11

Page 1