Contextual deduction theorems (Q647412): Difference between revisions

@@ Property / cites work @@
+Modalities in Ackermann's “rigorous implication”
+Normal rank
@@ Property / cites work @@
+Q4085699
@@ Property / cites work: Q4085699 / rank @@
+Normal rank
@@ Property / cites work @@
+The semantics and proof theory of linear logic
@@ Property / cites work: The semantics and proof theory of linear logic / rank @@
+Normal rank
@@ Property / cites work @@
+Equivalence of consequence operations
@@ Property / cites work: Equivalence of consequence operations / rank @@
+Normal rank
@@ Property / cites work @@
+Q4011710
@@ Property / cites work: Q4011710 / rank @@
+Normal rank
@@ Property / cites work @@
+Algebraizable logics
@@ Property / cites work: Algebraizable logics / rank @@
+Normal rank
@@ Property / cites work @@
+Q4029628
@@ Property / cites work: Q4029628 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4249027
@@ Property / cites work: Q4249027 / rank @@
+Normal rank
@@ Property / cites work @@
+Fragments of R-mingle
@@ Property / cites work: Fragments of R-mingle / rank @@
+Normal rank
@@ Property / cites work @@
+ASSERTIONALLY EQUIVALENT QUASIVARIETIES
@@ Property / cites work: ASSERTIONALLY EQUIVALENT QUASIVARIETIES / rank @@
+Normal rank
@@ Property / cites work @@
+The finite model property for BCI and related systems
+Normal rank
@@ Property / cites work @@
+Q5825229
@@ Property / cites work: Q5825229 / 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 @@
+Local deductions theorems
@@ Property / cites work: Local deductions theorems / rank @@
+Normal rank
@@ Property / cites work @@
+Protoalgebraic logics
@@ Property / cites work: Protoalgebraic logics / rank @@
+Normal rank
@@ Property / cites work @@
+A deduction theorem schema for deductive systems of propositional logics
+Normal rank
@@ Property / cites work @@
+The parameterized local deduction theorem for quasivarieties of algebras and its application
+Normal rank
@@ Property / cites work @@
+Deduction theorems within RM and its extensions
@@ Property / cites work: Deduction theorems within RM and its extensions / 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 @@
+Note on algebraic models for relevance logic
@@ Property / cites work: Note on algebraic models for relevance logic / rank @@
+Normal rank
@@ Property / cites work @@
+Uniform congruence schemes
@@ Property / cites work: Uniform congruence schemes / rank @@
+Normal rank
@@ Property / cites work @@
+Algebraization, parametrized local deduction theorem and interpolation for substructural logics over FL
+Normal rank
@@ Property / cites work @@
+Linear logic
@@ Property / cites work: Linear logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q3875978
@@ Property / cites work: Q3875978 / rank @@
+Normal rank
@@ Property / cites work @@
+Equivalential and algebraizable logics
@@ Property / cites work: Equivalential and algebraizable logics / rank @@
+Normal rank
@@ Property / cites work @@
+Characterizing equivalential and algebraizable logics by the Leibniz operator
+Normal rank
@@ Property / cites work @@
+Conserving involution in residuated structures
@@ Property / cites work: Conserving involution in residuated structures / rank @@
+Normal rank
@@ Property / cites work @@
+FREGEAN VARIETIES
@@ Property / cites work: FREGEAN VARIETIES / rank @@
+Normal rank
@@ Property / cites work @@
+Definability of principal congruences in equivalential algebras
+Normal rank
@@ Property / cites work @@
+Q3329466
@@ Property / cites work: Q3329466 / rank @@
+Normal rank
@@ Property / cites work @@
+Varieties with equationally definable principal congruences
+Normal rank
@@ Property / cites work @@
+A completeness theorem in modal logic
@@ Property / cites work: A completeness theorem in modal logic / rank @@
+Normal rank
@@ Property / cites work @@
+The finite model property for various fragments of linear logic
+Normal rank
@@ Property / cites work @@
+Q3268305
@@ Property / cites work: Q3268305 / rank @@
+Normal rank
@@ Property / cites work @@
+Conservative extension in relevant implication
@@ Property / cites work: Conservative extension in relevant implication / rank @@
+Normal rank
@@ Property / cites work @@
+On conserving positive logics
@@ Property / cites work: On conserving positive logics / rank @@
+Normal rank
@@ Property / cites work @@
+Q4077983
@@ Property / cites work: Q4077983 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4428879
@@ Property / cites work: Q4428879 / rank @@
+Normal rank
@@ Property / cites work @@
+Structural Completeness in Substructural Logics
@@ Property / cites work: Structural Completeness in Substructural Logics / rank @@
+Normal rank
@@ Property / cites work @@
+Finite basis theorem for filter-distributive protoalgebraic deductive systems and strict universal Horn classes
+Normal rank
@@ Property / cites work @@
+Q2752408
@@ Property / cites work: Q2752408 / rank @@
+Normal rank
@@ Property / cites work @@
+A structurally complete fragment of relevant logic
+Normal rank
@@ Property / cites work @@
+Q4495851
@@ Property / cites work: Q4495851 / rank @@
+Normal rank
@@ Property / cites work @@
+The finite model property for knotted extensions of propositional linear logic
+Normal rank
@@ Property / cites work @@
+Rule separation and embedding theorems for logics without weakening
+Normal rank
@@ Property / cites work @@
+Q4359071
@@ Property / cites work: Q4359071 / rank @@
+Normal rank
@@ Property / cites work @@
+Matrix approach in methodology of sentential calculi
+Normal rank