Kleene strong three-valued logic

E353399

logical system many-valued logic non-classical logic paracomplete logic paraconsistent logic three-valued logic

Kleene strong three-valued logic is a non-classical logical system that extends classical logic with a third truth value to rigorously handle indeterminate or partially defined statements.

Try in SPARQL Jump to: Surface forms Statements Referenced by

All labels observed (3)

Label	Occurrences
Kleene strong three-valued logic canonical	1
Kleene’s strong logic of indeterminacy	1
Three-Valued Logic	1

Statements (48)

Predicate	Object
instanceOf	logical system ⓘ many-valued logic ⓘ non-classical logic ⓘ paracomplete logic ⓘ paraconsistent logic ⓘ three-valued logic ⓘ
allowsTruthValue	both operands undefined in conjunction yield undefined ⓘ both operands undefined in disjunction yield undefined ⓘ
alsoKnownAs	K3 ⓘ Kleene strong three-valued logic ⓘ surface form: Kleene’s strong logic of indeterminacy
coincidesWithClassicalLogicOn	formulas without undefined values ⓘ
contradictionsAreExplosive	no ⓘ
designatedValuesInclude	true ⓘ
designatedValuesMayExclude	undefined ⓘ
extends	classical propositional logic ⓘ
hasApplicationDomain	computer science ⓘ mathematical logic ⓘ philosophical logic ⓘ
hasDesignGoal	to handle indeterminate statements ⓘ to model partial functions ⓘ to model partially defined predicates ⓘ
hasProperty	fails law of excluded middle in general ⓘ fails law of non-contradiction in general ⓘ non-bivalent semantics ⓘ truth-functional connectives ⓘ
hasSemanticFramework	three-valued matrices ⓘ
hasTruthValue	false ⓘ indeterminate ⓘ true ⓘ undefined ⓘ
introducedBy	Stephen Kleene ⓘ surface form: Stephen Cole Kleene
introducedFor	formalizing reasoning with partial functions ⓘ
namedAfter	Stephen Kleene ⓘ surface form: Stephen Cole Kleene
preservesClassicalValues	yes ⓘ
relatedLogic	Bochvar three-valued logic ⓘ An Introduction to Non-Classical Logic ⓘ surface form: Priest’s Logic of Paradox
supportsPartialValuations	yes ⓘ
treatmentOfTautologies	classical tautologies may fail to be designated ⓘ
truthFunctionOfConjunction	is truth-functional and three-valued ⓘ
truthFunctionOfDisjunction	is truth-functional and three-valued ⓘ
truthFunctionOfImplication	is truth-functional and three-valued ⓘ
truthFunctionOfNegation	maps false to true ⓘ maps true to false ⓘ maps undefined to undefined ⓘ
usedIn	formal semantics of programming languages ⓘ reasoning about partiality ⓘ reasoning about undefined terms ⓘ theory of partial recursive functions ⓘ

Referenced by (3)

Full triples — surface form annotated when it differs from this entity's canonical label.

Kripke fixed-point theory of truth → oftenFormalizedWith → Kleene strong three-valued logic ⓘ

Mind, Language and Reality → hasPart → Kleene strong three-valued logic ⓘ

this entity surface form: Three-Valued Logic

Kleene strong three-valued logic → alsoKnownAs → Kleene strong three-valued logic ⓘ

this entity surface form: Kleene’s strong logic of indeterminacy