A Note on Extensions: Admissible Rules via Semantics
From MaRDI portal
Publication:3455846
DOI10.1007/978-3-642-35722-0_15zbMath1437.03105OpenAlexW1820758386MaRDI QIDQ3455846
Publication date: 11 December 2015
Published in: Logical Foundations of Computer Science (Search for Journal in Brave)
Full work available at URL: https://dspace.library.uu.nl/handle/1874/255154
Related Items (2)
Multiple Conclusion Rules in Logics with the Disjunction Property ⋮ Admissibility and refutation: some characterisations of intermediate logics
Cites Work
- Unnamed Item
- Intermediate logics and Visser's rules
- Admissible rules in the implication-negation fragment of intuitionistic logic
- A note on admissible rules and the disjunction property in intermediate logics
- Proof theory for admissible rules
- A criterion for admissibility of rules in the modal system S4 and intuitionistic logic
- On maximal intermediate logics with the disjunction property
- The disjunction property of intermediate propositional logics
- Derivability of admissible rules
- Sequent-systems and groupoid models. II
- On the admissible rules of intuitionistic propositional logic
- Hypersequent Systems for the Admissible Rules of Modal and Intermediate Logics
- One hundred and two problems in mathematical logic
- Unification in intuitionistic logic
- Unification through projectivity
- A sequence of decidable finitely axiomatizable intermediate logics with the disjunction property
- Admissible Rules of Modal Logics
- A(nother) characterization of intuitionistic propositional logic
This page was built for publication: A Note on Extensions: Admissible Rules via Semantics