Contextual deduction theorems
From MaRDI portal
Publication:647412
DOI10.1007/s11225-011-9353-zzbMath1243.03014MaRDI QIDQ647412
Publication date: 23 November 2011
Published in: Studia Logica (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s11225-011-9353-z
quasivariety; algebraizable logics; substructural logics; deductive system; deduction-detachment theorem; equational definability of principal congruences; protoalgebraic
08C15: Quasivarieties
03B47: Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics)
03B22: Abstract deductive systems
03G27: Abstract algebraic logic
Related Items
The simplest protoalgebraic logic, The algebraic significance of weak excluded middle laws, Almost structural completeness; an algebraic approach, Varieties of De Morgan monoids: minimality and irreducible algebras
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Linear logic
- A structurally complete fragment of relevant logic
- Algebraic aspects of deduction theorems
- Local deductions theorems
- The semantics and proof theory of linear logic
- Uniform congruence schemes
- Varieties with equationally definable principal congruences
- A deduction theorem schema for deductive systems of propositional logics
- Matrix approach in methodology of sentential calculi
- Characterizing equivalential and algebraizable logics by the Leibniz operator
- A survey of abstract algebraic logic
- Finite basis theorem for filter-distributive protoalgebraic deductive systems and strict universal Horn classes
- Fragments of R-mingle
- Rule separation and embedding theorems for logics without weakening
- The parameterized local deduction theorem for quasivarieties of algebras and its application
- Conservative extension in relevant implication
- Equivalence of consequence operations
- Algebraization, parametrized local deduction theorem and interpolation for substructural logics over FL
- On conserving positive logics
- The finite model property for BCI and related systems
- Equivalential and algebraizable logics
- Modalities in Ackermann's “rigorous implication”
- A completeness theorem in modal logic
- The finite model property for knotted extensions of propositional linear logic
- FREGEAN VARIETIES
- Note on algebraic models for relevance logic
- ASSERTIONALLY EQUIVALENT QUASIVARIETIES
- Structural Completeness in Substructural Logics
- Algebraizable logics
- Deduction theorems within RM and its extensions
- Definability of principal congruences in equivalential algebras
- The finite model property for various fragments of linear logic
- Conserving involution in residuated structures
- Protoalgebraic logics