Logical connectives for intuitionistic propositional logic
From MaRDI portal
Publication:5619813
DOI10.2307/2271511zbMath0216.28801MaRDI 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
03B20: Subsystems of classical logic (including intuitionistic logic)
Related Items
Prawitz, Proofs, and Meaning, Proof-theoretic functional completeness for the hybrid logics of everywhere and elsewhere, Logical connectives for constructive modal logic, Intuitionistic logical connectives on linear structures, Semantic characterization of intuitionistic logical connectives, On some new intuitionistic propositional connectives. I, Functional completeness for subsystems of intuitionistic propositional logic, Basic Constructive Connectives, Determinism and Matrix-Based Semantics, On Definability of Connectives and Modal Logics over FDE