Combining Classical and Intuitionistic Implications

DOI10.1007/978-3-540-74621-8_8MaRDI QIDQ3525005zbMATH OpenOpenAlexFDO

Authors 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)

Recommendations

• Integrating classical and intuitionistic type theory
• scientific article; zbMATH DE number 1140673
• On classical behavior of intuitionistic modalities
• Intuitionistic completeness and classical logic
• scientific article; zbMATH DE number 4121961
• A classical view of the intuitionistic continuum
• Correspondences between classical, intuitionistic and uniform provability
• A generalization of a conservativity theorem for classical versus intuitionistic arithmetic
• Classical consequences of continuous choice principles from intuitionistic analysis
• Classical and constructive hierarchies in extended intuitionistic analysis

Cited in

(14)

• Cardinality reduction theorem for logics QHC and QH4
• Combining classical logic, paraconsistency and relevance
• Combining fragments of classical logic: when are interaction principles needed?
• Connectives and fuzziness for classical effects
• A history of until
• Deciding theoremhood in fibered logics without shared connectives
• Combining intuitionistic and classical propositional logic: Gentzenization and Craig interpolation
• Another combination of classical and intuitionistic conditionals
• Combining first-order classical and intuitionistic logic
• Consistency, completeness, and classicality
• Propositional mixed logic: its syntax and semantics
• scientific article; zbMATH DE number 1538011 (Why is no real title available?)
• A proof-theoretic analysis of the meaning of a formula in a combination of intuitionistic and classical propositional logic
• Juxtaposition: a new way to combine logics

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3525005)