Multiple conclusion rules in logics with the disjunction property

DOI10.1007/978-3-319-27683-0_6zbMATH Open1476.03035arXiv1509.00642OpenAlexW2963207728MaRDI QIDQ5283419FDOQ5283419

Alex Citkin

Publication date: 21 July 2017

Published in: Logical Foundations of Computer Science (Search for Journal in Brave)

Abstract: We prove that for the intermediate logics with the disjunction property any basis of admissible rules can be reduced to a basis of admissible m-rules (multiple-conclusion rules), and every basis of admissible m-rules can be reduced to a basis of admissible rules. These results can be generalized to a broad class of logics including positive logic and its extensions, Johansson logic, normal extensions of S4, n-transitive logics and intuitionistic modal logics.

Full work available at URL: https://arxiv.org/abs/1509.00642

Recommendations

• On unification and admissible rules in Gabbay-de Jongh logics
• Admissibility in positive logics
• Deductive systems with multiple-conclusion rules and the disjunction property
• A note on admissible rules and the disjunction property in intermediate logics
• Admissible Rules of Modal Logics

zbMATH Keywords

intermediate logicadmissible rulebasis of admissible rulesmultiple conclusion rule

Mathematics Subject Classification ID

Intermediate logics (03B55)

Cites Work

• Title not available (Why is that?)
• Admissibility of logical inference rules
• Decidable modal logic with undecidable admissibility problem
• On the admissible rules of intuitionistic propositional logic
• Independent Bases of Admissible Rules
• Canonical rules
• 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
• Title not available (Why is that?)
• Intermediate logics and Visser's rules
• Title not available (Why is that?)
• Admissible Rules of Modal Logics
• The disjunction property of intermediate propositional logics
• Admissibility via natural dualities
• Construction of an explicit basis for rules admissible in modal system S4
• Title not available (Why is that?)
• One hundred and two problems in mathematical logic
• Concerning formulas of the types A→B ν C,A →(Ex)B(x) in intuitionistic formal systems
• Unification and Passive Inference Rules for Modal Logics
• A criterion for admissibility of rules in the modal system S4 and intuitionistic logic
• On the rules of intermediate logics
• A note on admissible rules and the disjunction property in intermediate logics
• Varieties of monadic Heyting algebras. I
• On axiomatizability within a system
• A Note on Extensions: Admissible Rules via Semantics
• Logic KM: A Biography
• Title not available (Why is that?)
• On not strengthening intuitionistic logic

Cited In (6)

• Lorenzen and Constructive Mathematics
• The logic of multisets continued: The case of disjunction
• An alternative rule of disjunction in modal logic
• Disjunctive and conjunctive multiple-conclusion consequence relations
• Disjunctive Rule Lists
• Logics with disjunction and proof by cases

This page was built for publication: Multiple conclusion rules in logics with the disjunction property

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5283419)