The simplest protoalgebraic logic (Q5396225): Difference between revisions

@@ Property / cites work @@
+Algebraizable logics
@@ Property / cites work: Algebraizable logics / rank @@
+Normal rank
@@ Property / cites work @@
+Algebraic semantics for deductive systems
@@ Property / cites work: Algebraic semantics for deductive systems / rank @@
+Normal rank
@@ Property / cites work @@
+On weakening the Deduction Theorem and strengthening Modus Ponens
+Normal rank
@@ Property / cites work @@
+Leibniz interpolation properties
@@ Property / cites work: Leibniz interpolation properties / rank @@
+Normal rank
@@ Property / cites work @@
+Beyond Rasiowa's algebraic approach to non-classical logics
+Normal rank
@@ Property / cites work @@
+Q2772907
@@ Property / cites work: Q2772907 / rank @@
+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 @@
+On the closure properties of the class of full G-models of a deductive system
+Normal rank
@@ Property / cites work @@
+\(C_ 1\) is not algebraizable
@@ Property / cites work: \(C_ 1\) is not algebraizable / rank @@
+Normal rank
@@ Property / cites work @@
+Some theorems about the sentential calculi of Lewis and Heyting
+Normal rank
@@ Property / cites work @@
+Q5441554
@@ Property / cites work: Q5441554 / rank @@
+Normal rank
@@ Property / cites work @@
+Contextual deduction theorems
@@ Property / cites work: Contextual deduction theorems / rank @@
+Normal rank
@@ Property / cites work @@
+Inconsistency lemmas in algebraic logic
@@ Property / cites work: Inconsistency lemmas in algebraic logic / rank @@
+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 @@
+Admissibility of logical inference rules
@@ Property / cites work: Admissibility of logical inference rules / rank @@
+Normal rank
@@ Property / cites work @@
+Theory of logical calculi. Basic theory of consequence operations
+Normal rank