Reflecting rules: a note on generalizing the deduction theorem
DOI10.1016/J.JAL.2015.03.001zbMATH Open1378.03019OpenAlexW1991850485MaRDI QIDQ898771FDOQ898771
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
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
substructural logicadmissible rulesmodal logicdeduction theoremuniform substitutionuniversal logicabstract consequence relationsproof-theory
Other nonclassical logic (03B60) Modal logic (including the logic of norms) (03B45) Proof theory in general (including proof-theoretic semantics) (03F03)
Cites Work
- Substructural logics: a primer
- Untersuchungen über das logische Schliessen. I
- Proof theory for admissible rules
- Best solving modal equations
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Does the deduction theorem fail for modal logic?
- What is an inference rule?
- The deduction theorem in a functional calculus of first order based on strict implication
- Decidability of an Xstit logic
- Rules and Derived Rules
- Modal logics with the MacIntosh rule
- In memoriam: Clarence Irving Lewis (1883--1964)
- Reducing Modal Consequence Relations
Cited In (2)
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)
