Fujimoto, Kentaro Truths, inductive definitions, and Kripke-Platek systems over set theory. (English) Zbl 06966179 J. Symb. Log. 83, No. 3, 868-898 (2018). MSC: 03B30 03D70 03E65 03E70 03F35 03F99 PDF BibTeX XML Cite \textit{K. Fujimoto}, J. Symb. Log. 83, No. 3, 868--898 (2018; Zbl 06966179) Full Text: DOI
Gupta, Anil; Standefer, Shawn Conditionals in theories of truth. (English) Zbl 1417.03067 J. Philos. Log. 46, No. 1, 27-63 (2017). MSC: 03A05 PDF BibTeX XML Cite \textit{A. Gupta} and \textit{S. Standefer}, J. Philos. Log. 46, No. 1, 27--63 (2017; Zbl 1417.03067) Full Text: DOI
Speranski, Stanislav O. Notes on the computational aspects of Kripke’s theory of truth. (English) Zbl 1417.03244 Stud. Log. 105, No. 2, 407-429 (2017). MSC: 03D65 03D70 03F35 03F40 PDF BibTeX XML Cite \textit{S. O. Speranski}, Stud. Log. 105, No. 2, 407--429 (2017; Zbl 1417.03244) Full Text: DOI
Adamowicz, Zofia; Kołodziejczyk, Leszek Aleksander; Paris, Jeff Truth definitions without exponentiation and the \(\Sigma _{1}\) collection scheme. (English) Zbl 1245.03058 J. Symb. Log. 77, No. 2, 649-655 (2012). Reviewer: Roman Kossak (New York) MSC: 03C62 03F30 PDF BibTeX XML Cite \textit{Z. Adamowicz} et al., J. Symb. Log. 77, No. 2, 649--655 (2012; Zbl 1245.03058) Full Text: DOI Euclid
Krynicki, Michał; Mostowski, Marcin; Zdanowski, Konrad Finite arithmetics. (English) Zbl 1141.03013 Fundam. Inform. 81, No. 1-3, 183-202 (2007). Reviewer: Roman Kossak (New York) MSC: 03C62 03C13 PDF BibTeX XML Cite \textit{M. Krynicki} et al., Fundam. Inform. 81, No. 1--3, 183--202 (2007; Zbl 1141.03013)
Kühnberger, Kai-Uwe; Löwe, Benedikt; Möllerfeld, Michael; Welch, Philip Comparing inductive and circular definitions: Parameters, complexity and games. (English) Zbl 1098.03041 Stud. Log. 81, No. 1, 79-98 (2005). Reviewer: Albert A. Mullin (Madison) MSC: 03B99 03D70 91A80 03A05 03C13 03E60 PDF BibTeX XML Cite \textit{K.-U. Kühnberger} et al., Stud. Log. 81, No. 1, 79--98 (2005; Zbl 1098.03041) Full Text: DOI
Kołodziejczyk, Leszek Aleksander A finite model-theoretical proof of a property of bounded query classes within PH. (English) Zbl 1081.03027 J. Symb. Log. 69, No. 4, 1105-1116 (2004). MSC: 03C13 68Q15 68Q19 PDF BibTeX XML Cite \textit{L. A. Kołodziejczyk}, J. Symb. Log. 69, No. 4, 1105--1116 (2004; Zbl 1081.03027) Full Text: DOI
Kołodziejczyk, Leszek Aleksander Truth definitions in finite models. (English) Zbl 1068.03025 J. Symb. Log. 69, No. 1, 183-200 (2004). MSC: 03C13 03D15 68Q19 68Q15 68Q60 PDF BibTeX XML Cite \textit{L. A. Kołodziejczyk}, J. Symb. Log. 69, No. 1, 183--200 (2004; Zbl 1068.03025) Full Text: DOI
Welch, P. D. On Gupta-Belnap revision theories of truth, Kripkean fixed points and the next stable set. (English) Zbl 1009.03006 Bull. Symb. Log. 7, No. 3, 345-360 (2001). Reviewer: Albert A.Mullin (Madison) MSC: 03A05 PDF BibTeX XML Cite \textit{P. D. Welch}, Bull. Symb. Log. 7, No. 3, 345--360 (2001; Zbl 1009.03006) Full Text: DOI Link
Raatikainen, Panu The concept of truth in a finite universe. (English) Zbl 0971.03009 J. Philos. Log. 29, No. 6, 617-633 (2000). MSC: 03A05 03F30 03C13 PDF BibTeX XML Cite \textit{P. Raatikainen}, J. Philos. Log. 29, No. 6, 617--633 (2000; Zbl 0971.03009) Full Text: DOI
Gomez-Torrente, Mario Logical truth and Tarskian logical truth. (English) Zbl 0936.03004 Synthese 117, No. 3, 375-408 (1999). MSC: 03A05 PDF BibTeX XML Cite \textit{M. Gomez-Torrente}, Synthese 117, No. 3, 375--408 (1999; Zbl 0936.03004) Full Text: DOI
Hintikka, Jaakko The principles of mathematics revisited. (English) Zbl 0897.03004 Cambridge: Cambridge University Press. xii, 288 p. (1998). MSC: 03-02 00A30 03A05 03B20 PDF BibTeX XML Cite \textit{J. Hintikka}, The principles of mathematics revisited. Cambridge: Cambridge University Press (1998; Zbl 0897.03004)
Hájek, Petr; Pudlák, Pavel Metamathematics of first-order arithmetic. 2nd printing. (English) Zbl 0889.03053 Perspectives in Mathematical Logic. Berlin: Springer. xiv, 460 p. (1998). MSC: 03F30 03-02 03D15 PDF BibTeX XML Cite \textit{P. Hájek} and \textit{P. Pudlák}, Metamathematics of first-order arithmetic. 2nd printing. Berlin: Springer (1998; Zbl 0889.03053)
Antonelli, Gian Aldo What’s in a function? (English) Zbl 0929.03045 Synthese 107, No. 2, 167-204 (1996). MSC: 03D20 03D70 03A05 PDF BibTeX XML Cite \textit{G. A. Antonelli}, Synthese 107, No. 2, 167--204 (1996; Zbl 0929.03045) Full Text: DOI
Weingartner, Paul Some critical remarks on definitions and on philosophical and logical ideals. (English) Zbl 0897.03006 Odifreddi, Piergiorgio (ed.), Kreiseliana: about and around Georg Kreisel. Wellesley, MA: A K Peters. 417-438 (1996). Reviewer: V.Peckhaus (Erlangen) MSC: 03A05 00A30 01A60 01A45 PDF BibTeX XML Cite \textit{P. Weingartner}, in: Kreiseliana: about and around Georg Kreisel. Wellesley, MA: A K Peters. 417--438 (1996; Zbl 0897.03006)
Hintikka, Jaakko The principles of mathematics revisited. (English) Zbl 0869.03003 Cambridge: Cambridge Univ. Press. xii, 288 p. (1996). Reviewer: V.Peckhaus (Erlangen) MSC: 03-02 00A30 03A05 03B20 PDF BibTeX XML Cite \textit{J. Hintikka}, The principles of mathematics revisited. Cambridge: Cambridge Univ. Press (1996; Zbl 0869.03003)
Cantini, Andrea Logical frameworks for truth and abstraction. An axiomatic study. (English) Zbl 0860.03015 Studies in Logic and the Foundations of Mathematics. 135. Amsterdam: North-Holland. xii, 461 p. (1996). Reviewer: K.Nour (Le Bourget du Lac) MSC: 03B40 03-02 03F03 03D75 03B30 PDF BibTeX XML Cite \textit{A. Cantini}, Logical frameworks for truth and abstraction. An axiomatic study. Amsterdam: North-Holland (1996; Zbl 0860.03015)
Gupta, Anil; Belnap, Nuel The revision theory of truth. (English) Zbl 0858.03010 Cambridge, MA: MIT Press. xii, 299 p. (1993). MSC: 03A05 03-02 PDF BibTeX XML Cite \textit{A. Gupta} and \textit{N. Belnap}, The revision theory of truth. Cambridge, MA: MIT Press (1993; Zbl 0858.03010)
Hájek, Petr; Pudlák, Pavel Metamathematics of first-order arithmetic. (English) Zbl 0781.03047 Perspectives in Mathematical Logic. Berlin: Springer-Verlag. xiv, 460 p. (1993). Reviewer: R.Murawski (Poznań) MSC: 03F30 03D15 03-02 PDF BibTeX XML Cite \textit{P. Hájek} and \textit{P. Pudlák}, Metamathematics of first-order arithmetic. Berlin: Springer-Verlag (1993; Zbl 0781.03047)
McGee, Vann Truth, vagueness, and paradox. An essay on the logic of truth. (English) Zbl 0734.03001 Indianapolis, IN etc.: Hackett Publishing Co. x, 236 p. $ 30.00; £18.00 (1991). Reviewer: G.Priest (Brisbane) MSC: 03A05 03-02 PDF BibTeX XML Cite \textit{V. McGee}, Truth, vagueness, and paradox. An essay on the logic of truth. Indianapolis, IN etc.: Hackett Publishing Co. (1991; Zbl 0734.03001)
Cantini, Andrea A theory of formal truth arithmetically equivalent to \(ID_ 1\). (English) Zbl 0713.03029 J. Symb. Log. 55, No. 1, 244-259 (1990). Reviewer: N.Both MSC: 03F30 03F40 PDF BibTeX XML Cite \textit{A. Cantini}, J. Symb. Log. 55, No. 1, 244--259 (1990; Zbl 0713.03029) Full Text: DOI
Takeuti, Gaisi Bounded arithmetic and truth definition. (English) Zbl 0653.03038 Ann. Pure Appl. Logic 39, No. 1, 75-104 (1988). Reviewer: R.Kossak MSC: 03F30 PDF BibTeX XML Cite \textit{G. Takeuti}, Ann. Pure Appl. Logic 39, No. 1, 75--104 (1988; Zbl 0653.03038) Full Text: DOI
Burgess, John P. The truth is never simple. (English) Zbl 0634.03002 J. Symb. Log. 51, 663-681 (1986). Reviewer: L.Löfgren MSC: 03A05 03F30 PDF BibTeX XML Cite \textit{J. P. Burgess}, J. Symb. Log. 51, 663--681 (1986; Zbl 0634.03002) Full Text: DOI