An ‘i’ for an i, a Truth for a Truth†
From MaRDI portal
Publication:5149971
Recommendations
- A theory of formal truth arithmetically equivalent to ID1
- \(\in_I\): an intuitionistic logic without Fregean axiom and with predicates for truth and falsity
- The \(\mathbb{R}\)eal truth
- An axiomatic approach to self-referential truth
- A note on the logic of \textit{una tantum} truth
- Truth In V for ∃*∀∀-Sentences is Decidable
- Axiomatizability by \({\forall \exists!}\)-sentences
- Reflection algebras and conservation results for theories of iterated truth
- Truth definitions without exponentiation and the \(\Sigma _{1}\) collection scheme
- Truth via anaphorically unrestricted quantifiers
Cited in
(4)
This page was built for publication: An ‘i’ for an i, a Truth for a Truth†
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5149971)