Reflecting rules: a note on generalizing the deduction theorem

DOI10.1016/J.JAL.2015.03.001MaRDI QIDQ898771zbMATH OpenOpenAlexFDO

Authors 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

substructural logicadmissible rulesmodal logicdeduction theoremuniform substitutionuniversal logicabstract consequence relationsproof-theory

Mathematics Subject Classification ID

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

Recommendations

• On reasoning expressions and the nature of deduction rules
• scientific article; zbMATH DE number 1231672
• scientific article; zbMATH DE number 1354101
• The principle of reflection via nested sequents
• Logics with definitional reflection rules
• scientific article; zbMATH DE number 3837987
• scientific article; zbMATH DE number 804146
• Deduction theorems within RM and its extensions
• scientific article; zbMATH DE number 2090314
• Reflection principles in computational logic

Cites work

• scientific article; zbMATH DE number 3112788 (Why is no real title available?)
• scientific article; zbMATH DE number 3497860 (Why is no real title available?)
• scientific article; zbMATH DE number 1215477 (Why is no real title available?)
• scientific article; zbMATH DE number 3333259 (Why is no real title available?)
• Best solving modal equations
• Decidability of an Xstit logic
• Does the deduction theorem fail for modal logic?
• In memoriam: Clarence Irving Lewis (1883--1964)
• Modal logics with the MacIntosh rule
• Proof theory for admissible rules
• Reducing Modal Consequence Relations
• Rules and Derived Rules
• Substructural logics: a primer
• The deduction theorem in a functional calculus of first order based on strict implication
• Untersuchungen über das logische Schliessen. I
• What is an inference rule?

Cited in

(2)

• A general treatment for the deduction theorem in open calculi
• On reasoning expressions and the nature of deduction rules

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

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