Pages that link to "Item:Q2893316"
From MaRDI portal
The following pages link to Intuitionistic implication without disjunction (Q2893316):
Displaying 14 items.
- A generalization of inquisitive semantics (Q312497) (← links)
- Extendible formulas in two variables in intuitionistic logic (Q454378) (← links)
- An \(\mathsf{AC}^{1}\)-complete model checking problem for intuitionistic logic (Q475340) (← links)
- The admissible rules of \(\mathsf{BD}_2\) and \(\mathsf{GSc}\) (Q1782237) (← links)
- Classifying material implications over minimal logic (Q2204373) (← links)
- On three implication-less fragments of t-norm based fuzzy logics (Q2457026) (← links)
- Noninterference for Intuitionist Necessity (Q2936242) (← links)
- Algebraic semantics for the (↔, ¬¬)-fragment of IPC (Q3117777) (← links)
- Duality and Universal Models for the Meet-Implication Fragment of IPC (Q3455183) (← links)
- Positive Formulas in Intuitionistic and Minimal Logic (Q3455187) (← links)
- Disjunction and existence under implication in elementary intuitionistic formalisms (Q3851084) (← links)
- Intuitionistic propositional logic with only equivalence has no interpolation (Q4209298) (← links)
- The Expressive Force of Some Fragments of Intuitionistic Propositional Logic with Regard to Kripke Frames (Q4711191) (← links)
- Notes on my scientific life (Q6612807) (← links)
