The following pages link to Four valued semantics and the Liar (Q798313):
Displayed 14 items.
- On partial and paraconsistent logics (Q701297) (← links)
- Comparing fixed-point and revision theories of truth (Q839652) (← links)
- Generalizations of Tarski's fixed point theorem for order varieties of complete meet semilattices (Q1121297) (← links)
- Bilattices and the theory of truth (Q1123891) (← links)
- Paraconsistent logic programming (Q1262746) (← links)
- Inconsistency without contradiction (Q1276426) (← links)
- Truth and the liar in De Morgan-valued models (Q1347605) (← links)
- A theory of truth that prefers falsehood (Q1366760) (← links)
- An approach to uncertainty via sets of truth values (Q1903588) (← links)
- A theory of formal truth arithmetically equivalent to ID<sub>1</sub> (Q3197819) (← links)
- Construction of Truth Predicates: Approximation Versus Revision (Q4254566) (← links)
- Disquotational truth and analyticity (Q4328846) (← links)
- An abstract algebraic logic approach to tetravalent modal logics (Q4508244) (← links)
- Knowledge, Uncertainty and Ignorance in Logic: Bilattices and beyond (Q4531578) (← links)