On generalized hoops, homomorphic images of residuated lattices, and (G)BL-algebras (Q1699728): Difference between revisions

@@ Property / cites work @@
+The free \(n\)-generated BL-algebra
@@ Property / cites work: The free \(n\)-generated BL-algebra / rank @@
+Normal rank
@@ Property / cites work @@
+Varieties of BL-algebras. I: General properties.
@@ Property / cites work: Varieties of BL-algebras. I: General properties. / rank @@
+Normal rank
@@ Property / cites work @@
+Applications of Finite Duality to Locally Finite Varieties of BL-Algebras
+Normal rank
@@ Property / cites work @@
+Automated theorem provers for multiple-valued logics with satisfiability modulo theory solvers
+Normal rank
@@ Property / cites work @@
+Varieties of commutative residuated integral pomonoids and their residuation subreducts
+Normal rank
@@ Property / cites work @@
+Komplementäre Halbgruppen. Axiomatik und Arithmetik
+Normal rank
@@ Property / cites work @@
+Komplementäre Halbgruppen Kongruenzen und Quotienten
+Normal rank
@@ Property / cites work @@
+On normal-valued basic pseudo-hoops
@@ Property / cites work: On normal-valued basic pseudo-hoops / rank @@
+Normal rank
@@ Property / cites work @@
+On finite models of the Lambek calculus
@@ Property / cites work: On finite models of the Lambek calculus / rank @@
+Normal rank
@@ Property / cites work @@
+Residuated lattices. An algebraic glimpse at substructural logics
+Normal rank
@@ Property / cites work @@
+Generalized MV-algebras
@@ Property / cites work: Generalized MV-algebras / rank @@
+Normal rank
@@ Property / cites work @@
+Many-valued logic and mixed integer programming
@@ Property / cites work: Many-valued logic and mixed integer programming / rank @@
+Normal rank
@@ Property / cites work @@
+Metamathematics of fuzzy logic
@@ Property / cites work: Metamathematics of fuzzy logic / rank @@
+Normal rank
@@ Property / cites work @@
+On the structure of generalized BL-algebras
@@ Property / cites work: On the structure of generalized BL-algebras / rank @@
+Normal rank
@@ Property / cites work @@
+The Blok-Ferreirim theorem for normal GBL-algebras and its application
+Normal rank
@@ Property / cites work @@
+Embedding theorems for classes of GBL-algebras
@@ Property / cites work: Embedding theorems for classes of GBL-algebras / rank @@
+Normal rank
@@ Property / cites work @@
+Algebras Whose Congruence Lattices are Distributive.
+Normal rank
@@ Property / cites work @@
+Satisfiability in many-valued sentential logic is NP-complete
+Normal rank
@@ Property / cites work @@
+Q4359793
@@ Property / cites work: Q4359793 / rank @@
+Normal rank