Propositional Mixed Logic: Its Syntax and Semantics

Karim Nour, Abir Nour

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…