Contextual deduction theorems

DOI10.1007/S11225-011-9353-ZzbMATH Open1243.03014OpenAlexW2087256242MaRDI QIDQ647412FDOQ647412

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

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

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)

Cites Work

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

Cited In (12)

• Title not available (Why is that?)
• Deductive closure and epistemic context
• Varieties of De Morgan monoids: minimality and irreducible algebras
• Title not available (Why is that?)
• Almost structural completeness; an algebraic approach
• 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)