The structure of generalized BI-algebras and weakening relation algebras (original) (raw)
Related papers
Weakening Relation Algebras and FL2-algebras
2020
Relational groupoids and residuated lattices
Αγ Algebras - a New Class of Residuated Lattices
2007
Residuation in lattice effect algebras
Fuzzy Sets and Systems
On algebras with a generalized implication
Mathematica Slovaca, 2013
Representable Biresiduated Lattices
Journal of Algebra, 2002
Relation Algebras, Idempotent Semirings and Generalized Bunched Implication Algebras
Relational and Algebraic Methods in Computer Science, 2017
Lattice-Based Relation Algebras II
Lecture Notes in Computer Science, 2006
The structure of finite commutative idempotent involutive residuated lattices
Algebra universalis, 2021
On Some Categories of Involutive Centered Residuated Lattices
Studia Logica, 2008
Noncommutative Lattices: Skew Lattices, Skew Boolean Algebras and Beyond
2020
Lattice-theoretic properties of algebras of logic
Journal of Pure and Applied Algebra, 2014
Some operations on lattice implication algebras
International Journal of Mathematics and Mathematical Sciences, 2001
The Groupoid-Based Logic for Lattice Effect Algebras
2017 IEEE 47th International Symposium on Multiple-Valued Logic (ISMVL), 2017
Distributive lattices with a dual homomorphic operation
Studia Logica, 1979
The Canonical FEP Construction for Residuated Lattice Ordered Algebras
2016
A triple representation of lattice effect algebras
Mathematica Slovaca, 2016
Studia Logica, 2018
On generalized hoops, homomorphic images of residuated lattices, and (G)BL-algebras
Soft Computing, 2016
Representations of distributive lattice-ordered semigroups with binary relations
Algebra Universalis, 1991
Distributive Lattices with a Generalized Implication: Topological Duality
A Journal on The Theory of Ordered Sets and Its Applications, 2011
Distributive Lattices with a Negation Operator
Mathematical Logic Quarterly, 1999
Distributive Lattices with a Dual Endomorphism
Hanamantagouda P Sankappanavar
Zeitschrift für Mathematische Logik und Grundlagen der Mathematik, 1985
Generalizations of Boolean products for lattice-ordered algebras
Annals of Pure and Applied Logic, 2009
Heyting Algebras with a Dual Lattice Endomorphism
Hanamantagouda P Sankappanavar
Zeitschrift für Mathematische Logik und Grundlagen der Mathematik, 1987
On the structure of generalized BL-algebras
Algebra universalis, 2006
A Representation of Lattice Effect Algebras by Means of Right Near Semirings with Involution
International Journal of Theoretical Physics, 2016
Relation algebras as expanded FL-algebras
Algebra universalis, 2012
Bitopological duality for distributive lattices and Heyting algebras
Mathematical Structures in Computer Science, 2010
On Symmetric Bi-Derivations of Lattice Implication Algebras
gazi university journal of science, 2017
Distributive residuated frames and generalized bunched implication algebras
Algebra universalis, 2017
Soft Computing, 2010
Cancellative residuated lattices
Constantine Tsinakis, Peter Jipsen
Algebra Universalis, 2003
Equational classes of distributive double p-algebras
Algebra Universalis, Vol. 14, 235-243, 1982