Karim Nour Abir Nour Propositional mixed logic: its syntax and semantics. 377-390 2003 13 Journal of Applied Non-Classical Logics 3-4 db/journals/jancl/jancl13.html#NourN03 http://dx.doi.org/10.3166/jancl.13.377-390