Some modal and temporal translations of generalized basic logic (Q2695352): Difference between revisions

@@ Property / cites work @@
+A temporal semantics for basic logic
@@ Property / cites work: A temporal semantics for basic logic / rank @@
+Normal rank
@@ Property / cites work @@
+Algebraizable logics
@@ Property / cites work: Algebraizable logics / rank @@
+Normal rank
@@ Property / cites work @@
+Q4011710
@@ Property / cites work: Q4011710 / rank @@
+Normal rank
@@ Property / cites work @@
+The consequence relation in the logic of commutative GBL-algebras is PSPACE-complete
+Normal rank
@@ Property / cites work @@
+Q3934450
@@ Property / cites work: Q3934450 / rank @@
+Normal rank
@@ Property / cites work @@
+Modal companions of intermediate propositional logics
+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 @@
+Hájek basic fuzzy logic and Łukasiewicz infinite-valued logic
+Normal rank
@@ Property / cites work @@
+Q3185647
@@ Property / cites work: Q3185647 / rank @@
+Normal rank
@@ Property / cites work @@
+Poset products as relational models
@@ Property / cites work: Poset products as relational models / rank @@
+Normal rank
@@ Property / cites work @@
+Q3060319
@@ Property / cites work: Q3060319 / rank @@
+Normal rank
@@ Property / cites work @@
+Residuated lattices. An algebraic glimpse at substructural logics
+Normal rank
@@ Property / cites work @@
+Algebraization, parametrized local deduction theorem and interpolation for substructural logics over FL
+Normal rank
@@ Property / cites work @@
+Metamathematics of fuzzy logic
@@ Property / cites work: Metamathematics of fuzzy logic / rank @@
+Normal rank
@@ Property / cites work @@
+Generalizations of Boolean products for lattice-ordered algebras
+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 @@
+Amalgamation and interpolation in ordered algebras.
+Normal rank
@@ Property / cites work @@
+The Logic of Bunched Implications
@@ Property / cites work: The Logic of Bunched Implications / rank @@
+Normal rank
@@ Property / cites work @@
+Q3246315
@@ Property / cites work: Q3246315 / rank @@
+Normal rank