Pages that link to "Item:Q1073007"

The following pages link to Notes on the mathematical aspects of Kripke's theory of truth (Q1073007):

Displaying 17 items.

• From closure games to strong Kleene truth (Q286693) (← links)
• Alternative ways for truth to behave when there's no vicious reference (Q484147) (← links)
• Programming in three-valued logic (Q753474) (← links)
• Protected completions of first-order general logic programs (Q911800) (← links)
• Bilattices and the theory of truth (Q1123891) (← links)
• A theory of truth that prefers falsehood (Q1366760) (← links)
• Revision without revision sequences: self-referential truth (Q2000672) (← links)
• Truth, dependence and supervaluation: living with the ghost (Q2377186) (← links)
• Revision without revision sequences: circular definitions (Q2420713) (← links)
• On the weak Kleene scheme in Kripke's theory of truth (Q3984417) (← links)
• Construction of Truth Predicates: Approximation Versus Revision (Q4254566) (← links)
• ABOUT SOME FIXED POINT AXIOMS AND RELATED PRINCIPLES IN KRIPKE–PLATEK ENVIRONMENTS (Q4579812) (← links)
• A Universal Approach to Self-Referential Paradoxes, Incompleteness and Fixed Points (Q4650304) (← links)
• The anatytic conception of truth and the foundations of arithmetic (Q4953208) (← links)
• Axiomatizing Kripke's theory of truth (Q5480633) (← links)
• Guest editors' introduction (Q5920212) (← links)
• On \(\mathcal{F} \)-systems: a graph-theoretic model for paradoxes involving a falsity predicate and its application to argumentation frameworks (Q6169322) (← links)