Combining Classical and Intuitionistic Implications
From MaRDI portal
Publication:3525005
DOI10.1007/978-3-540-74621-8_8zbMath1148.03309OpenAlexW1520315862MaRDI QIDQ3525005
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
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