Room P3.10, Mathematics Building

Carlos Caleiro
Carlos Caleiro, Instituto Superior Técnico

Combining classical and intuitionistic logics

Following the approach of cryptofibring to combining semantic presentations of logical systems, we propose herein a new logic that features both classical and intuitionistic implications. We explore some of the properties of this logic and prove its completeness with respect to a Kripke-style semantics, where classical implication has a curious interpretation. Joint work with J. Ramos.