Fischer, Martin; Nicolai, Carlo; Dopico, Pablo Nonclassical truth with classical strength. A proof-theoretic analysis of compositional truth over hype. (English) Zbl 07689495 Rev. Symb. Log. 16, No. 2, 425-448 (2023). MSC: 03F03 03B60 03F25 03B50 PDFBibTeX XMLCite \textit{M. Fischer} et al., Rev. Symb. Log. 16, No. 2, 425--448 (2023; Zbl 07689495) Full Text: DOI arXiv
Nicolai, Carlo Equivalences for truth predicates. (English) Zbl 1417.03293 Rev. Symb. Log. 10, No. 2, 322-356 (2017). MSC: 03F25 03F30 03F35 03A05 PDFBibTeX XMLCite \textit{C. Nicolai}, Rev. Symb. Log. 10, No. 2, 322--356 (2017; Zbl 1417.03293) Full Text: DOI
Leigh, Graham E.; Nicolai, Carlo Axiomatic truth, syntax and metatheoretic reasoning. (English) Zbl 1350.03010 Rev. Symb. Log. 6, No. 4, 613-636 (2013). MSC: 03A05 PDFBibTeX XMLCite \textit{G. E. Leigh} and \textit{C. Nicolai}, Rev. Symb. Log. 6, No. 4, 613--636 (2013; Zbl 1350.03010) Full Text: DOI