Deduction theorems within RM and its extensions (Q4254635): Difference between revisions

@@ Property / cites work @@
+Algebraizable logics
@@ Property / cites work: Algebraizable logics / rank @@
+Normal rank
@@ Property / cites work @@
+Q4085699
@@ Property / cites work: Q4085699 / rank @@
+Normal rank
@@ Property / cites work @@
+Algebraic aspects of deduction theorems
@@ Property / cites work: Algebraic aspects of deduction theorems / rank @@
+Normal rank
@@ Property / cites work @@
+On the lattice of quasivarieties of Sugihara algebras
+Normal rank
@@ Property / cites work @@
+A survey of deduction theorems for the propositional calculi
+Normal rank
@@ Property / cites work @@
+The parameterized local deduction theorem for quasivarieties of algebras and its application
+Normal rank
@@ Property / cites work @@
+A deduction theorem schema for deductive systems of propositional logics
+Normal rank
@@ Property / cites work @@
+Local deductions theorems
@@ Property / cites work: Local deductions theorems / rank @@
+Normal rank
@@ Property / cites work @@
+Algebraic completeness results for R-mingle and its extensions
+Normal rank