Sentential logics and Maehara interpolation property (Q1076010): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+Equivalential logics. I
@@ Property / cites work: Equivalential logics. I / rank @@
+Normal rank
@@ Property / cites work @@
+Logical matrices and the amalgamation property
@@ Property / cites work: Logical matrices and the amalgamation property / rank @@
+Normal rank
@@ Property / cites work @@
+Matrices, primitive satisfaction and finitely based logics
+Normal rank
@@ Property / cites work @@
+Algebraic aspects of deduction theorems
@@ Property / cites work: Algebraic aspects of deduction theorems / rank @@
+Normal rank
@@ Property / cites work @@
+Q5736158
@@ Property / cites work: Q5736158 / rank @@
+Normal rank
@@ Property / cites work @@
+Amalgamation, congruence-extension, and interpolation properties in algebras
+Normal rank
@@ Property / cites work @@
+An algebraic approach to non-classical logics
@@ Property / cites work: An algebraic approach to non-classical logics / rank @@
+Normal rank
@@ Property / cites work @@
+Deducibility and many-valuedness
@@ Property / cites work: Deducibility and many-valuedness / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:1076010