Motivation and demotivation of a four-valued logic

DOI10.1305/ndjfl/1093635334zbMath0709.03001OpenAlexW2007707383MaRDI QIDQ920963

Elsie Sterbin Gottlieb

Publication date: 1990

Published in: Notre Dame Journal of Formal Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1305/ndjfl/1093635334

zbMATH Keywords

relevanceBelnap's interpretationdisjunctive syllogismfour-valued Smiley matrixfragment of the Ackermann-Anderson-Belnap logic of entailmentinformation statesstrict implicationsystem of tautological entailmentsystem of tautological implication

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) Many-valued logic (03B50) Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47)

Related Items (5)

Three-Valued Logics for Incomplete Information and Epistemic Logic ⋮ A modal theorem-preserving translation of a class of three-valued logics of incomplete information ⋮ Bipolarity in bilattice logics ⋮ A map of dependencies among three-valued logics ⋮ A non-inferentialist, anti-realistic conception of logical truth and falsity

This page was built for publication: Motivation and demotivation of a four-valued logic