Reflecting rules: a note on generalizing the deduction theorem

DOI10.1016/j.jal.2015.03.001zbMath1378.03019OpenAlexW1991850485MaRDI QIDQ898771

Gillman Payette

Publication date: 18 December 2015

Published in: Journal of Applied Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.jal.2015.03.001

zbMATH Keywords

modal logicdeduction theoremsubstructural logicadmissible rulesuniform substitutionuniversal logicabstract consequence relationsproof-theory

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Other nonclassical logic (03B60) Proof theory in general (including proof-theoretic semantics) (03F03)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Does the deduction theorem fail for modal logic?
• Decidability of an Xstit logic
• Proof theory for admissible rules
• Modal logics with the MacIntosh rule
• Substructural logics: a primer
• Untersuchungen über das logische Schliessen. I
• Best solving modal equations
• In memoriam: Clarence Irving Lewis (1883--1964)
• What is an inference rule?
• Rules and Derived Rules
• Reducing Modal Consequence Relations
• The deduction theorem in a functional calculus of first order based on strict implication

This page was built for publication: Reflecting rules: a note on generalizing the deduction theorem