Zdanowski, Konrad Truth definition for \(\Delta_0\) formulas and PSPACE computations. (English) Zbl 07301046 Fundam. Math. 252, No. 1, 1-38 (2021). MSC: 03F30 03F35 68Q15 PDF BibTeX XML Cite \textit{K. Zdanowski}, Fundam. Math. 252, No. 1, 1--38 (2021; Zbl 07301046) Full Text: DOI
Heikkila, Seppo Consistent theories of truth for languages which conform to classical logic. (English) Zbl 07222349 Nonlinear Stud. 26, No. 4, 843-859 (2019). MSC: 03B10 03B65 03D80 91F20 97M80 PDF BibTeX XML Cite \textit{S. Heikkila}, Nonlinear Stud. 26, No. 4, 843--859 (2019; Zbl 07222349) Full Text: Link
Rossi, Lorenzo A unified theory of truth and paradox. (English) Zbl 07063890 Rev. Symb. Log. 12, No. 2, 209-254 (2019). MSC: 03B50 PDF BibTeX XML Cite \textit{L. Rossi}, Rev. Symb. Log. 12, No. 2, 209--254 (2019; Zbl 07063890) Full Text: DOI
Kannisto, Toni Kant and Frege on existence. (English) Zbl 1398.03023 Synthese 195, No. 8, 3407-3432 (2018). MSC: 03A05 03-03 01A50 01A55 PDF BibTeX XML Cite \textit{T. Kannisto}, Synthese 195, No. 8, 3407--3432 (2018; Zbl 1398.03023) Full Text: DOI
Serkov, D. A. On the construction of a predicate truth set. (Russian. English summary) Zbl 06882627 Izv. Inst. Mat. Inform., Udmurt. Gos. Univ. 50, 45-61 (2017). MSC: 47J25 47H04 47H10 91B50 PDF BibTeX XML Cite \textit{D. A. Serkov}, Izv. Inst. Mat. Inform., Udmurt. Gos. Univ. 50, 45--61 (2017; Zbl 06882627) Full Text: DOI
Kachapova, Farida Metamathematical properties of a constructive multi-typed theory. (English) Zbl 1417.03298 Stud. Log. 105, No. 3, 587-610 (2017). MSC: 03F50 03F35 03F55 03F65 PDF BibTeX XML Cite \textit{F. Kachapova}, Stud. Log. 105, No. 3, 587--610 (2017; Zbl 1417.03298) Full Text: DOI
Feferman, Solomon The operational perspective: three routes. (English) Zbl 1439.03018 Kahle, Reinhard (ed.) et al., Advances in proof theory. Proceedings of the symposium, on the occasion of the 60th birthday of Gerhard Jäger, Bern, Switzerland, December 13–14, 2013. Basel: Birkhäuser/Springer. Prog. Comput. Sci. Appl. Log. 28, 269-289 (2016). MSC: 03A05 03F03 03F50 PDF BibTeX XML Cite \textit{S. Feferman}, Prog. Comput. Sci. Appl. Log. 28, 269--289 (2016; Zbl 1439.03018) Full Text: DOI
Pleitz, Martin Paradoxes of expression. (English) Zbl 1429.03043 Andreas, Holger (ed.) et al., Logical studies of paraconsistent reasoning in science and mathematics. Cham: Springer. Trends Log. Stud. Log. Libr. 45, 135-144 (2016). MSC: 03A05 03B53 PDF BibTeX XML Cite \textit{M. Pleitz}, Trends Log. Stud. Log. Libr. 45, 135--144 (2016; Zbl 1429.03043) Full Text: DOI
Serkov, Dmitriĭ Aleksandrovich An approach to analysis of the set of truth: unlocking of predicate. (Russian. English summary) Zbl 1422.91062 Vestn. Udmurt. Univ., Mat. Mekh. Komp’yut. Nauki 26, No. 4, 525-534 (2016). MSC: 91A10 PDF BibTeX XML Cite \textit{D. A. Serkov}, Vestn. Udmurt. Univ., Mat. Mekh. Komp'yut. Nauki 26, No. 4, 525--534 (2016; Zbl 1422.91062) Full Text: DOI
Heikkilä, S. On the construction of fully interpreted formal languages which posses their truth predicates. (English) Zbl 1357.00017 Nonlinear Stud. 23, No. 4, 601-609 (2016). MSC: 00A30 03B10 47H04 47H10 68Q45 PDF BibTeX XML Cite \textit{S. Heikkilä}, Nonlinear Stud. 23, No. 4, 601--609 (2016; Zbl 1357.00017) Full Text: Link
Kachapova, Farida A multi-sorted version of second order arithmetic. (English) Zbl 1396.03111 Australas. J. Log. 13, No. 5, 123-135 (2016). MSC: 03F35 03B30 03F25 PDF BibTeX XML Cite \textit{F. Kachapova}, Australas. J. Log. 13, No. 5, 123--135 (2016; Zbl 1396.03111) Full Text: Link
Kachapova, F. Interpretation of constructive multi-typed theory in the theory of arithmetical truth. (English) Zbl 1347.03104 Lobachevskii J. Math. 36, No. 4, 332-340 (2015). MSC: 03F65 03E70 03F50 PDF BibTeX XML Cite \textit{F. Kachapova}, Lobachevskii J. Math. 36, No. 4, 332--340 (2015; Zbl 1347.03104) Full Text: DOI
Kachapova, Farida A strong multi-typed intuitionistic theory of functionals. (English) Zbl 1357.03090 J. Symb. Log. 80, No. 3, 1035-1065 (2015). Reviewer: Marco Benini (Buccinasco) MSC: 03F55 03F50 03F25 PDF BibTeX XML Cite \textit{F. Kachapova}, J. Symb. Log. 80, No. 3, 1035--1065 (2015; Zbl 1357.03090) Full Text: DOI arXiv
Běhounek, Libor; Haniková, Zuzana Set theory and arithmetic in fuzzy logic. (English) Zbl 1335.03048 Montagna, Franco (ed.), Petr Hájek on mathematical fuzzy logic. Cham: Springer (ISBN 978-3-319-06232-7/hbk; 978-3-319-06233-4/ebook). Outstanding Contributions to Logic 6, 63-89 (2015). Reviewer: Antonín Dvořák (Ostrava) MSC: 03E72 03H15 PDF BibTeX XML Cite \textit{L. Běhounek} and \textit{Z. Haniková}, Outst. Contrib. Log. 6, 63--89 (2015; Zbl 1335.03048) Full Text: DOI
Zhang, Xingfang; Li, Xiang A semantic study of the first-order predicate logic with uncertainty involved. (English) Zbl 1428.03052 Fuzzy Optim. Decis. Mak. 13, No. 4, 357-367 (2014). MSC: 03B52 PDF BibTeX XML Cite \textit{X. Zhang} and \textit{X. Li}, Fuzzy Optim. Decis. Mak. 13, No. 4, 357--367 (2014; Zbl 1428.03052) Full Text: DOI
Lewitzka, Steffen Semantically closed intuitionistic abstract logics. (English) Zbl 1260.03015 J. Log. Comput. 22, No. 3, 351-374 (2012). MSC: 03B22 PDF BibTeX XML Cite \textit{S. Lewitzka}, J. Log. Comput. 22, No. 3, 351--374 (2012; Zbl 1260.03015) Full Text: DOI
Ripley, David Conservatively extending classical logic with transparent truth. (English) Zbl 1248.03012 Rev. Symb. Log. 5, No. 2, 354-378 (2012). Reviewer: Pavel Materna (Praha) MSC: 03A05 03B10 03B50 PDF BibTeX XML Cite \textit{D. Ripley}, Rev. Symb. Log. 5, No. 2, 354--378 (2012; Zbl 1248.03012) Full Text: DOI
Kahle, Reinhard The universal set and diagonalization in Frege structures. (English) Zbl 1258.03017 Rev. Symb. Log. 4, No. 2, 205-218 (2011). Reviewer: M. Yasuhara (Princeton) MSC: 03B30 03E30 03F03 03F15 03F25 PDF BibTeX XML Cite \textit{R. Kahle}, Rev. Symb. Log. 4, No. 2, 205--218 (2011; Zbl 1258.03017) Full Text: DOI
Garcıá-Cerdaña, Àngel; Armengol, Eva; Esteva, Francesc Fuzzy description logics and \(t\)-norm based fuzzy logics. (English) Zbl 1209.68522 Int. J. Approx. Reasoning 51, No. 6, 632-655 (2010). MSC: 68T27 03B52 68T30 PDF BibTeX XML Cite \textit{À. Garcıá-Cerdaña} et al., Int. J. Approx. Reasoning 51, No. 6, 632--655 (2010; Zbl 1209.68522) Full Text: DOI
Esteva, Francesc; Godo, Lluís; Noguera, Carles First-order t-norm based fuzzy logics with truth-constants: distinguished semantics and completeness properties. (English) Zbl 1222.03027 Ann. Pure Appl. Logic 161, No. 2, 185-202 (2009). MSC: 03B50 03B52 03G25 PDF BibTeX XML Cite \textit{F. Esteva} et al., Ann. Pure Appl. Logic 161, No. 2, 185--202 (2009; Zbl 1222.03027) Full Text: DOI
Zhang, Xingfang; Meng, Guangwu Theory and applications of the truth degrees of first-order fuzzy predicate formulas based on an interpretation model. (Chinese. English summary) Zbl 1174.03318 J. Syst. Sci. Math. Sci. 28, No. 5, 588-593 (2008). MSC: 03B52 68T37 PDF BibTeX XML Cite \textit{X. Zhang} and \textit{G. Meng}, J. Syst. Sci. Math. Sci. 28, No. 5, 588--593 (2008; Zbl 1174.03318)
Baaz, Matthias; Iemhoff, Rosalie Gentzen calculi for the existence predicate. (English) Zbl 1097.03046 Stud. Log. 82, No. 1, 7-23 (2006). MSC: 03F05 03B20 PDF BibTeX XML Cite \textit{M. Baaz} and \textit{R. Iemhoff}, Stud. Log. 82, No. 1, 7--23 (2006; Zbl 1097.03046) Full Text: DOI
Baaz, Matthias; Iemhoff, Rosalie On interpolation in existence logics. (English) Zbl 1143.03325 Sutcliffe, Geoff (ed.) et al., Logic for programming, artificial intelligence, and reasoning. 12th international conference, LPAR 2005, Montego Bay, Jamaica, December 2–6, 2005. Proceedings. Berlin: Springer (ISBN 978-3-540-30553-8/pbk). Lecture Notes in Computer Science 3835, 697-711 (2005). MSC: 03B20 03C40 03F05 PDF BibTeX XML Cite \textit{M. Baaz} and \textit{R. Iemhoff}, Lect. Notes Comput. Sci. 3835, 697--711 (2005; Zbl 1143.03325) Full Text: DOI
Wang, Guojun; Qin, Xiaoyan; Zhou, Xiangnan Theory of quasi-truth degrees of formulas in two-valued predicate logic. (Chinese. English summary) Zbl 1091.03011 J. Shaanxi Norm. Univ., Nat. Sci. Ed. 33, No. 1, 1-6 (2005). MSC: 03B60 03B10 28A35 03B50 PDF BibTeX XML Cite \textit{G. Wang} et al., J. Shaanxi Norm. Univ., Nat. Sci. Ed. 33, No. 1, 1--6 (2005; Zbl 1091.03011)
Yatabe, Shunsuke A note on Hájek, Paris and Shepherdson’s theorem. (English) Zbl 1078.03043 Log. J. IGPL 13, No. 2, 261-266 (2005). MSC: 03E70 03B50 03B52 03F30 PDF BibTeX XML Cite \textit{S. Yatabe}, Log. J. IGPL 13, No. 2, 261--266 (2005; Zbl 1078.03043) Full Text: DOI
Heck, Richard G. jun. Truth and disquotation. (English) Zbl 1072.03008 Synthese 142, No. 3, 317-352 (2004). MSC: 03A05 PDF BibTeX XML Cite \textit{R. G. Heck jun.}, Synthese 142, No. 3, 317--352 (2004; Zbl 1072.03008) Full Text: DOI
Hyttinen, Tapani; Sandu, Gabriel Truth and definite truth. (English) Zbl 1048.03006 Ann. Pure Appl. Logic 126, No. 1-3, 49-55 (2004). MSC: 03A05 03B45 03C80 PDF BibTeX XML Cite \textit{T. Hyttinen} and \textit{G. Sandu}, Ann. Pure Appl. Logic 126, No. 1--3, 49--55 (2004; Zbl 1048.03006) Full Text: DOI
Wehmeier, Kai Frederick World travelling and mood swings. (English) Zbl 1036.03513 Löwe, Benedikt (ed.) et al., Foundation of the formal sciences II. Applications of mathematical logic in philosophy and linguistics. Papers of a conference, Bonn, Germany, November 10–13, 2000. Dordrecht: Kluwer Academic Publishers (ISBN 1-4020-1154-7/hbk). Trends Log. Stud. Log. Libr. 17, 257-260 (2003). MSC: 03B45 03A05 03B65 PDF BibTeX XML Cite \textit{K. F. Wehmeier}, Trends Log. Stud. Log. Libr. 17, 257--260 (2003; Zbl 1036.03513)
Martínez Fernández, José The Gupta-Belnap fixed-point problem and the theory of clones of functions. (English) Zbl 1036.03507 Löwe, Benedikt (ed.) et al., Foundation of the formal sciences II. Applications of mathematical logic in philosophy and linguistics. Papers of a conference, Bonn, Germany, November 10–13, 2000. Dordrecht: Kluwer Academic Publishers (ISBN 1-4020-1154-7/hbk). Trends Log. Stud. Log. Libr. 17, 175-184 (2003). MSC: 03A05 03B60 08A40 PDF BibTeX XML Cite \textit{J. Martínez Fernández}, Trends Log. Stud. Log. Libr. 17, 175--184 (2003; Zbl 1036.03507)
Colson, Loic Syntactical truth predicates for formulas with atomic negation. (English) Zbl 1049.03042 Math. Struct. Comput. Sci. 12, No. 1, 1-18 (2002). MSC: 03F35 PDF BibTeX XML Cite \textit{L. Colson}, Math. Struct. Comput. Sci. 12, No. 1, 1--18 (2002; Zbl 1049.03042) Full Text: DOI
Colson, Loïc; Grigorieff, Serge Syntactical truth predicates for second order arithmetic. (English) Zbl 0978.03044 J. Symb. Log. 66, No. 1, 225-256 (2001). Reviewer: Roman Murawski (Poznań) MSC: 03F35 PDF BibTeX XML Cite \textit{L. Colson} and \textit{S. Grigorieff}, J. Symb. Log. 66, No. 1, 225--256 (2001; Zbl 0978.03044) Full Text: DOI
Čulina, Boris The concept of truth. (English) Zbl 0982.03002 Synthese 126, No. 1-2, 339-360 (2001). Reviewer: Pavel Materna (Praha) MSC: 03A05 PDF BibTeX XML Cite \textit{B. Čulina}, Synthese 126, No. 1--2, 339--360 (2001; Zbl 0982.03002) Full Text: DOI
Horwich, Paul A defense of minimalism. (English) Zbl 0974.03501 Synthese 126, No. 1-2, 149-165 (2001). MSC: 03A05 PDF BibTeX XML Cite \textit{P. Horwich}, Synthese 126, No. 1--2, 149--165 (2001; Zbl 0974.03501) Full Text: DOI
Zeitz, Philip Parametrized \(\in_{T}\)-logic. A theory of the extension of abstract logics concerning the concepts of truth, reference and classical negation. (Parametrisierte \(\in_{T}\)-Logik. Eine Theorie der Erweiterung abstrakter Logiken um die Konzepte Wahrheit, Referenz und klassische Negation.) (German) Zbl 0992.03013 Berlin: Logos Verlag. Berlin: TU Berlin (Diss. 1999), vi, 145 S. (2000). MSC: 03B22 03-02 PDF BibTeX XML Cite \textit{P. Zeitz}, Parametrisierte \(\in_{T}\)-Logik. Eine Theorie der Erweiterung abstrakter Logiken um die Konzepte Wahrheit, Referenz und klassische Negation. Berlin: Logos Verlag; Berlin: TU Berlin (Diss. 1999) (2000; Zbl 0992.03013)
Hájek, Petr; Paris, Jeff; Shepherdson, John The Liar paradox and fuzzy logic. (English) Zbl 0945.03031 J. Symb. Log. 65, No. 1, 339-346 (2000). MSC: 03B50 03F30 03B52 PDF BibTeX XML Cite \textit{P. Hájek} et al., J. Symb. Log. 65, No. 1, 339--346 (2000; Zbl 0945.03031) Full Text: DOI
Leitgeb, Hannes Truth and the liar in De Morgan-valued models. (English) Zbl 0989.03009 Notre Dame J. Formal Logic 40, No. 4, 496-514 (1999). MSC: 03A05 03G25 PDF BibTeX XML Cite \textit{H. Leitgeb}, Notre Dame J. Formal Logic 40, No. 4, 496--514 (1999; Zbl 0989.03009) Full Text: DOI
Beklemishev, L. D. Classification of propositional provability logics. (English) Zbl 0933.03079 Beklemishev, Lev et al., Provability, complexity, grammars. Three doctoral dissertations translated from the Russian. Providence, RI: American Mathematical Society. Transl., Ser. 2, Am. Math. Soc. 192, 1-56 (1999). Reviewer: Mladen Vuković (Zagreb) MSC: 03F45 03B45 03F03 PDF BibTeX XML Cite \textit{L. D. Beklemishev}, Transl., Ser. 2, Am. Math. Soc. 192, 1--56 (1999; Zbl 0933.03079)
Horsten, Leon A Kripkean approach to unknowability and truth. (English) Zbl 0981.03010 Notre Dame J. Formal Logic 39, No. 3, 389-405 (1998). Reviewer: Heinrich Wansing (Dresden) MSC: 03A05 03B42 PDF BibTeX XML Cite \textit{L. Horsten}, Notre Dame J. Formal Logic 39, No. 3, 389--405 (1998; Zbl 0981.03010) Full Text: DOI
Priest, Graham The trivial object and the non-triviality of a semantically closed theory with descriptions. (English) Zbl 0934.03035 J. Appl. Non-Class. Log. 8, No. 1-2, 171-183 (1998). Reviewer: J.Mackenzie (Sydney) MSC: 03B53 03A05 PDF BibTeX XML Cite \textit{G. Priest}, J. Appl. Non-Class. Log. 8, No. 1--2, 171--183 (1998; Zbl 0934.03035) Full Text: DOI
Cryan, Mary; Ramsay, Allan Constructing a normal form for property theory. (English) Zbl 1430.68396 McCune, William (ed.), Automated deduction – CADE-14. 14th international conference on automated deduction, Townsville, North Queensland, Australia. July 13–17, 1997. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1249, 237-251 (1997). MSC: 68V15 03B35 03B65 PDF BibTeX XML Cite \textit{M. Cryan} and \textit{A. Ramsay}, Lect. Notes Comput. Sci. 1249, 237--251 (1997; Zbl 1430.68396) Full Text: DOI
Cantini, Andrea Proof-theoretical aspects of self-referential truth. (English) Zbl 0944.03055 Dalla Chiara, Maria Luisa (ed.) et al., Logic and scientific methods. Volume one of the proceedings of the tenth international congress of logic, methodology and philosophy of science, Florence, Italy, August 19-25, 1995. Dordrecht: Kluwer Academic Publishers. Synth. Libr. 259, 7-27 (1997). Reviewer: M.Yasuhara (Princeton) MSC: 03F25 PDF BibTeX XML Cite \textit{A. Cantini}, Synth. Libr. 259, 7--27 (1997; Zbl 0944.03055)
Halbach, Volker Tarskian and Kripkean truth. (English) Zbl 0869.03004 J. Philos. Log. 26, No. 1, 69-80 (1997). Reviewer: L.Löfgren (Lund) MSC: 03A05 PDF BibTeX XML Cite \textit{V. Halbach}, J. Philos. Log. 26, No. 1, 69--80 (1997; Zbl 0869.03004) Full Text: DOI
Kelly, John J. The essence of logic. (English) Zbl 0872.03001 The Essence of Computing. Hemel Hempstead: Prentice Hall. xiv, 258 p. (1997). Reviewer: P.-G.Holban (Iaşi) MSC: 03-01 PDF BibTeX XML Cite \textit{J. J. Kelly}, The essence of logic. Hemel Hempstead: Prentice Hall (1997; Zbl 0872.03001)
Cantini, Andrea Levels of truth. (English) Zbl 0836.03033 Notre Dame J. Formal Logic 36, No. 2, 185-213 (1995). MSC: 03F35 PDF BibTeX XML Cite \textit{A. Cantini}, Notre Dame J. Formal Logic 36, No. 2, 185--213 (1995; Zbl 0836.03033) Full Text: DOI
De Giorgi, Ennio; Forti, Marco; Lenzi, Giacomo; Tortorelli, Vincenzo Maria Predicate calculus and metatheoretic concepts within a basic theory for the Foundations of Mathematics. (Italian. English summary) Zbl 0833.03003 Atti Accad. Naz. Lincei, Cl. Sci. Fis. Mat. Nat., IX. Ser., Rend. Lincei, Mat. Appl. 6, No. 2, 79-92 (1995). MSC: 03B30 PDF BibTeX XML Cite \textit{E. De Giorgi} et al., Atti Accad. Naz. Lincei, Cl. Sci. Fis. Mat. Nat., IX. Ser., Rend. Lincei, Mat. Appl. 6, No. 2, 79--92 (1995; Zbl 0833.03003) Full Text: EuDML
Aoyama, Hiroshi The strong completeness of a system based on Kleene’s strong three-valued logic. (English) Zbl 0822.03014 Notre Dame J. Formal Logic 35, No. 3, 355-368 (1994). MSC: 03B50 PDF BibTeX XML Cite \textit{H. Aoyama}, Notre Dame J. Formal Logic 35, No. 3, 355--368 (1994; Zbl 0822.03014) Full Text: DOI
Halbach, Volker A system of complete and consistent truth. (English) Zbl 0828.03030 Notre Dame J. Formal Logic 35, No. 3, 311-327 (1994). Reviewer: M.Yasuhara (Princeton) MSC: 03F30 03B30 PDF BibTeX XML Cite \textit{V. Halbach}, Notre Dame J. Formal Logic 35, No. 3, 311--327 (1994; Zbl 0828.03030) Full Text: DOI
Cantini, Andrea Extending the first-order theory of combinators with self-referential truth. (English) Zbl 0795.03075 J. Symb. Log. 58, No. 2, 477-513 (1993). Reviewer: M.Yasuhara (Princeton) MSC: 03F03 03F99 03B40 PDF BibTeX XML Cite \textit{A. Cantini}, J. Symb. Log. 58, No. 2, 477--513 (1993; Zbl 0795.03075) Full Text: DOI
Restall, Greg Arithmetic and truth in Łukasiewicz’s infinitely valued logic. (English) Zbl 0832.03010 Log. Anal., Nouv. Sér. 35, No. 139-140, 303-312 (1992). MSC: 03B50 03F30 PDF BibTeX XML Cite \textit{G. Restall}, Log. Anal., Nouv. Sér. 35, No. 139--140, 303--312 (1992; Zbl 0832.03010)
Denyer, Nicholas Pure second-order logic. (English) Zbl 0760.03001 Notre Dame J. Formal Logic 33, No. 2, 220-224 (1992). MSC: 03B15 PDF BibTeX XML Cite \textit{N. Denyer}, Notre Dame J. Formal Logic 33, No. 2, 220--224 (1992; Zbl 0760.03001) Full Text: DOI
McGee, Vann Maximal consistent sets of instances of Tarski’s schema (T). (English) Zbl 0773.03003 J. Philos. Log. 21, No. 3, 235-241 (1992). Reviewer: L.Löfgren (Lund) MSC: 03A05 PDF BibTeX XML Cite \textit{V. McGee}, J. Philos. Log. 21, No. 3, 235--241 (1992; Zbl 0773.03003) Full Text: DOI
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)
Cain, James; Damnjanovic, Zlatan On the weak Kleene scheme in Kripke’s theory of truth. (English) Zbl 0759.03004 J. Symb. Log. 56, No. 4, 1452-1468 (1991). Reviewer: L.Löfgren (Lund) MSC: 03A05 03F30 PDF BibTeX XML Cite \textit{J. Cain} and \textit{Z. Damnjanovic}, J. Symb. Log. 56, No. 4, 1452--1468 (1991; Zbl 0759.03004) Full Text: DOI
Turner, Raymond Logics of truth. (English) Zbl 0709.03015 Notre Dame J. Formal Logic 31, No. 2, 308-329 (1990). Reviewer: C.F.Kielkopf MSC: 03B45 03A05 PDF BibTeX XML Cite \textit{R. Turner}, Notre Dame J. Formal Logic 31, No. 2, 308--329 (1990; Zbl 0709.03015) Full Text: DOI
Negri, Maurizio An autoapplicable truth predicate. (English) Zbl 0704.03003 Boll. Unione Mat. Ital., VII. Ser., B 3, No. 1, 29-39 (1989). Reviewer: A.Wojciechowska MSC: 03B10 03C99 PDF BibTeX XML Cite \textit{M. Negri}, Boll. Unione Mat. Ital., VII. Ser., B 3, No. 1, 29--39 (1989; Zbl 0704.03003)
Fitting, Melvin Bilattices and the theory of truth. (English) Zbl 0678.03028 J. Philos. Logic 18, No. 3, 225-256 (1989). Reviewer: G.Priest MSC: 03G10 03B60 PDF BibTeX XML Cite \textit{M. Fitting}, J. Philos. Log. 18, No. 3, 225--256 (1989; Zbl 0678.03028) Full Text: DOI
Gaifman, Haim Operational pointer semantics: Solution to self-referential puzzles. I. (English) Zbl 0705.03005 Theoretical aspects of reasoning about knowledge, Proc. 2nd Conf., Pacific Grove/CA (USA) 1988, 43-59 (1988). Reviewer: G.Priest MSC: 03A05 03B60 PDF BibTeX XML
Štěpán, Jan Time conditional propositions. (English) Zbl 0688.03015 Acta Univ. Palacki. Olomuc., Fac. Rerum Nat. 91, Math. 27, 355-363 (1988). MSC: 03B60 PDF BibTeX XML Cite \textit{J. Štěpán}, Acta Univ. Palacki. Olomuc., Fac. Rerum Nat., Math. 27, 355--363 (1988; Zbl 0688.03015) Full Text: EuDML
Friedman, Harvey; Sheard, Michael The disjunction and existence properties for axiomatic systems of truth. (English) Zbl 0669.03026 Ann. Pure Appl. Logic 40, No. 1, 1-10 (1988). Reviewer: M.Yasuhara MSC: 03F30 03B30 PDF BibTeX XML Cite \textit{H. Friedman} and \textit{M. Sheard}, Ann. Pure Appl. Logic 40, No. 1, 1--10 (1988; Zbl 0669.03026) Full Text: DOI
Langholm, Tore Partiality, truth and persistence. (Revision of the author’s thesis, Stanford Univ., 1987). (English) Zbl 0665.03024 CSLI Lecture Notes, 15. Stanford, CA: Center for the Study of Language and Information. ix, 151 p. (1988). Reviewer: A.M.Coyne MSC: 03C99 PDF BibTeX XML Cite \textit{T. Langholm}, Partiality, truth and persistence. (Revision of the author's thesis, Stanford Univ., 1987). Stanford, CA: Center for the Study of Language and Information (1988; Zbl 0665.03024)
Friedman, Harvey; Sheard, Michael An axiomatic approach to self-referential truth. (English) Zbl 0634.03058 Ann. Pure Appl. Logic 33, 1-21 (1987). Reviewer: M.Yasuhara MSC: 03F25 03F30 03B30 PDF BibTeX XML Cite \textit{H. Friedman} and \textit{M. Sheard}, Ann. Pure Appl. Logic 33, 1--21 (1987; Zbl 0634.03058) Full Text: DOI
Börger, Egon Berechenbarkeit, Komplexität, Logik. Eine Einführung in Algorithmen, Sprachen und Kalküle unter besonderer Berücksichtigung ihrer Komplexität. Hrsg. von Dieter Rödding. 2., ber. Aufl. (German) Zbl 0649.03028 Braunschweig-Wiesbaden: Friedr. Vieweg & Sohn. XVII, 469 S.; DM 64.00 (1986). MSC: 03Dxx 03-01 03-02 03D15 03B10 68W99 03D05 03F05 03D55 03D20 03D30 03D35 68Q45 PDF BibTeX XML
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
Reinhardt, William N. Remarks on significance and meaningful applicability. (English) Zbl 0611.03004 Mathematical logic and formal systems, Coll. Pap. Hon. N. C. A. da Costa, Lect. Notes Pure Appl. Math. 94, 227-242 (1985). Reviewer: L.F.Goble MSC: 03A05 PDF BibTeX XML
Börger, Egon Berechenbarkeit, Komplexität, Logik. Eine Einführung in Algorithmen, Sprachen und Kalküle unter besonderer Berücksichtigung ihrer Komplexität. Hrsg. von Dieter Rödding. (German) Zbl 0593.03001 Braunschweig - Wiesbaden: Friedr. Vieweg & Sohn. XVII, 469 S. DM 64.00 (1985). Reviewer: Phan Dinh Diêu MSC: 03-01 03-02 03Dxx 03D15 03B10 68W99 03D05 03F05 03D55 03D20 03D30 03D35 68Q45 PDF BibTeX XML
Perlis, Donald Languages with self-reference. I: Foundations (or: We can have everything in first-order logic!). (English) Zbl 0581.03005 Artif. Intell. 25, 301-322 (1985). Reviewer: L.Löfgren MSC: 03B10 68T99 03B65 PDF BibTeX XML Cite \textit{D. Perlis}, Artif. Intell. 25, 301--322 (1985; Zbl 0581.03005) Full Text: DOI
Martin, Robert L. (ed.) Recent essays on truth and the liar paradox. (English) Zbl 0623.03001 Oxford: Clarendon Press; New York: Oxford University Press. VII, 309 p.; £10.95 (1984). Reviewer: G.Priest MSC: 03-02 03A05 03B60 03B15 03E70 PDF BibTeX XML
Gupta, Anil; Martin, Robert L. A fixed point theorem for the weak Kleene valuation scheme. (English) Zbl 0543.03006 J. Philos. Logic 13, 131-135 (1984). Reviewer: G.Priest MSC: 03A05 03B50 03C50 PDF BibTeX XML Cite \textit{A. Gupta} and \textit{R. L. Martin}, J. Philos. Log. 13, 131--135 (1984; Zbl 0543.03006) Full Text: DOI
Dowden, Bradley H. Accepting inconsistencies from the paradoxes. (English) Zbl 0543.03005 J. Philos. Logic 13, 125-130 (1984). Reviewer: G.Priest MSC: 03A05 03B50 03C50 PDF BibTeX XML Cite \textit{B. H. Dowden}, J. Philos. Log. 13, 125--130 (1984; Zbl 0543.03005) Full Text: DOI
Eberle, Rolf A. Logic with a relative truth predicate and ”that”-terms. (English) Zbl 0537.03004 Synthese 59, 151-185 (1984). MSC: 03A05 PDF BibTeX XML Cite \textit{R. A. Eberle}, Synthese 59, 151--185 (1984; Zbl 0537.03004) Full Text: DOI
Grieder, Alfons On an application of truth-functions to the logic of predicates. (English) Zbl 0538.03007 Logique Anal., Nouv. Sér. 26, 3-18 (1983). Reviewer: J.Cirulis MSC: 03B10 03B20 03G99 PDF BibTeX XML Cite \textit{A. Grieder}, Log. Anal., Nouv. Sér. 26, 3--18 (1983; Zbl 0538.03007)
Åqvist, Lennart How to handle the Liar paradox in modal logic with sentential quantifiers and its own truth predicate. (English) Zbl 0487.03009 Theor. Linguist. 9, 111-129 (1982). MSC: 03B45 03A05 PDF BibTeX XML Cite \textit{L. Åqvist}, Theor. Linguist. 9, 111--129 (1982; Zbl 0487.03009)
Mortensen, Chris; Priest, Graham The truth teller paradox. (English) Zbl 0527.03001 Logique Anal., Nouv. Sér. 24, 381-388 (1981). MSC: 03A05 03F50 PDF BibTeX XML Cite \textit{C. Mortensen} and \textit{G. Priest}, Log. Anal., Nouv. Sér. 24, 381--388 (1981; Zbl 0527.03001)
Paulos, John A. Probabilistic, truth value, and standard semantics and the primacy of predicate logic. (English) Zbl 0416.03012 Notre Dame J. Formal Logic 22, 11-16 (1981). MSC: 03B10 03A05 03B99 PDF BibTeX XML Cite \textit{J. A. Paulos}, Notre Dame J. Formal Logic 22, 11--16 (1981; Zbl 0416.03012) Full Text: DOI
McDermott, Drew; Doyle, Jon Non-monotonic logic. I. (English) Zbl 0435.68074 Artif. Intell. 13, 41-72 (1980). MSC: 68T99 68Q65 03B60 PDF BibTeX XML Cite \textit{D. McDermott} and \textit{J. Doyle}, Artif. Intell. 13, 41--72 (1980; Zbl 0435.68074) Full Text: DOI
Tselishchev, V. A.; Bessonov, A. V. Two interpretations of logical systems. (Dve interpretatsii logicheskikh sistem). (Russian) Zbl 0483.03003 Akademiya Nauk SSSR, Sibirskoe Otdelenie, Institut Istorii, Filologii i Filosofii. Novosibirsk: Izdatel’stvo ”Nauka”, Sibirskoe Otdelenie. 270 p. R. 1.40 (1979). MSC: 03A05 03B10 03B45 03-02 03B60 PDF BibTeX XML
Snapper, Ernst What is mathematics? (English) Zbl 0421.00008 Am. Math. Mon. 86, 551-557 (1979). MSC: 00A30 PDF BibTeX XML Cite \textit{E. Snapper}, Am. Math. Mon. 86, 551--557 (1979; Zbl 0421.00008) Full Text: DOI
Schwartz, Thomas Necessary truth as analyticity, and the eliminability of monadic de re formulas. (English) Zbl 0394.03032 Notre Dame J. Formal Logic 20, 336-340 (1979). MSC: 03B45 03A05 PDF BibTeX XML Cite \textit{T. Schwartz}, Notre Dame J. Formal Logic 20, 336--340 (1979; Zbl 0394.03032) Full Text: DOI
Tauts, A. Die Vieldeutigkeit des Axioms über die Normalfunktionen. (Russian) Zbl 0461.03006 Uch. Zap. Tartu. Gos. Univ. 464, Tr. Mat. Mekh. 22, 13-27 (1978). MSC: 03C75 PDF BibTeX XML
Thomason, Richmond H. Necessity, quotation, and truth: An indexical theory. (English) Zbl 0397.03006 Lang. in Focus: Found., Methods, Syst.; Essays Mem. Y. Bar-Hillel, Boston Stud. Philos. Sci. 43, Synth. Libr. 89, 119-138 (1976). MSC: 03A05 03B45 03C80 PDF BibTeX XML
Kripke, Saul Outline of a theory of truth. (English) Zbl 0952.03513 J. Philos. 72, 690-716 (1975). MSC: 03A05 PDF BibTeX XML Cite \textit{S. Kripke}, J. Philos. 72, 690--716 (1975; Zbl 0952.03513) Full Text: DOI