Another combination of classical and intuitionistic conditionals

DOI10.4204/EPTCS.358.13MaRDI QIDQ6659907FDOQ6659907

Authors: Satoru Niki, Hitoshi Omori 

Publication date: 9 January 2025

Mathematics Subject Classification ID

General logic (03Bxx)

Cites Work

• Title not available (Why is that?)
• Constructivism in mathematics. An introduction. Volume I
• The connectives
• Proofs and computations
• Interval semantics for tense logic: Some remarks
• Title not available (Why is that?)
• On some intuitionistic modal logics
• Subintuitionistic logics
• A note on Humberstone's constant Ω
• From fibring to cryptofibring. A solution to the collapsing problem
• Hypersequent calculi for intuitionistic logic with classical atoms
• Title not available (Why is that?)
• A paraconsistent extension of Sylvan’s logic
• Title not available (Why is that?)
• Title not available (Why is that?)
• Extensions of intuitionistic logic without the deduction theorem: some simple examples
• Title not available (Why is that?)
• Combining Classical and Intuitionistic Implications
• A modal logic amalgam of classical and intuitionistic propositional logic
• Title not available (Why is that?)
• Title not available (Why is that?)
• Empirical Negation, Co-Negation and the Contraposition Rule II: Proof-Theoretical Investigations
• Empirical Negation, Co-negation and Contraposition Rule I: Semantical Investigations
• An ecumenical notion of entailment

Cited In (2)

• A proof-theoretic analysis of the meaning of a formula in a combination of intuitionistic and classical propositional logic
• Combining intuitionistic and classical propositional logic: Gentzenization and Craig interpolation

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)