Bochvar three-valued logic

E1090159 UNEXPLORED

Bochvar three-valued logic is a paraconsistent logical system that introduces a third truth value to handle semantic paradoxes and meaningless statements by preventing them from yielding classical logical consequences.

Try in SPARQL Jump to: Surface forms Referenced by

All labels observed (1)

Label	Occurrences
Bochvar three-valued logic canonical	1

Referenced by (1)

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

Kleene strong three-valued logic → relatedLogic → Bochvar three-valued logic ⓘ