Propositional Mixed Logic: Its Syntax and Semantics
Logic
2009-05-05 v1
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.
Keywords
Cite
@article{arxiv.0905.0369,
title = {Propositional Mixed Logic: Its Syntax and Semantics},
author = {Karim Nour and Abir Nour},
journal= {arXiv preprint arXiv:0905.0369},
year = {2009}
}