Contextual deduction theorems

DOI10.1007/s11225-011-9353-zzbMath1243.03014OpenAlexW2087256242MaRDI 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

quasivarietyalgebraizable logicssubstructural logicsdeductive systemdeduction-detachment theoremequational definability of principal congruencesprotoalgebraic

Mathematics Subject Classification ID

Quasivarieties (08C15) Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47) Abstract deductive systems (03B22) Abstract algebraic logic (03G27)

Related Items (5)

Almost structural completeness; an algebraic approach ⋮ The algebraic significance of weak excluded middle laws ⋮ Abstract algebraic logic. An introductory chapter ⋮ Varieties of De Morgan monoids: minimality and irreducible algebras ⋮ The simplest protoalgebraic logic

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

This page was built for publication: Contextual deduction theorems