Multiple Conclusion Rules in Logics with the Disjunction Property
From MaRDI portal
Publication:5283419
DOI10.1007/978-3-319-27683-0_6zbMath1476.03035arXiv1509.00642OpenAlexW2963207728MaRDI QIDQ5283419
Publication date: 21 July 2017
Published in: Logical Foundations of Computer Science (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1509.00642
Related Items (1)
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unification and admissible rules for paraconsistent minimal Johanssons' logic J and positive intuitionistic logic \(\mathbf{IPC}^+\)
- On unification and admissible rules in Gabbay-de Jongh logics
- Intermediate logics and Visser's rules
- A note on admissible rules and the disjunction property in intermediate logics
- A criterion for admissibility of rules in the modal system S4 and intuitionistic logic
- The disjunction property of intermediate propositional logics
- Admissibility of logical inference rules
- Varieties of monadic Heyting algebras. I
- Admissibility via natural dualities
- Decidable modal logic with undecidable admissibility problem
- On not strengthening intuitionistic logic
- On the rules of intermediate logics
- On the admissible rules of intuitionistic propositional logic
- Construction of an Explicit Basis for Rules Admissible in Modal System S4
- Concerning formulas of the types A→B ν C,A →(Ex)B(x) in intuitionistic formal systems
- A Note on Extensions: Admissible Rules via Semantics
- Independent Bases of Admissible Rules
- Canonical rules
- One hundred and two problems in mathematical logic
- Unification and Passive Inference Rules for Modal Logics
- Logic KM: A Biography
- Admissible Rules of Modal Logics
- On axiomatizability within a system
This page was built for publication: Multiple Conclusion Rules in Logics with the Disjunction Property
