A Note on Extensions: Admissible Rules via Semantics

DOI10.1007/978-3-642-35722-0_15zbMath1437.03105OpenAlexW1820758386MaRDI QIDQ3455846

Jeroen P. Goudsmit

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

zbMATH Keywords

admissible rulesdisjunction propertyminimal logicextensions of Kripke models

Mathematics Subject Classification ID

Intermediate logics (03B55)

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