Another combination of classical and intuitionistic conditionals
From MaRDI portal
(Redirected from Another combination of classical and intuitionistic conditionals)
Cites work
- A modal logic amalgam of classical and intuitionistic propositional logic
- A note on Humberstone's constant Ω
- A paraconsistent extension of Sylvan’s logic
- Actuality in intuitionistic logic
- An ecumenical notion of entailment
- Combining Classical and Intuitionistic Implications
- Constructivism in mathematics. An introduction. Volume I
- Empirical negation, co-negation and contraposition rule. I: Semantical investigations
- Empirical Negation, Co-Negation and the Contraposition Rule II: Proof-Theoretical Investigations
- Extensions of intuitionistic logic without the deduction theorem: some simple examples
- From fibring to cryptofibring. A solution to the collapsing problem
- scientific article; zbMATH DE number 7034416 (Why is no real title available?)
- scientific article; zbMATH DE number 1140670 (Why is no real title available?)
- scientific article; zbMATH DE number 1497485 (Why is no real title available?)
- scientific article; zbMATH DE number 1538011 (Why is no real title available?)
- scientific article; zbMATH DE number 6863646 (Why is no real title available?)
- scientific article; zbMATH DE number 3024119 (Why is no real title available?)
- Hypersequent calculi for intuitionistic logic with classical atoms
- Interval semantics for tense logic: Some remarks
- More on empirical negation
- On some intuitionistic modal logics
- Proofs and computations
- Subintuitionistic logics
- The connectives
Cited in
(3)
This page was built for publication: Another combination of classical and intuitionistic conditionals
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6659907)
