Pages that link to "Item:Q3580669"
From MaRDI portal
The following pages link to AXIOMS FOR DETERMINATENESS AND TRUTH (Q3580669):
Displaying 10 items.
- One hundred years of semantic paradox (Q266649) (← links)
- Classes and truths in set theory (Q450946) (← links)
- Notes on the computational aspects of Kripke's theory of truth (Q526739) (← links)
- Truth and the philosophy of mathematics (Q2080591) (← links)
- Reference, paradoxes and truth (Q2268775) (← links)
- A feasible theory of truth over combinatory algebra (Q2637706) (← links)
- Notes on models of (partial) Kripke-Feferman truth (Q2699016) (← links)
- About Truth and Types (Q3305551) (← links)
- THE MODAL LOGICS OF KRIPKE–FEFERMAN TRUTH (Q5000260) (← links)
- CLASSICAL DETERMINATE TRUTH I (Q6203556) (← links)
