Name: Logical connectives for intuitionistic propositional logic
Creator: Dean P. McCullough
Keywords: 06 humanities and the arts, 0101 mathematics, 0603 philosophy, ethics and religion, Subsystems of classical logic (including intuitionistic logic), 01 natural sciences

descriptionPublicationkeyboard_double_arrow_right Article 01 Mar 1971 English Publisher:Cambridge University Press (CUP)Journal:Journal of Symbolic Logic, volume 36, pages 15-20 (issn: 0022-4812, eissn: 1943-5886,

Authors: Dean P. McCullough;

doi: 10.2307/2271511

Logical connectives for intuitionistic propositional logic

- Summary
- Subjects
- Metrics

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.

Related Organizations

University of Illinois at Urbana–Champaign
United States

Keywords

Subsystems of classical logic (including intuitionistic logic)

Impact byBIP!

	citations This is an alternative to the "Influence" indicator, which also reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically).	17
	popularity This indicator reflects the "current" impact/attention (the "hype") of an article in the research community at large, based on the underlying citation network.	Average
	influence This indicator reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically).	Top 10%
	impulse This indicator reflects the initial momentum of an article directly after its publication, based on the underlying citation network.	Average