Intuitionistic implication without disjunction
From MaRDI portal
Publication:2893316
DOI10.1093/logcom/exq058zbMath1258.03014OpenAlexW2134877291MaRDI QIDQ2893316
Lex Hendriks, Gerard R. Renardel de Lavalette, Dick H. J. de Jongh
Publication date: 20 June 2012
Published in: Journal of Logic and Computation (Search for Journal in Brave)
Full work available at URL: https://pure.rug.nl/ws/files/2409375/2012JLogComputRenardeldeL.pdf
Related Items (8)
A generalization of inquisitive semantics ⋮ Duality and Universal Models for the Meet-Implication Fragment of IPC ⋮ Positive Formulas in Intuitionistic and Minimal Logic ⋮ Classifying material implications over minimal logic ⋮ Extendible formulas in two variables in intuitionistic logic ⋮ An \(\mathsf{AC}^{1}\)-complete model checking problem for intuitionistic logic ⋮ The admissible rules of \(\mathsf{BD}_2\) and \(\mathsf{GSc}\) ⋮ Algebraic semantics for the (↔, ¬¬)-fragment of IPC
This page was built for publication: Intuitionistic implication without disjunction
