Multiple conclusion rules in logics with the disjunction property

DOI10.1007/978-3-319-27683-0_6MaRDI QIDQ5283419zbMATH OpenOpenAlexFDO

Authors Alex Citkin

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

zbMATH Keywords

intermediate logicadmissible rulebasis of admissible rulesmultiple conclusion rule

Mathematics Subject Classification ID

Intermediate logics (03B55)

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.

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

Cites work

• scientific article; zbMATH DE number 1003731 (Why is no real title available?)
• scientific article; zbMATH DE number 5379366 (Why is no real title available?)
• scientific article; zbMATH DE number 3557746 (Why is no real title available?)
• scientific article; zbMATH DE number 3339356 (Why is no real title available?)
• scientific article; zbMATH DE number 3073037 (Why is no real title available?)
• A criterion for admissibility of rules in the modal system S4 and intuitionistic logic
• A note on admissible rules and the disjunction property in intermediate logics
• A note on extensions: admissible rules via semantics
• Admissibility of logical inference rules
• Admissibility via natural dualities
• Admissible Rules of Modal Logics
• Canonical rules
• Concerning formulas of the types A→B ν C,A →(Ex)B(x) in intuitionistic formal systems
• Construction of an explicit basis for rules admissible in modal system S4
• Decidable modal logic with undecidable admissibility problem
• Independent Bases of Admissible Rules
• Intermediate logics and Visser's rules
• Logic KM: A Biography
• On axiomatizability within a system
• On not strengthening intuitionistic logic
• On the admissible rules of intuitionistic propositional logic
• On the rules of intermediate logics
• On unification and admissible rules in Gabbay-de Jongh logics
• One hundred and two problems in mathematical logic
• The disjunction property of intermediate propositional logics
• Unification and Passive Inference Rules for Modal Logics
• Unification and admissible rules for paraconsistent minimal Johanssons' logic J and positive intuitionistic logic \(\mathbf{IPC}^+\)
• Varieties of monadic Heyting algebras. I

Cited in

(11)

• A note on admissible rules and the disjunction property in intermediate logics
• On unification and admissible rules in Gabbay-de Jongh logics
• Admissibility in positive logics
• The logic of multisets continued: The case of disjunction
• An alternative rule of disjunction in modal logic
• Deductive systems with multiple-conclusion rules and the disjunction property
• Disjunctive and conjunctive multiple-conclusion consequence relations
• Lorenzen and constructive mathematics
• Disjunctive Rule Lists
• Logics with disjunction and proof by cases
• A note on extensions: admissible rules via semantics

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)