Pages that link to "Item:Q1893134"
From MaRDI portal
The following pages link to A system of complete and consistent truth (Q1893134):
Displaying 27 items.
- A note on typed truth and consistency assertions (Q263089) (← links)
- A proof-theoretic account of classical principles of truth (Q385807) (← links)
- Classes and truths in set theory (Q450946) (← links)
- Reference and truth (Q777946) (← links)
- A note on the fixed point for the polynomials of a Boolean algebra with an operator of endomorphism (Q1296423) (← links)
- Paradoxes of logical equivalence and identity (Q1708467) (← links)
- Possible-worlds semantics for modal notions conceived as predicates (Q1810820) (← links)
- \(\mathrm{IKT}^\omega\) and Łukasiewicz-models (Q1982009) (← links)
- On cut-elimination arguments for axiomatic theories of truth (Q2144190) (← links)
- Herzberger's limit rule with labelled sequent calculus (Q2193976) (← 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)
- THE MODAL LOGICS OF KRIPKE–FEFERMAN TRUTH (Q5000260) (← links)
- SELF-REFERENCE IN ARITHMETIC II (Q5176166) (← links)
- AXIOMATIZING SEMANTIC THEORIES OF TRUTH? (Q5259722) (← links)
- Truth without standard models: some conceptual problems reloaded (Q5375877) (← links)
- NOTES ON<i>ω</i>-INCONSISTENT THEORIES OF TRUTH IN SECOND-ORDER LANGUAGES (Q5414139) (← links)
- Axiomatizing Kripke's theory of truth (Q5480633) (← links)
- FINITIST AXIOMATIC TRUTH (Q5879176) (← links)
- Truth as translation. Part B (Q5947378) (← links)
- CLASSICAL DETERMINATE TRUTH I (Q6203556) (← links)