Algebraizable logics with a strong conjunction and their semi-lattice based companions (Q1938393): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1007/s00153-012-0301-z
+Normal rank
@@ Property / OpenAlex ID @@
+W2019555767
@@ Property / OpenAlex ID: W2019555767 / rank @@
+Normal rank
@@ Property / cites work @@
+Algebraizable logics
@@ Property / cites work: Algebraizable logics / rank @@
+Normal rank
@@ Property / cites work @@
+Logics Preserving Degrees of Truth from Varieties of Residuated Lattices
+Normal rank
@@ Property / cites work @@
+Implicational (semilinear) logics. I: A new hierarchy
+Normal rank
@@ Property / cites work @@
+Protoalgebraic logics
@@ Property / cites work: Protoalgebraic logics / rank @@
+Normal rank
@@ Property / cites work @@
+The Suszko operator. I
@@ Property / cites work: The Suszko operator. I / rank @@
+Normal rank
@@ Property / cites work @@
+Q2888156
@@ Property / cites work: Q2888156 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4715441
@@ Property / cites work: Q4715441 / rank @@
+Normal rank
@@ Property / cites work @@
+Leibniz filters and the strong version of a protoalgebraic logic
+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 @@
+Algebraic study of two deductive systems of relevance logic
+Normal rank
@@ Property / cites work @@
+Leibniz filters revisited
@@ Property / cites work: Leibniz filters revisited / rank @@
+Normal rank
@@ Property / cites work @@
+Selfextensional logics with a conjunction
@@ Property / cites work: Selfextensional logics with a conjunction / rank @@
+Normal rank
@@ Property / cites work @@
+Definitional equivalence and algebraizability of generalized logical systems
+Normal rank
@@ Property / cites work @@
+Q5441554
@@ Property / cites work: Q5441554 / rank @@
+Normal rank
@@ Property / cites work @@
+Correspondences between gentzen and hilbert systems
+Normal rank
@@ Property / cites work @@
+Q3666901
@@ Property / cites work: Q3666901 / rank @@
+Normal rank