Fregean logics with the multiterm deduction theorem and their algebraization (Q1770606): Difference between revisions

@@ Property / full work available at URL @@
+https://doi.org/10.1007/s11225-005-1212-3
+Normal rank
@@ Property / OpenAlex ID @@
+W2076769727
@@ Property / OpenAlex ID: W2076769727 / rank @@
+Normal rank
@@ Property / cites work @@
+Congruence quasi-orderability in subtractive varieties
+Normal rank
@@ Property / cites work @@
+Fregean subtractive varieties with definable congruence
+Normal rank
@@ Property / cites work @@
+On the structure of varieties with equationally definable principal congruences. II
+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 @@
+Q4029628
@@ Property / cites work: Q4029628 / rank @@
+Normal rank
@@ Property / cites work @@
+Introduction to the special issue on algebraic logic
+Normal rank
@@ Property / cites work @@
+Algebraic aspects of deduction theorems
@@ Property / cites work: Algebraic aspects of deduction theorems / rank @@
+Normal rank
@@ Property / cites work @@
+Local deductions theorems
@@ Property / cites work: Local deductions theorems / rank @@
+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 @@
+Fregean logics
@@ Property / cites work: Fregean logics / rank @@
+Normal rank
@@ Property / cites work @@
+Q5519895
@@ Property / cites work: Q5519895 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4273420
@@ Property / cites work: Q4273420 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4715441
@@ Property / cites work: Q4715441 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2772907
@@ Property / cites work: Q2772907 / rank @@
+Normal rank
@@ Property / cites work @@
+Two Mal'cev-type theorems in universal algebra
@@ Property / cites work: Two Mal'cev-type theorems in universal algebra / rank @@
+Normal rank
@@ Property / cites work @@
+Q4011728
@@ Property / cites work: Q4011728 / rank @@
+Normal rank