Combining Classical and Intuitionistic Implications

DOI10.1007/978-3-540-74621-8_8zbMATH Open1148.03309OpenAlexW1520315862MaRDI QIDQ3525005FDOQ3525005

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

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

Mathematics Subject Classification ID

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

Cited In (14)

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

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)