Compatible operations on commutative weak residuated lattices (Q2343034): Difference between revisions

@@ Property / full work available at URL @@
+https://doi.org/10.1007/s00012-015-0317-4
+Normal rank
@@ Property / OpenAlex ID @@
+W2091886572
@@ Property / OpenAlex ID: W2091886572 / rank @@
+Normal rank
@@ Property / cites work @@
+Finitely generated free Heyting algebras via Birkhoff duality and coalgebra
+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 @@
+Compatible operations on commutative residuated lattices
+Normal rank
@@ Property / cites work @@
+Compatible operations on residuated lattices
@@ Property / cites work: Compatible operations on residuated lattices / rank @@
+Normal rank
@@ Property / cites work @@
+Bounded distributive lattices with strict implication
+Normal rank
@@ Property / cites work @@
+Frontal operators in weak Heyting algebras
@@ Property / cites work: Frontal operators in weak Heyting algebras / rank @@
+Normal rank
@@ Property / cites work @@
+Logics Which Are Characterized by Subresiduated Lattices
+Normal rank
@@ Property / cites work @@
+On some compatible operations on Heyting algebras
@@ Property / cites work: On some compatible operations on Heyting algebras / rank @@
+Normal rank
@@ Property / cites work @@
+On some new intuitionistic propositional connectives. I
+Normal rank
@@ Property / cites work @@
+THE STRUCTURE OF COMMUTATIVE RESIDUATED LATTICES
@@ Property / cites work: THE STRUCTURE OF COMMUTATIVE RESIDUATED LATTICES / rank @@
+Normal rank
@@ Property / cites work @@
+Q5693612
@@ Property / cites work: Q5693612 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4527760
@@ Property / cites work: Q4527760 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3743301
@@ Property / cites work: Q3743301 / rank @@
+Normal rank