Intuitionistic implication without disjunction
From MaRDI portal
Recommendations
- Intuitionistic propositional logic with only equivalence has no interpolation
- Interpolation in fragments of intuitionistic propositional logic
- A Finite Hilbert‐Style Axiomatization of the Implication‐Less Fragment of the Intuitionistic Propositional Calculus
- Complexity of intuitionistic propositional logic and its fragments
- Computations in fragments of intuitionistic propositional logic
Cited in
(17)- The admissible rules of \(\mathsf{BD}_2\) and \(\mathsf{GSc}\)
- Classifying material implications over minimal logic
- On three implication-less fragments of t-norm based fuzzy logics
- Noninterference for Intuitionist Necessity
- Algebraic semantics for the (, )-fragment of IPC
- A generalization of inquisitive semantics
- Duality and universal models for the meet-implication fragment of IPC
- Positive formulas in intuitionistic and minimal logic
- Disjunction and existence under implication in elementary intuitionistic formalisms
- Intuitionistic propositional logic with only equivalence has no interpolation
- scientific article; zbMATH DE number 1045389 (Why is no real title available?)
- Extendible formulas in two variables in intuitionistic logic
- Monadic fragments of intuitionistic control logic
- The Expressive Force of Some Fragments of Intuitionistic Propositional Logic with Regard to Kripke Frames
- An \(\mathsf{AC}^{1}\)-complete model checking problem for intuitionistic logic
- The complexity of disjunction in intuitionistic logic
- Notes on my scientific life
This page was built for publication: Intuitionistic implication without disjunction
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2893316)
