Glivenko theorems for substructural logics over FL (Q3416119): Difference between revisions

@@ Property / cites work @@
+Algebraic foundations of many-valued reasoning
@@ Property / cites work: Algebraic foundations of many-valued reasoning / rank @@
+Normal rank
@@ Property / cites work @@
+Hájek basic fuzzy logic and Łukasiewicz infinite-valued logic
+Normal rank
@@ Property / cites work @@
+Cancellative residuated lattices
@@ Property / cites work: Cancellative residuated lattices / rank @@
+Normal rank
@@ Property / cites work @@
+Negative equivalence of extensions of minimal logic
+Normal rank
@@ Property / cites work @@
+Metamathematics of fuzzy logic
@@ Property / cites work: Metamathematics of fuzzy logic / rank @@
+Normal rank
@@ Property / cites work @@
+Generalized MV-algebras
@@ Property / cites work: Generalized MV-algebras / rank @@
+Normal rank
@@ Property / cites work @@
+Algebraization, parametrized local deduction theorem and interpolation for substructural logics over FL
+Normal rank
@@ Property / cites work @@
+Minimal varieties of residuated lattices
@@ Property / cites work: Minimal varieties of residuated lattices / rank @@
+Normal rank
@@ Property / cites work @@
+A survey of abstract algebraic logic
@@ Property / cites work: A survey of abstract algebraic logic / rank @@
+Normal rank
@@ Property / cites work @@
+The parameterized local deduction theorem for quasivarieties of algebras and its application
+Normal rank
@@ Property / cites work @@
+Glivenko like theorems in natural expansions of BCK-logic
+Normal rank
@@ Property / cites work @@
+THE STRUCTURE OF RESIDUATED LATTICES
@@ Property / cites work: THE STRUCTURE OF RESIDUATED LATTICES / rank @@
+Normal rank