ALGEBRAIC EXPANSIONS OF LOGICS (Q5879177): Difference between revisions

@@ Property / cites work @@
+Perfect MV-algebras and their logic
@@ Property / cites work: Perfect MV-algebras and their logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q5841991
@@ Property / cites work: Q5841991 / rank @@
+Normal rank
@@ Property / cites work @@
+On the structure of hoops
@@ Property / cites work: On the structure of hoops / rank @@
+Normal rank
@@ Property / cites work @@
+Q3934450
@@ Property / cites work: Q3934450 / rank @@
+Normal rank
@@ Property / cites work @@
+Implicit connectives of algebraizable logics
@@ Property / cites work: Implicit connectives of algebraizable logics / rank @@
+Normal rank
@@ Property / cites work @@
+Implicit Operations in MV-Algebras and the Connectives of Łukasiewicz Logic
+Normal rank
@@ Property / cites work @@
+An algebraic approach to intuitionistic connectives
+Normal rank
@@ Property / cites work @@
+ALGEBRAICALLY EXPANDABLE CLASSES OF IMPLICATION ALGEBRAS
+Normal rank
@@ Property / cites work @@
+Algebraically expandable classes
@@ Property / cites work: Algebraically expandable classes / rank @@
+Normal rank
@@ Property / cites work @@
+Algebraic functions
@@ Property / cites work: Algebraic functions / rank @@
+Normal rank
@@ Property / cites work @@
+Algebraic foundations of many-valued reasoning
@@ Property / cites work: Algebraic foundations of many-valued reasoning / rank @@
+Normal rank
@@ Property / cites work @@
+Perfect MV-algebras are categorically equivalent to Abelian \(l\)-groups
+Normal rank
@@ Property / cites work @@
+Q3185647
@@ Property / cites work: Q3185647 / rank @@
+Normal rank
@@ Property / cites work @@
+The logic of equilibrium and abelian lattice ordered groups
+Normal rank
@@ Property / cites work @@
+Q4266133
@@ Property / cites work: Q4266133 / rank @@
+Normal rank
@@ Property / cites work @@
+Birkhoff-like sheaf representation for varieties of lattice expansions
+Normal rank
@@ Property / cites work @@
+Q4003410
@@ Property / cites work: Q4003410 / rank @@
+Normal rank
@@ Property / cites work @@
+Algebras Whose Congruence Lattices are Distributive.
+Normal rank
@@ Property / cites work @@
+Sequent and hypersequent calculi for abelian and łukasiewicz logics
+Normal rank
@@ Property / cites work @@
+Interpretation of AF \(C^*\)-algebras in Łukasiewicz sentential calculus
+Normal rank
@@ Property / cites work @@
+Mapping Abelian \(\ell\)-groups with strong unit one-one into MV algebras
+Normal rank
@@ Property / cites work @@
+Complete theories
@@ Property / cites work: Complete theories / rank @@
+Normal rank
@@ Property / cites work @@
+Preservation theorems for limits of structures and global sections of sheaves of structures
+Normal rank
@@ Property / cites work @@
+Free lattice-ordered Abelian groups. II
@@ Property / cites work: Free lattice-ordered Abelian groups. II / rank @@
+Normal rank