Skip to main content Accessibility help
×
Home

Logical connectives for intuitionistic propositional logic

  • Dean P. McCullough (a1)

Extract

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.

Copyright

References

Hide All
[1]Fitting, Melvin, Intuitionistic model theory and the Cohen independence proofs, Proceedings of the Conference on Proof Theory and Intuitionism, Buffalo, 1968 (Mimeographed).
[2]Kripke, Saul A., Semantical analysis of intuitionistic logic. I, Formal systems and recursive functions, Crossley, J. N. and Dummett, M. A. E., editors, North-Holland, Amsterdam, 1965, pp. 92130.

Logical connectives for intuitionistic propositional logic

  • Dean P. McCullough (a1)

Metrics

Full text views

Total number of HTML views: 0
Total number of PDF views: 0 *
Loading metrics...

Abstract views

Total abstract views: 0 *
Loading metrics...

* Views captured on Cambridge Core between <date>. This data will be updated every 24 hours.

Usage data cannot currently be displayed