Pages that link to "Item:Q1893134"
From MaRDI portal
The following pages link to A system of complete and consistent truth (Q1893134):
Displayed 16 items.
- A proof-theoretic account of classical principles of truth (Q385807) (← links)
- Classes and truths in set theory (Q450946) (← links)
- A note on the fixed point for the polynomials of a Boolean algebra with an operator of endomorphism (Q1296423) (← links)
- Possible-worlds semantics for modal notions conceived as predicates (Q1810820) (← links)
- An ordinal analysis for theories of self-referential truth (Q2267754) (← links)
- The Friedman-Sheard programme in intuitionistic logic (Q2915893) (← links)
- MODALITY AND AXIOMATIC THEORIES OF TRUTH I: FRIEDMAN-SHEARD (Q2940875) (← links)
- Relative Truth Definability of Axiomatic Truth Theories (Q3163660) (← links)
- ON THE PROBABILISTIC CONVENTION T (Q3580670) (← links)
- 2008 European Summer Meeting of the Association for Symbolic Logic. Logic Colloquium '08 (Q3616431) (← links)
- Disquotational truth and analyticity (Q4328846) (← links)
- REVISION REVISITED (Q4899963) (← links)
- SELF-REFERENCE IN ARITHMETIC II (Q5176166) (← links)
- NOTES ON<i>ω</i>-INCONSISTENT THEORIES OF TRUTH IN SECOND-ORDER LANGUAGES (Q5414139) (← links)
- Axiomatizing Kripke's theory of truth (Q5480633) (← links)
- Truth as translation. Part B (Q5947378) (← links)