Propositional Mixed Logic: Its Syntax and Semantics

Simple item page
dc.creatorNour, Karim
dc.creatorNour, Abir
dc.date2009-05-04
dc.date.accessioned2026-07-07T13:11:26Z
dc.date.available2026-07-07T13:11:26Z
dc.descriptionIn 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.
dc.identifierhttps://arxiv.org/abs/0905.0369
dc.identifierhttp://arxiv.org/abs/0905.0369
dc.identifierJournal of Applied Non-Classical Logics 13 (2003) 377-390
dc.identifier.urihttp://salesiana.dossiersoluciones.com/handle/123456789/229283
dc.subjectLogic
dc.titlePropositional Mixed Logic: Its Syntax and Semantics
dc.typetext

Files

Collections

arXiv