Propositional mixed logic: its syntax and semantics
Karim Nour, Abir Nour · Journal of Applied Non-Classical Logics · 2003
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.