Logical connectives for intuitionistic propositional logic
- 12 March 1971
- journal article
- Published by Cambridge University Press (CUP) in The Journal of Symbolic Logic
- Vol. 36 (1) , 15-20
- https://doi.org/10.2307/2271511
Abstract
In classical propositional logic it is well known that {7, ⊃ } is a functionally complete set with respect to a two-valued truth function modeling. I.e. all definable logical connectives are definable from 7 and ⊃. Other modelings of classical type propositional logics may have different functionally complete sets; for example, multivalued truth function modelings. This paper examines the question of a functionally complete set of logical connectives for intuitionistic propositional logic with respect to S. Kripke's modeling for intuitionistic logic.Keywords
This publication has 1 reference indexed in Scilit:
- Semantical Analysis of Intuitionistic Logic IPublished by Elsevier ,1965