Propositional mixed logic: its syntax and semantics

DOI10.3166/JANCL.13.377-390MaRDI QIDQ3643261zbMATH OpenOpenAlexFDO

Authors

Publication date 11 November 2009

Published in Journal of Applied Non-Classical Logics (Search for Journal in Brave)

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

zbMATH Keywords

classical logiccompleteness theoremintuitionistic logicKripke semanticsminimal logicmixed logicpropositional logic

Mathematics Subject Classification ID

Classical propositional logic (03B05) Subsystems of classical logic (including intuitionistic logic) (03B20) Combined logics (03B62)

Abstract: In this paper, we present a propositional logic (called mixed logic) containing disjoint copies of minimal, intuitionistic and classical logics. We prove a completeness theorem for this logic with respect to a Kripke semantics. We establish some relations between mixed logic and minimal, intuitionistic and classical logics. We present at the end a sequent calculus version for this logic.

Recommendations

• Combining Classical and Intuitionistic Implications
• Disjoint logics
• scientific article; zbMATH DE number 3639591
• scientific article; zbMATH DE number 3880661
• Juxtaposition: a new way to combine logics

Cites work

• Mixed logic and storage operators
• On the unity of logic

Cited in

(10)

• A complete minimal logic of the propositional contents of thought
• scientific article; zbMATH DE number 3861127 (Why is no real title available?)
• scientific article; zbMATH DE number 4208061 (Why is no real title available?)
• scientific article; zbMATH DE number 2079267 (Why is no real title available?)
• Classical linear logics with mix separation principle
• Disjoint logics
• On mixing term logics
• Symbolic and Quantitative Approaches to Reasoning with Uncertainty
• Hypersequent calculi for intuitionistic logic with classical atoms
• Beyond mixed logics

This page was built for publication: Propositional mixed logic: its syntax and semantics

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