–
Room P3.10, Mathematics Building
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.