The following pages link to Four valued semantics and the Liar (Q798313):
Displaying 23 items.
- Contextual-hierarchical reconstructions of the strengthened liar problem (Q253127) (← links)
- One hundred years of semantic paradox (Q266649) (← links)
- From closure games to strong Kleene truth (Q286693) (← links)
- 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)
- Four-valued paradefinite logics (Q1685565) (← links)
- Arithmetical completeness theorem for modal logic \(\mathsf{K}\) (Q1743993) (← links)
- Arithmetical soundness and completeness for \(\Sigma_{2}\) numerations (Q1756596) (← links)
- An approach to uncertainty via sets of truth values (Q1903588) (← links)
- On inclusions between quantified provability logics (Q2115286) (← links)
- Mathematical perspectives on liar paradoxes (Q2239380) (← links)
- Conditionals in theories of truth (Q2410892) (← links)
- HYPE: a system of hyperintensional logic (with an application to semantic paradoxes) (Q2421517) (← links)
- One step is enough (Q2679573) (← links)
- A theory of formal truth arithmetically equivalent to ID<sub>1</sub> (Q3197819) (← links)
- PROVABILITY LOGICS RELATIVE TO A FIXED EXTENSION OF PEANO ARITHMETIC (Q4692089) (← links)
- NONCLASSICAL TRUTH WITH CLASSICAL STRENGTH. A PROOF-THEORETIC ANALYSIS OF COMPOSITIONAL TRUTH OVER HYPE (Q6041345) (← links)
