Combining Classical and Intuitionistic Implications
From MaRDI portal
Publication:3525005
DOI10.1007/978-3-540-74621-8_8zbMATH Open1148.03309OpenAlexW1520315862MaRDI QIDQ3525005FDOQ3525005
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
Cited In (11)
- 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
- Title not available (Why is that?)
- A History of Until
- Deciding Theoremhood in Fibred Logics Without Shared Connectives
- Connectives and fuzziness for classical effects
- Combining intuitionistic and classical propositional logic: Gentzenization and Craig interpolation
- 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)
