Logical connectives for intuitionistic propositional logic
From MaRDI portal
Publication:5619813
DOI10.2307/2271511zbMath0216.28801OpenAlexW1986625420MaRDI QIDQ5619813
Publication date: 1971
Published in: Journal of Symbolic Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.2307/2271511
Related Items (10)
Logical connectives for constructive modal logic ⋮ Semantic characterization of intuitionistic logical connectives ⋮ Definability of Boolean functions in Kripke semantics ⋮ Basic Constructive Connectives, Determinism and Matrix-Based Semantics ⋮ On some new intuitionistic propositional connectives. I ⋮ Functional completeness for subsystems of intuitionistic propositional logic ⋮ Prawitz, Proofs, and Meaning ⋮ On Definability of Connectives and Modal Logics over FDE ⋮ Intuitionistic logical connectives on linear structures ⋮ Proof-theoretic functional completeness for the hybrid logics of everywhere and elsewhere
This page was built for publication: Logical connectives for intuitionistic propositional logic