Combining Classical and Intuitionistic Implications

DOI10.1007/978-3-540-74621-8_8zbMath1148.03309OpenAlexW1520315862MaRDI QIDQ3525005

Jaime Ramos, Carlos Caleiro

Publication date: 16 September 2008

Published in: Frontiers of Combining Systems (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-540-74621-8_8

Mathematics Subject Classification ID

Subsystems of classical logic (including intuitionistic logic) (03B20)

Related Items (4)

A History of Until ⋮ Deciding Theoremhood in Fibred Logics Without Shared Connectives ⋮ Cardinality reduction theorem for logics QHC and QH4 ⋮ Combining fragments of classical logic: when are interaction principles needed?

This page was built for publication: Combining Classical and Intuitionistic Implications