Contextual deduction theorems

DOI10.1007/s11225-011-9353-zzbMath1243.03014MaRDI QIDQ647412

James G. Raftery

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

zbMATH Keywords

quasivariety; algebraizable logics; substructural logics; deductive system; deduction-detachment theorem; equational definability of principal congruences; protoalgebraic

Mathematics Subject Classification ID

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, Almost structural completeness; an algebraic approach

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