The following pages link to Four valued semantics and the Liar (Q798313):
Displaying 30 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)
- 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)
- PROVABILITY LOGICS RELATIVE TO A FIXED EXTENSION OF PEANO ARITHMETIC (Q4692089) (← links)
- Feferman and the Truth (Q5214789) (← links)
- A UNIFIED THEORY OF TRUTH AND PARADOX (Q5381038) (← links)
- Guest editors' introduction (Q5920212) (← links)
- NONCLASSICAL TRUTH WITH CLASSICAL STRENGTH. A PROOF-THEORETIC ANALYSIS OF COMPOSITIONAL TRUTH OVER HYPE (Q6041345) (← links)
