Contextual deduction theorems

DOI10.1007/S11225-011-9353-ZMaRDI QIDQ647412zbMATH OpenOpenAlexFDO

Authors J. 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

substructural logicsdeductive systemquasivarietyalgebraizable logicsdeduction-detachment theoremequational definability of principal congruencesprotoalgebraic

Mathematics Subject Classification ID

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

Recommendations

• scientific article; zbMATH DE number 67022
• Note on deduction theorems in contraction-free logics
• Local deductions theorems
• Algebraic aspects of deduction theorems
• scientific article; zbMATH DE number 3882410

Cites work

• scientific article; zbMATH DE number 3150809 (Why is no real title available?)
• scientific article; zbMATH DE number 3861158 (Why is no real title available?)
• scientific article; zbMATH DE number 3679888 (Why is no real title available?)
• scientific article; zbMATH DE number 67022 (Why is no real title available?)
• scientific article; zbMATH DE number 139647 (Why is no real title available?)
• scientific article; zbMATH DE number 3496099 (Why is no real title available?)
• scientific article; zbMATH DE number 3504935 (Why is no real title available?)
• scientific article; zbMATH DE number 1302497 (Why is no real title available?)
• scientific article; zbMATH DE number 1071757 (Why is no real title available?)
• scientific article; zbMATH DE number 1984514 (Why is no real title available?)
• scientific article; zbMATH DE number 1489627 (Why is no real title available?)
• scientific article; zbMATH DE number 3086346 (Why is no real title available?)
• A completeness theorem in modal logic
• A deduction theorem schema for deductive systems of propositional logics
• A structurally complete fragment of relevant logic
• A survey of abstract algebraic logic
• ASSERTIONALLY EQUIVALENT QUASIVARIETIES
• Algebraic aspects of deduction theorems
• Algebraizable logics
• Algebraization, parametrized local deduction theorem and interpolation for substructural logics over FL
• Characterizing equivalential and algebraizable logics by the Leibniz operator
• Conservative extension in relevant implication
• Conserving involution in residuated structures
• Deduction theorems within RM and its extensions
• Definability of principal congruences in equivalential algebras
• Equivalence of consequence operations
• Equivalential and algebraizable logics
• FREGEAN VARIETIES
• Finite basis theorem for filter-distributive protoalgebraic deductive systems and strict universal Horn classes
• Fragments of R-mingle
• Linear logic
• Local deductions theorems
• Matrix approach in methodology of sentential calculi
• Modalities in Ackermann's “rigorous implication”
• Note on algebraic models for relevance logic
• On conserving positive logics
• Protoalgebraic logics
• Residuation in commutative ordered monoids with minimal zero
• Rule separation and embedding theorems for logics without weakening
• Structural Completeness in Substructural Logics
• The finite model property for BCI and related systems
• The finite model property for knotted extensions of propositional linear logic
• The finite model property for various fragments of linear logic
• The parameterized local deduction theorem for quasivarieties of algebras and its application
• The semantics and proof theory of linear logic
• Uniform congruence schemes
• Varieties with equationally definable principal congruences

Cited in

(12)

• scientific article; zbMATH DE number 5872217 (Why is no real title available?)
• Varieties of De Morgan monoids: minimality and irreducible algebras
• Deductive closure and epistemic context
• Almost structural completeness; an algebraic approach
• scientific article; zbMATH DE number 67022 (Why is no real title available?)
• Contextual Natural Deduction
• Deduction theorem in congruential modal logics
• The simplest protoalgebraic logic
• The algebraic significance of weak excluded middle laws
• Deduction-detachment theorem and Gentzen-style deductive systems
• Abstract algebraic logic. An introductory chapter
• Local deductions theorems

This page was built for publication: Contextual deduction theorems

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q647412)