Consequence relations and admissible rules
From MaRDI portal
Publication:300835
DOI10.1007/s10992-015-9380-8zbMath1392.03021OpenAlexW1182848269WikidataQ59463456 ScholiaQ59463456MaRDI QIDQ300835
Publication date: 29 June 2016
Published in: Journal of Philosophical Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s10992-015-9380-8
Proof theory in general (including proof-theoretic semantics) (03F03) Abstract deductive systems (03B22) Subsystems of classical logic (including intuitionistic logic) (03B20)
Related Items (15)
Jankov Formulas and Axiomatization Techniques for Intermediate Logics ⋮ Admissible bases via stable canonical rules ⋮ Structural completeness in propositional logics of dependence ⋮ THE JACOBSON RADICAL OF A PROPOSITIONAL THEORY ⋮ The nature of entailment: an informational approach ⋮ The Deduction Theorem (Before and After Herbrand) ⋮ Structural completeness and superintuitionistic inquisitive logics ⋮ Admissible rules for six intuitionistic modal logics ⋮ Structural and universal completeness in algebra and logic ⋮ Complexity of the universal theory of residuated ordered groupoids ⋮ Cofinal stable logics ⋮ PRESERVATION OF ADMISSIBLE RULES WHEN COMBINING LOGICS ⋮ Computational complexity for bounded distributive lattices with negation ⋮ The Context of Inference ⋮ Complexity of the universal theory of modal algebras
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- On rules
- Intermediate logics and Visser's rules
- Simple consequence relations
- On two problems of Harvey Friedman
- Theory of logical calculi. Basic theory of consequence operations
- Admissibility of logical inference rules
- Admissibility via natural dualities
- On the admissible rules of intuitionistic propositional logic
- Admissible Rules: From Characterizations to Applications
- Admissible Rules of Modal Logics
This page was built for publication: Consequence relations and admissible rules
