{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,6,15]],"date-time":"2023-06-15T04:22:48Z","timestamp":1686802968655},"reference-count":435,"publisher":"Elsevier","isbn-type":[{"value":"9780444516206","type":"print"}],"license":[{"start":{"date-parts":[[2009,1,1]],"date-time":"2009-01-01T00:00:00Z","timestamp":1230768000000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2009]]},"DOI":"10.1016\/s1874-5857(09)70020-2","type":"book-chapter","created":{"date-parts":[[2009,7,1]],"date-time":"2009-07-01T08:16:54Z","timestamp":1246436214000},"page":"875-1013","source":"Crossref","is-referenced-by-count":6,"title":["Paradoxes, Self-Reference and Truth in the 20th Century"],"prefix":"10.1016","author":[{"given":"Cantini","family":"Andrea","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"78","reference":[{"key":"10.1016\/S1874-5857(09)70020-2_bb0005","article-title":"System der typefreien Logik I.","author":"Ackermann","year":"1941","journal-title":"Forschungen zur Logik und zur exakten Wissenschaften,"},{"key":"10.1016\/S1874-5857(09)70020-2_bb0010","doi-asserted-by":"crossref","first-page":"33","DOI":"10.2307\/2268439","article-title":"Widerspruchsfreier Aufbau der Logik. Typenfreies System ohne Tertium non datur.","volume":"15","author":"Ackermann","year":"1950","journal-title":"Journal of Symbolic Logic"},{"key":"10.1016\/S1874-5857(09)70020-2_bb0015","doi-asserted-by":"crossref","first-page":"364","DOI":"10.1007\/BF01181135","article-title":"Widerspruchsfreier Aufbau einer typenfreien Logik I","volume":"55","author":"Ackermann","year":"1952","journal-title":"Mathematische Zeitschrift"},{"key":"10.1016\/S1874-5857(09)70020-2_bb0020","doi-asserted-by":"crossref","first-page":"3","DOI":"10.1007\/BF01977111","article-title":"Ein typenfreies System der Logik mit ausreichender logischen Anwendungsf\u00e4higkeit","volume":"4","author":"Ackermann","year":"1958","journal-title":"Archive for Mathematical Logic"},{"key":"10.1016\/S1874-5857(09)70020-2_bb0025","series-title":"Essays on the Foundations of Mathematics","first-page":"143","article-title":"Grundgedanken einer typenfreien Logik","author":"Ackermann","year":"1961"},{"key":"10.1016\/S1874-5857(09)70020-2_bb0030","unstructured":"P. Aczel P. Aczel and S. Feferman. Consistency of the unrestricted abstraction principle using an intensional equivalence operator. In Hindley and Seldin [1980], pages 67\u201398."},{"key":"10.1016\/S1874-5857(09)70020-2_bb0035","series-title":"Logical Frameworks","first-page":"5","article-title":"Two frameworks of theories and their implementation in Isabelle","author":"Aczel","year":"1991"},{"key":"10.1016\/S1874-5857(09)70020-2_bb0040","first-page":"1","article-title":"The strength of Martin-L\u00f6f's intu it ion ist ic type theory with one universe","volume":"2","author":"Aczel","year":"1977"},{"key":"10.1016\/S1874-5857(09)70020-2_bb0045","series-title":"The Kleene Symposium","first-page":"31","article-title":"Frege structures and the notions of proposition, truth and set","author":"Aczel","year":"1980"},{"key":"10.1016\/S1874-5857(09)70020-2_bb0050","series-title":"Non-Well-Founded Sets","author":"Aczel","year":"1988"},{"key":"10.1016\/S1874-5857(09)70020-2_bb0055","doi-asserted-by":"crossref","first-page":"135","DOI":"10.1007\/BF00247001","article-title":"Curry's paradox in contraction less constructive logic","volume":"25","author":"Akama","year":"1996","journal-title":"Journal of Philosophical Logic"},{"key":"10.1016\/S1874-5857(09)70020-2_bb0060","series-title":"Perspectives on the History of Mathematical Logic","first-page":"33","article-title":"The First Russell Paradox","author":"Anellis","year":"1991"},{"key":"10.1016\/S1874-5857(09)70020-2_bb0065","doi-asserted-by":"crossref","DOI":"10.1007\/BF01052781","article-title":"Non-well-founded sets via revision rules","volume":"23","author":"Antonelli","year":"1994","journal-title":"Journal of Philosophical Logic"},{"key":"10.1016\/S1874-5857(09)70020-2_bb0070","doi-asserted-by":"crossref","first-page":"67","DOI":"10.1305\/ndjfl\/1040609294","article-title":"The complexity of revision","volume":"35","author":"Antonelli","year":"1994","journal-title":"Notre Dame Journal of Formal Logic"},{"key":"10.1016\/S1874-5857(09)70020-2_bb0075","doi-asserted-by":"crossref","first-page":"204","DOI":"10.1305\/ndjfl\/1094061861","article-title":"A revision-theoretic analysis of the arithmetical hierarchy","volume":"35","author":"Antonelli","year":"1994","journal-title":"Notre Dame Journal of Formal Logic"},{"key":"10.1016\/S1874-5857(09)70020-2_bb0080","first-page":"1","author":"Antonelli","year":"1998","journal-title":"The complexity of revision"},{"key":"10.1016\/S1874-5857(09)70020-2_bb0085","doi-asserted-by":"crossref","unstructured":"N. Asher and H. Kamp. Self-reference, attitude and paradox. In Chierchia et al. [1989], pages 85\u2013158.","DOI":"10.1007\/978-94-009-2721-6_5"},{"key":"10.1016\/S1874-5857(09)70020-2_bb0090","series-title":"Categories, Types and Structures","author":"Asperti","year":"1991"},{"key":"10.1016\/S1874-5857(09)70020-2_bb0095","series-title":"Dictionary of Philosophy and Psychology","author":"Baldwin","year":"1905"},{"key":"10.1016\/S1874-5857(09)70020-2_bb0100","series-title":"An Essay in Truth and Circularity","article-title":"The Liar","author":"Barwise","year":"1987"},{"key":"10.1016\/S1874-5857(09)70020-2_bb0105","series-title":"On the Mathematics of Non-Wellfounded Phenomena","article-title":"Vicious Circles","author":"Barwise","year":"1996"},{"key":"10.1016\/S1874-5857(09)70020-2_bb0110","series-title":"Admissible sets and structures","author":"Barwise","year":"1975"},{"key":"10.1016\/S1874-5857(09)70020-2_bb0115","series-title":"Property theories","first-page":"133","author":"Bealer","year":"1989"},{"key":"10.1016\/S1874-5857(09)70020-2_bb0120","doi-asserted-by":"crossref","first-page":"139","DOI":"10.1007\/BF01050341","article-title":"Property theory","volume":"23","author":"Bealer","year":"1994","journal-title":"Journal of Philosophical Logic"},{"key":"10.1016\/S1874-5857(09)70020-2_bb0125","series-title":"Foundations of Constructive Mathematics","author":"Beeson","year":"1985"},{"key":"10.1016\/S1874-5857(09)70020-2_bb0130","first-page":"37","article-title":"Zu den Widerspr\u00fcchen der Logik und der Mengenlehre","volume":"40","author":"Behmann","year":"1931","journal-title":"Jahresbericht der Deutschen Mathematiker-Vereinigung"},{"key":"10.1016\/S1874-5857(09)70020-2_bb0135","doi-asserted-by":"crossref","first-page":"112","DOI":"10.2307\/2964755","article-title":"Der Pr\u00e4dikatenkalk\u00fcl mit limitierten Variablen: Grundlegung einer nat\u00fcrlichen exakten Logik","volume":"24","author":"Behmann","year":"1959","journal-title":"Journal of Symbolic Logic"},{"key":"10.1016\/S1874-5857(09)70020-2_bb0140","doi-asserted-by":"crossref","first-page":"27","DOI":"10.1002\/malq.19940400104","article-title":"Fregean extensions of first-order theory","volume":"40","author":"Bell","year":"1994","journal-title":"Mathematical Logic Quarterly"},{"key":"10.1016\/S1874-5857(09)70020-2_bb0145","doi-asserted-by":"crossref","first-page":"103","DOI":"10.1007\/BF00302340","article-title":"Gupta's rule of revision theory of truth","volume":"11","author":"Belnap","year":"1982","journal-title":"Journal of Philosophical Logic"},{"key":"10.1016\/S1874-5857(09)70020-2_bb0150","series-title":"Handbook of Logic and Language","year":"1997"},{"key":"10.1016\/S1874-5857(09)70020-2_bb0155","first-page":"545","article-title":"Translating the hypergame paradox: remarks on the set of founded elements of a relation","volume":"25","author":"Bernardi","year":"1997","journal-title":"Journal of Philosophical Logic"},{"key":"10.1016\/S1874-5857(09)70020-2_bb0160","doi-asserted-by":"crossref","first-page":"163","DOI":"10.1016\/S0168-0072(00)00061-0","article-title":"Fixed points and unfounded chains","volume":"109","author":"Bernardi","year":"2001","journal-title":"Annals of Pure and Applied Logic"},{"key":"10.1016\/S1874-5857(09)70020-2_bb0165","volume":"II","year":"1973"},{"key":"10.1016\/S1874-5857(09)70020-2_bb0170","first-page":"447","volume":"14","author":"Bernstein","year":"1905","journal-title":"Die Theorie der reellen Zahlen. Jahresbericht der Deutschen Mathematker-Vereinigung"},{"key":"10.1016\/S1874-5857(09)70020-2_bb0175","first-page":"187","volume":"60","author":"Bernstein","year":"1905","journal-title":"\u00dcber die Reihe der transfiniten Ordnungszahlen. Mathematische Annalen"},{"key":"10.1016\/S1874-5857(09)70020-2_bb0180","doi-asserted-by":"crossref","first-page":"463","DOI":"10.1007\/BF01457626","volume":"60","author":"Bernstein","year":"1905","journal-title":"Zum Kontinuumproblem. Mathematische Annalen"},{"key":"10.1016\/S1874-5857(09)70020-2_bb0185","series-title":"The Logic Yearbook 1998","first-page":"99","article-title":"The Porohy on Dnepr. Leswenieskian roots of Tarski's semantics","author":"Betti","year":"1999"},{"issue":"46","key":"10.1016\/S1874-5857(09)70020-2_bb0190","article-title":"Ob odnom tr\u00e9hzna\u010dnom is\u010disl\u00e9nii i \u00e9go prim\u00e9n\u00e9nii k anlizu paradocsov klassi\u010d\u00e9skogo ras\u0161ir\u00e9nnogo funknional\u2019nogo is\u010disl\u00e9ni\u00e1","volume":"4","author":"Bochvar","year":"1937","journal-title":"Mathematicheski Sbornik"},{"key":"10.1016\/S1874-5857(09)70020-2_bb0195","doi-asserted-by":"crossref","first-page":"215","DOI":"10.2307\/2272122","article-title":"The consistency problem for NF","volume":"42","author":"Boffa","year":"1977","journal-title":"The Journal of Symbolic Logic"},{"key":"10.1016\/S1874-5857(09)70020-2_bb0200","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1007\/BF00370383","article-title":"Provability: the emergence of a mathematical modality","volume":"50","author":"Boolos","year":"1991","journal-title":"Studia Logica"},{"key":"10.1016\/S1874-5857(09)70020-2_bb0205","series-title":"On Being and Saying: Essays for Richard Cartwright","first-page":"3","article-title":"The consistency of Frege's foundations of arithmetic","author":"Boolos","year":"1987"},{"key":"10.1016\/S1874-5857(09)70020-2_bb0210","first-page":"388","article-title":"A new proof of the Godel incompleteness theorem","volume":"36","author":"Boolos","year":"1989","journal-title":"Notice of the American Mathematical Society"},{"key":"10.1016\/S1874-5857(09)70020-2_bb0215","series-title":"The logic of provability","author":"Boolos","year":"1993"},{"key":"10.1016\/S1874-5857(09)70020-2_bb0220","series-title":"Logic, Logic and Logic","author":"Boolos","year":"1998"},{"key":"10.1016\/S1874-5857(09)70020-2_bb0225","first-page":"261","article-title":"Cinq lettres sur la th\u00e9orie des ensembles","volume":"33","author":"Borel","year":"1905","journal-title":"Bulletin de la Soci\u00e9te\u00e9 Math\u00e9matique de France"},{"key":"10.1016\/S1874-5857(09)70020-2_bb0230","first-page":"514","article-title":"Quelques remarques sur les principes de la th\u00e9orie des ensembles","volume":"59","author":"Borel","year":"1904","journal-title":"Mathematische Annalen"},{"key":"10.1016\/S1874-5857(09)70020-2_bb0235","article-title":"Les paradoxes de la theorie des ensembles","volume":"25","author":"Borel","year":"1908","journal-title":"Ann. \u00c9cole Nor. Sup"},{"key":"10.1016\/S1874-5857(09)70020-2_bb0240","series-title":"Le\u00e7ons sur la th\u00e9orie des","author":"Borel","year":"1914"},{"key":"10.1016\/S1874-5857(09)70020-2_bb0245","doi-asserted-by":"crossref","first-page":"447","DOI":"10.1305\/ndjfl\/1093894366","article-title":"The consistency of the axioms of abstraction and extensionality in a three-valued logic","volume":"12","author":"Brady","year":"1971","journal-title":"Notre Dame Journal of Formal Logic"},{"key":"10.1016\/S1874-5857(09)70020-2_bb0250","series-title":"Over die Grondslagen der Wiskunde","author":"Brouwer","year":"1907"},{"key":"10.1016\/S1874-5857(09)70020-2_bb0255","first-page":"11","article-title":"Sulle classi ben ordinate","volume":"11","author":"Burali-Forti","year":"1897","journal-title":"Rendiconti del Circolo Matematico di Palermo"},{"key":"10.1016\/S1874-5857(09)70020-2_bb0260","doi-asserted-by":"crossref","first-page":"154","DOI":"10.1007\/BF03015911","article-title":"Una questione sui numeri transfiniti","volume":"11","author":"Burali-Forti","year":"1897","journal-title":"Rendiconti del Circolo Matematico di Palermo"},{"key":"10.1016\/S1874-5857(09)70020-2_bb0265","doi-asserted-by":"crossref","first-page":"169","DOI":"10.2307\/2025724","article-title":"Semantical paradox","volume":"76","author":"Burge","year":"1979","journal-title":"Journal of Philosophy"},{"key":"10.1016\/S1874-5857(09)70020-2_bb0270","doi-asserted-by":"crossref","first-page":"352","DOI":"10.1007\/BF00353885","article-title":"The liar paradox: tangles and chains","volume":"41","author":"Burge","year":"1982","journal-title":"Philosophical Studies"},{"key":"10.1016\/S1874-5857(09)70020-2_bb0275","doi-asserted-by":"crossref","first-page":"663","DOI":"10.2307\/2274021","article-title":"The truth is never simple","volume":"51","author":"Burgess","year":"1986","journal-title":"Journal of Symbolic Logic"},{"key":"10.1016\/S1874-5857(09)70020-2_bb0280","doi-asserted-by":"crossref","first-page":"390","DOI":"10.2307\/2274511","article-title":"Addendum to: \u201cThe truth is never simple\u201d","volume":"53","author":"Burgess","year":"1988","journal-title":"Journal of Symbolic Logic"},{"key":"10.1016\/S1874-5857(09)70020-2_bb0285","doi-asserted-by":"crossref","first-page":"1452","DOI":"10.2307\/2275486","article-title":"On the weak Kleene scheme in Kripke\u2019s theory of truth","volume":"56","author":"Cain","year":"1991","journal-title":"Journal of Symbolic Logic"},{"key":"10.1016\/S1874-5857(09)70020-2_bb0290","doi-asserted-by":"crossref","first-page":"313","DOI":"10.2307\/2586767","article-title":"Uniform inseparability in explicit mathematics","volume":"64","author":"Cantini","year":"1999","journal-title":"The Journal of Symbolic Logic"},{"key":"10.1016\/S1874-5857(09)70020-2_bb0295","doi-asserted-by":"crossref","first-page":"405","DOI":"10.1007\/BF00713550","article-title":"A note on three-valued logic and Tarski theorem on truth definitions","volume":"39","author":"Cantini","year":"1980","journal-title":"Studia Logica"},{"key":"10.1016\/S1874-5857(09)70020-2_bb0300","doi-asserted-by":"crossref","first-page":"97","DOI":"10.1002\/malq.19890350202","article-title":"Notes on formal theories of truth","volume":"35","author":"Cantini","year":"1989","journal-title":"Zeitschrift fur Mathematische Logik und Grundlagen der Mathematik"},{"key":"10.1016\/S1874-5857(09)70020-2_bb0305","doi-asserted-by":"crossref","first-page":"244","DOI":"10.2307\/2274965","article-title":"A theory of formal truth arithmetically equivalent to ID1","volume":"55","author":"Cantini","year":"1990","journal-title":"Journal of Symbolic Logic"},{"key":"10.1016\/S1874-5857(09)70020-2_bb0310","doi-asserted-by":"crossref","first-page":"447","DOI":"10.2307\/2275216","article-title":"Extending first order theory of combinators with self-referential truth","volume":"58","author":"Cantini","year":"1993","journal-title":"Journal of Symbolic Logic"},{"key":"10.1016\/S1874-5857(09)70020-2_bb0315","doi-asserted-by":"crossref","first-page":"185","DOI":"10.1305\/ndjfl\/1040248454","article-title":"Levels of truth","volume":"36","author":"Cantini","year":"1995","journal-title":"Notre Dame Journal of Formal Logic"},{"key":"10.1016\/S1874-5857(09)70020-2_bb0320","series-title":"Logical Frameworks for Truth and Abstraction","author":"Cantini","year":"1996"},{"key":"10.1016\/S1874-5857(09)70020-2_bb0325","first-page":"7","article-title":"Proof-theoretic aspects of self-referential truth","volume":"I","author":"Cantini","year":"1997"},{"key":"10.1016\/S1874-5857(09)70020-2_bb0330","doi-asserted-by":"crossref","first-page":"345","DOI":"10.1023\/A:1025159016268","article-title":"The undecidability of Grisin\u2019s set theory","volume":"74","author":"Cantini","year":"2003","journal-title":"Studia Logica"},{"key":"10.1016\/S1874-5857(09)70020-2_bb0335","doi-asserted-by":"crossref","unstructured":"A. Cantini. On a Russellian paradox about propositions and truth. In Link [2004], pages 259\u2013284.","DOI":"10.1515\/9783110199680.259"},{"key":"10.1016\/S1874-5857(09)70020-2_bb0340","series-title":"Gesammelte Abhandlungen mathematischen und philosophischen Inhalts","author":"Cantor","year":"1932-1962"},{"key":"10.1016\/S1874-5857(09)70020-2_bb0345","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-74344-3","article-title":"Briefe","author":"Cantor","year":"1991"},{"key":"10.1016\/S1874-5857(09)70020-2_bb0350","first-page":"91","volume":"2","author":"Carnap","year":"1932","journal-title":"Die logizistiche Grundlegung der Mathematik. Erkenntins"},{"key":"10.1016\/S1874-5857(09)70020-2_bb0355","doi-asserted-by":"crossref","first-page":"263","DOI":"10.1007\/BF01697862","article-title":"Die Antinomien und die Unvollstandigkeit der Mathematik","volume":"41","author":"Carnap","year":"1934","journal-title":"Monatshefte f\u00fcr Mathematik und Physik"},{"key":"10.1016\/S1874-5857(09)70020-2_bb0360","series-title":"Die logische Syntax der Sprache","author":"Carnap","year":"1934"},{"key":"10.1016\/S1874-5857(09)70020-2_bb0365","doi-asserted-by":"crossref","first-page":"26","DOI":"10.1002\/cplx.6130010107","article-title":"The Berry paradox","volume":"1","author":"Chaitin","year":"1995","journal-title":"Complexity"},{"key":"10.1016\/S1874-5857(09)70020-2_bb0370","first-page":"19","article-title":"The axiom of comprehension in infinite-valued logic","volume":"13","author":"Chang","year":"1963","journal-title":"Mathematica Scandinava"},{"key":"10.1016\/S1874-5857(09)70020-2_bb0375","series-title":"Logic, Methodology and Philosophy of Science","first-page":"93","article-title":"Infinite-valued logic as a basis for set theory","author":"Chang","year":"1965"},{"key":"10.1016\/S1874-5857(09)70020-2_bb0380","series-title":"Circularity, Definition and Truth","year":"2000"},{"key":"10.1016\/S1874-5857(09)70020-2_bb0385","doi-asserted-by":"crossref","first-page":"399","DOI":"10.1007\/BF00249666","article-title":"Alternative revision theories of truth","volume":"24","author":"Chapuis","year":"1996","journal-title":"Journal of Philosophical Logic"},{"key":"10.1016\/S1874-5857(09)70020-2_bb0390","doi-asserted-by":"crossref","first-page":"261","DOI":"10.1007\/BF00632905","article-title":"Semantics and property theory","volume":"11","author":"Chierchia and R","year":"1988","journal-title":"Linguistics and Philosophy"},{"key":"10.1016\/S1874-5857(09)70020-2_bb0395","series-title":"Properties, Types and Meaning I","year":"1989"},{"key":"10.1016\/S1874-5857(09)70020-2_bb0400","doi-asserted-by":"crossref","first-page":"346","DOI":"10.2307\/1968337","article-title":"A set of postulates for the foundations of logic (1st paper)","volume":"33","author":"Church","year":"1932","journal-title":"Annals of Mathematics"},{"key":"10.1016\/S1874-5857(09)70020-2_bb0405","doi-asserted-by":"crossref","first-page":"839","DOI":"10.2307\/1968702","article-title":"A set of postulates for the foundations of logic (2nd paper)","volume":"33","author":"Church","year":"1933","journal-title":"Annals of Mathematics"},{"key":"10.1016\/S1874-5857(09)70020-2_bb0410","doi-asserted-by":"crossref","first-page":"356","DOI":"10.1080\/00029890.1934.11987569","article-title":"The Richard\u2019s paradox","volume":"41","author":"Church","year":"1934","journal-title":"American Mathematical Monthly"},{"key":"10.1016\/S1874-5857(09)70020-2_bb0415","series-title":"The Calculi of X-Conversion","author":"Church","year":"1941"},{"key":"10.1016\/S1874-5857(09)70020-2_bb0420","doi-asserted-by":"crossref","first-page":"747","DOI":"10.2307\/2272393","article-title":"Comparison of Russell's resolution of the semantical antinomies","author":"Church","year":"1976","journal-title":"Journal of Symbolic Logic"},{"key":"10.1016\/S1874-5857(09)70020-2_bb0425","first-page":"164","article-title":"Antinomje logiki formalnej","volume":"24","author":"Chwistek","year":"1921","journal-title":"Przeglqd Filozoficzny"},{"key":"10.1016\/S1874-5857(09)70020-2_bb0430","doi-asserted-by":"crossref","first-page":"236","DOI":"10.1007\/BF01215902","article-title":"\u00dcber die Antinomien der Prinzipien der Mathematik","volume":"14","author":"Chwistek","year":"1922","journal-title":"Mathe- mathische Zeitschrift"},{"key":"10.1016\/S1874-5857(09)70020-2_bb0435","doi-asserted-by":"crossref","first-page":"439","DOI":"10.1007\/BF01283849","article-title":"\u00dcber die Hypothesen der Mengenlehre","volume":"25","author":"Chwistek","year":"1926","journal-title":"Mathemathische Zeitschrift"},{"key":"10.1016\/S1874-5857(09)70020-2_bb0440","doi-asserted-by":"crossref","first-page":"704","DOI":"10.1007\/BF01187796","article-title":"Neue Grundlagen der Logik und Mathematik","volume":"30","author":"Chwistek","year":"1929","journal-title":"Mathemathische Zeitschrift"},{"key":"10.1016\/S1874-5857(09)70020-2_bb0445","first-page":"527","article-title":"Neue Grundlagen der Logik und Mathematik","volume":"34","author":"Chwistek","year":"1932","journal-title":"Zweite mitteilung Mathemathische Zeitschrift"},{"key":"10.1016\/S1874-5857(09)70020-2_bb0450","doi-asserted-by":"crossref","first-page":"367","DOI":"10.1007\/BF01886431","article-title":"Die nominalistische Grundlegung der Mathematik","volume":"3","author":"Chwistek","year":"1933","journal-title":"Erkenntnis"},{"key":"10.1016\/S1874-5857(09)70020-2_bb0455","series-title":"The Limits of Science","author":"Chwistek","year":"1948"},{"key":"10.1016\/S1874-5857(09)70020-2_bb0460","series-title":"Logical Investigation of Predication Theory and the Problem of Universals","author":"Cocchiarella","year":"1986"},{"key":"10.1016\/S1874-5857(09)70020-2_bb0465","unstructured":"N. Cocchiarella. Formal theories of predication. In Gabbay and Guenthner [1989], pages 254\u2013326."},{"key":"10.1016\/S1874-5857(09)70020-2_bb0470","doi-asserted-by":"crossref","first-page":"179","DOI":"10.1080\/01445349208837202","article-title":"Cantor's power-set theorem versus Frege's doublecorrelation thesis","volume":"13","author":"Cocchiarella","year":"1992","journal-title":"History and Philosophy of Logic"},{"key":"10.1016\/S1874-5857(09)70020-2_bb0475","doi-asserted-by":"crossref","first-page":"25","DOI":"10.1080\/08066200050217977","article-title":"Russell's paradox of the totality of propositions","volume":"5","author":"Cocchiarella","year":"2000","journal-title":"Nordic Journal of Philosophical Logic"},{"key":"10.1016\/S1874-5857(09)70020-2_bb0480","series-title":"An analysis of Girard's paradox","first-page":"227","author":"Coquand","year":"1986"},{"key":"10.1016\/S1874-5857(09)70020-2_bb0485","series-title":"LMPS'90","first-page":"555","article-title":"A new paradox in type theory","author":"Coquand","year":"1994"},{"key":"10.1016\/S1874-5857(09)70020-2_bb0490","doi-asserted-by":"crossref","first-page":"131","DOI":"10.2307\/2273386","article-title":"On the consistency of an impredicative subsystem of Quine's NF","volume":"47","author":"Crabbe","year":"1982","journal-title":"Journal of Symbolic Logic"},{"key":"10.1016\/S1874-5857(09)70020-2_bb0495","doi-asserted-by":"crossref","first-page":"509","DOI":"10.2307\/2370619","article-title":"Grundlagen der kombinatorischen Logik","volume":"52","author":"Curry","year":"1930","journal-title":"American Journal of Mathematics"},{"key":"10.1016\/S1874-5857(09)70020-2_bb0500","doi-asserted-by":"crossref","first-page":"584","DOI":"10.1073\/pnas.20.11.584","article-title":"Functionality in combinatory logic","volume":"volume 20","author":"Curry","year":"1934","journal-title":"In Proceedings of the National Academy of Sciences of the USA"},{"key":"10.1016\/S1874-5857(09)70020-2_bb0505","doi-asserted-by":"crossref","first-page":"849","DOI":"10.2307\/1968498","article-title":"Some properties of equality and implication in combinatory logic","volume":"35","author":"Curry","year":"1934","journal-title":"Annals of Mathematics"},{"key":"10.1016\/S1874-5857(09)70020-2_bb0510","doi-asserted-by":"crossref","first-page":"454","DOI":"10.1090\/S0002-9947-1941-0005275-6","article-title":"The paradox of Kleene and Rosser","volume":"41","author":"Curry","year":"1941","journal-title":"Transactions of the American Mathematical Society"},{"key":"10.1016\/S1874-5857(09)70020-2_bb0515","doi-asserted-by":"crossref","first-page":"49","DOI":"10.2307\/2266302","article-title":"The combinatory foundations of mathematical logic","volume":"7","author":"Curry","year":"1942","journal-title":"Journal of Symbolic Logic"},{"key":"10.1016\/S1874-5857(09)70020-2_bb0520","doi-asserted-by":"crossref","first-page":"115","DOI":"10.2307\/2269292","article-title":"The inconsistency of certain formal logics","volume":"7","author":"Curry","year":"1942","journal-title":"Journal of Symbolic Logic"},{"key":"10.1016\/S1874-5857(09)70020-2_bb0525","series-title":"Logic in AI","first-page":"170","article-title":"A first-order theory of truth, knowledge and belief","author":"Davies","year":"1991"},{"key":"10.1016\/S1874-5857(09)70020-2_bb0530","doi-asserted-by":"crossref","first-page":"18","DOI":"10.1112\/plms\/s2-4.1.18","article-title":"On well-order aggregates","volume":"4","author":"Dixon","year":"1907","journal-title":"Proceedings of the London Mathematical Society (2nd series)"},{"key":"10.1016\/S1874-5857(09)70020-2_bb0535","series-title":"Perspectives on the History of Mathematical Logic","year":"1991"},{"key":"10.1016\/S1874-5857(09)70020-2_bb0540","doi-asserted-by":"crossref","first-page":"144","DOI":"10.1080\/01445349208837201","article-title":"A theory of truth based on a medieval solution of the liar paradox","volume":"13","author":"Epstein","year":"1992","journal-title":"History and Philosophy of Logic"},{"key":"10.1016\/S1874-5857(09)70020-2_bb0545","doi-asserted-by":"crossref","first-page":"105","DOI":"10.1002\/malq.19990450110","article-title":"On the consistency of a positive theory","volume":"45","author":"Esser","year":"1999","journal-title":"Mathematical Logic Quarterly"},{"key":"10.1016\/S1874-5857(09)70020-2_bb0550","doi-asserted-by":"crossref","first-page":"1","DOI":"10.2307\/2269764","article-title":"Systems of predicative analysis I","volume":"29","author":"Feferman","year":"1964","journal-title":"Journal of Symbolic Logic"},{"key":"10.1016\/S1874-5857(09)70020-2_bb0555","series-title":"Proof Theory Symposium","first-page":"73","article-title":"Non-extensional type free theories of partial operations and classifications I","volume":"500","author":"Feferman","year":"1974"},{"key":"10.1016\/S1874-5857(09)70020-2_bb0560","first-page":"374","article-title":"Some formal systems for the unlimited theory of structures and categories","volume":"39","author":"Feferman","year":"1974","journal-title":"The Journal of Symbolic Logic"},{"key":"10.1016\/S1874-5857(09)70020-2_bb0565","doi-asserted-by":"crossref","first-page":"87","DOI":"10.1007\/BFb0062852","article-title":"A language and axioms for explicit mathematics","volume":"450","author":"Feferman","year":"1975","journal-title":"Springer Lecture Notes in Mathematics"},{"key":"10.1016\/S1874-5857(09)70020-2_bb0570","series-title":"Logic, Foundations of Mathematics and Computability","first-page":"149","article-title":"Categorical foundations and foundations for category theory","author":"Feferman","year":"1977"},{"key":"10.1016\/S1874-5857(09)70020-2_bb0575","series-title":"Logic Colloquium '78","first-page":"159","article-title":"Constructive theories of functions and classes","author":"Feferman","year":"1979"},{"key":"10.1016\/S1874-5857(09)70020-2_bb0580","series-title":"Patras Logic Symposion","first-page":"171","article-title":"Iterated inductive fixed point theories: application to Hancock's conjecture","author":"Feferman","year":"1982"},{"key":"10.1016\/S1874-5857(09)70020-2_bb0585","doi-asserted-by":"crossref","first-page":"75","DOI":"10.2307\/2274093","article-title":"Towards useful type-free theories I","volume":"49","author":"Feferman","year":"1984","journal-title":"Journal of Symbolic Logic"},{"key":"10.1016\/S1874-5857(09)70020-2_bb0590","doi-asserted-by":"crossref","first-page":"1","DOI":"10.2307\/2274902","article-title":"Reflecting on incompleteness","volume":"56","author":"Feferman","year":"1991","journal-title":"Journal of Symbolic Logic"},{"key":"10.1016\/S1874-5857(09)70020-2_bb0595","series-title":"The Oxford Handbook of Philosophy of Mathematics and Logic","first-page":"590","article-title":"Predicativity","author":"Feferman","year":"2005"},{"key":"10.1016\/S1874-5857(09)70020-2_bb0600","first-page":"64","article-title":"On the consistency of the axiom of comprehension in the Lukasiewicz infinite-valued logic","volume":"14","author":"Fenstad","year":"1964","journal-title":"Mathematica Scandinava"},{"key":"10.1016\/S1874-5857(09)70020-2_bb0605","first-page":"649","author":"Fenstad","year":"1997","journal-title":"Partiality"},{"issue":"2002","key":"10.1016\/S1874-5857(09)70020-2_bb0610","doi-asserted-by":"crossref","first-page":"301","DOI":"10.1023\/A:1019919403797","article-title":"On the consistency of the \u039411\u2212 fragment of Frege's Grundgesetze","volume":"31","author":"Ferreira","year":"2002","journal-title":"Journal of Philosophical Logic"},{"key":"10.1016\/S1874-5857(09)70020-2_bb0615","doi-asserted-by":"crossref","first-page":"139","DOI":"10.1023\/A:1023027808400","article-title":"A revenge-immune solution to the semantic paradoxes","volume":"32","author":"Field","year":"2003","journal-title":"Journal of Philosophical Logic"},{"key":"10.1016\/S1874-5857(09)70020-2_bb0620","first-page":"143","article-title":"Gibt es Widerspr\u00fcche in der Mathematik?","volume":"34","author":"Finsler","year":"1925","journal-title":"Jahresbericht der Deutschen Mathematiker-Vereinigung"},{"key":"10.1016\/S1874-5857(09)70020-2_bb0625","doi-asserted-by":"crossref","first-page":"676","DOI":"10.1007\/BF01283861","article-title":"Formale Beweise und die Unentscheidbarkeit","volume":"25","author":"Finsler","year":"1926","journal-title":"Mathematische Zeitschrift"},{"key":"10.1016\/S1874-5857(09)70020-2_bb0630","doi-asserted-by":"crossref","first-page":"683","DOI":"10.1007\/BF01283862","article-title":"Uber die Grundlagen der Mengenlehre","volume":"25","author":"Finsler","year":"1926","journal-title":"Mathematische Zeitschrift"},{"key":"10.1016\/S1874-5857(09)70020-2_bb0635","doi-asserted-by":"crossref","first-page":"92","DOI":"10.2307\/2269029","article-title":"A system of formal logic without an analogue to Curry W-operator","volume":"1","author":"Fitch","year":"1936","journal-title":"Journal of Symbolic Logic"},{"key":"10.1016\/S1874-5857(09)70020-2_bb0640","doi-asserted-by":"crossref","first-page":"105","DOI":"10.2307\/2269291","article-title":"A basic logic","volume":"7","author":"Fitch","year":"1942","journal-title":"Journal of Symbolic Logic"},{"key":"10.1016\/S1874-5857(09)70020-2_bb0645","doi-asserted-by":"crossref","first-page":"57","DOI":"10.2307\/2267881","article-title":"Representations of calculi","volume":"9","author":"Fitch","year":"1944","journal-title":"Journal of Symbolic Logic"},{"key":"10.1016\/S1874-5857(09)70020-2_bb0650","doi-asserted-by":"crossref","first-page":"64","DOI":"10.1093\/mind\/LV.219.64","article-title":"Self-reference in philosophy","volume":"55","author":"Fitch","year":"1946","journal-title":"Mind"},{"key":"10.1016\/S1874-5857(09)70020-2_bb0655","doi-asserted-by":"crossref","first-page":"95","DOI":"10.2307\/2267330","article-title":"An extension of basic logic","volume":"13","author":"Fitch","year":"1948","journal-title":"Journal of Symbolic Logic"},{"key":"10.1016\/S1874-5857(09)70020-2_bb0660","doi-asserted-by":"crossref","first-page":"9","DOI":"10.2307\/2268972","article-title":"The Heine-Borel theorem in extended basic logic","volume":"13","author":"Fitch","year":"1949","journal-title":"Journal of Symbolic Logic"},{"key":"10.1016\/S1874-5857(09)70020-2_bb0665","series-title":"Symbolic Logic","author":"Fitch","year":"1952"},{"key":"10.1016\/S1874-5857(09)70020-2_bb0670","doi-asserted-by":"crossref","DOI":"10.2307\/2267647","article-title":"A definition of negation in extended basic logic","volume":"19","author":"Fitch","year":"1954","journal-title":"Journal of Symbolic Logic"},{"key":"10.1016\/S1874-5857(09)70020-2_bb0675","first-page":"317","article-title":"A simplification of basic logic","volume":"19","author":"Fitch","year":"1954","journal-title":"Journal of Symbolic Logic"},{"key":"10.1016\/S1874-5857(09)70020-2_bb0680","series-title":"Constructivity in Mathematics","article-title":"Quasi-constructive foundations for mathematics","author":"Fitch","year":"1958"},{"key":"10.1016\/S1874-5857(09)70020-2_bb0685","doi-asserted-by":"crossref","first-page":"87","DOI":"10.2307\/2271340","article-title":"The system C\u2206 of combinatory logic","volume":"28","author":"Fitch","year":"1963","journal-title":"Journal of Symbolic Logic"},{"key":"10.1016\/S1874-5857(09)70020-2_bb0690","first-page":"396","article-title":"Universal metalanguages in philosophy","volume":"17","author":"Fitch","year":"1964","journal-title":"Review of Metaphysics"},{"key":"10.1016\/S1874-5857(09)70020-2_bb0695","doi-asserted-by":"crossref","first-page":"93","DOI":"10.2307\/2271248","article-title":"A complete and consistent modal set theory","volume":"32","author":"Fitch","year":"1967","journal-title":"Journal of Symbolic Logic"},{"key":"10.1016\/S1874-5857(09)70020-2_bb0700","doi-asserted-by":"crossref","first-page":"104","DOI":"10.5840\/monist196751116","article-title":"A theory of logical essences","volume":"51","author":"Fitch","year":"1967","journal-title":"The Monist"},{"key":"10.1016\/S1874-5857(09)70020-2_bb0705","doi-asserted-by":"crossref","first-page":"529","DOI":"10.2307\/2273420","article-title":"A consistent combinatory logic with an inverse to equality","volume":"45","author":"Fitch","year":"1980","journal-title":"Journal of Symbolic Logic"},{"key":"10.1016\/S1874-5857(09)70020-2_bb0710","doi-asserted-by":"crossref","first-page":"75","DOI":"10.1305\/ndjfl\/1093636525","article-title":"Notes on the mathematical aspects of Kripke's theory of truth","volume":"27","author":"Fitting","year":"1986","journal-title":"Notre Dame Journal of Formal Logic"},{"key":"10.1016\/S1874-5857(09)70020-2_bb0715","doi-asserted-by":"crossref","first-page":"225","DOI":"10.1007\/BF00274066","article-title":"Bilattices and the theory of truth","volume":"18","author":"Fitting","year":"1989","journal-title":"Journal of Philosophical Logic"},{"key":"10.1016\/S1874-5857(09)70020-2_bb0720","doi-asserted-by":"crossref","first-page":"197","DOI":"10.1016\/0743-1066(93)90031-B","article-title":"The family of stable models","volume":"17","author":"Fitting","year":"1993","journal-title":"Journal of Logic Programming"},{"key":"10.1016\/S1874-5857(09)70020-2_bb0725","doi-asserted-by":"crossref","first-page":"477","DOI":"10.1023\/A:1004217812355","article-title":"A theory of truth that prefers falsehood","volume":"26","author":"Fitting","year":"1997","journal-title":"Journal of Philosophical Logic"},{"key":"10.1016\/S1874-5857(09)70020-2_bb0730","doi-asserted-by":"crossref","first-page":"25","DOI":"10.1016\/S0304-3975(00)00330-3","article-title":"Fixpoint semantics for logic programming: a survey","volume":"278","author":"Fitting","year":"2002","journal-title":"Theoretical Computer Science"},{"key":"10.1016\/S1874-5857(09)70020-2_bb0735","first-page":"197","article-title":"An extension of Frege structures","volume":"106","author":"Flagg","year":"1987"},{"key":"10.1016\/S1874-5857(09)70020-2_bb0740","doi-asserted-by":"crossref","first-page":"33","DOI":"10.1016\/0168-0072(87)90040-6","article-title":"Implications and analysis in classical Frege structures","volume":"34","author":"Flagg","year":"1987","journal-title":"Annals of Pure and Applied Logic"},{"key":"10.1016\/S1874-5857(09)70020-2_bb0745","doi-asserted-by":"crossref","first-page":"79","DOI":"10.1016\/0168-0072(89)90026-2","article-title":"A type-free system extending (ZFC)","volume":"43","author":"Flagg","year":"1989","journal-title":"Annals of Pure and Applied Logic"},{"key":"10.1016\/S1874-5857(09)70020-2_bb0750","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/0168-0072(87)90008-X","article-title":"\u03ba-continuos lattices and comprehension principles for Frege structures","volume":"36","author":"Flagg","year":"1987","journal-title":"Annals of Pure and Applied Logic"},{"key":"10.1016\/S1874-5857(09)70020-2_bb0755","series-title":"Set Theory with a Universal Set","author":"Forster","year":"1995"},{"key":"10.1016\/S1874-5857(09)70020-2_bb0760","doi-asserted-by":"crossref","first-page":"1401","DOI":"10.1017\/S0022481200041165","article-title":"The consistency problem for positive comprehension principles","volume":"54","author":"Forti","year":"1989","journal-title":"Journal of Symbolic Logic"},{"key":"10.1016\/S1874-5857(09)70020-2_bb0765","first-page":"493","article-title":"Set theory with free construction principles","volume":"10","author":"Forti","year":"1983","journal-title":"Annali della Scuola Normale Superiore di Pisa, Classedi Scienze, Serie IV"},{"key":"10.1016\/S1874-5857(09)70020-2_bb0770","doi-asserted-by":"crossref","first-page":"35","DOI":"10.1016\/0168-0072(95)00009-7","article-title":"Choice principles in hyperuniverses","volume":"77","author":"Forti","year":"1996","journal-title":"Annals of Pure and Applied Logic"},{"key":"10.1016\/S1874-5857(09)70020-2_bb0775","doi-asserted-by":"crossref","first-page":"203","DOI":"10.1016\/0304-3975(95)00087-9","article-title":"A general construction of hyperuniverses","volume":"156","author":"Forti","year":"1996","journal-title":"Theoretical Computer Science"},{"key":"10.1016\/S1874-5857(09)70020-2_bb0780","series-title":"Grundgesetze der Arithmetik I, II","author":"Frege","year":"1962"},{"key":"10.1016\/S1874-5857(09)70020-2_bb0785","series-title":"Wissenschaftslicher Briefswechsel","author":"Frege","year":"1976"},{"key":"10.1016\/S1874-5857(09)70020-2_bb0790","series-title":"Nachgelassene Schriften","author":"Frege","year":"1984"},{"key":"10.1016\/S1874-5857(09)70020-2_bb0795","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/0168-0072(87)90073-X","article-title":"An axiomatic approach to self-referential truth","volume":"33","author":"Friedman","year":"1987","journal-title":"Annals of Pure and Applied Logic"},{"key":"10.1016\/S1874-5857(09)70020-2_bb0800","first-page":"1","article-title":"The disjunction and existence properties for axiomatic systems of truth","volume":"56","author":"Friedman","year":"1991","journal-title":"Annals of Pure and Applied Logic"},{"key":"10.1016\/S1874-5857(09)70020-2_bb0805","year":"1988"},{"key":"10.1016\/S1874-5857(09)70020-2_bb0810","series-title":"TARK'88","first-page":"43","article-title":"Pointers semantics: solution to self-referential puzzles I","author":"Gaifman","year":"1988"},{"key":"10.1016\/S1874-5857(09)70020-2_bb0815","doi-asserted-by":"crossref","first-page":"223","DOI":"10.2307\/2027167","article-title":"Pointers to truth","volume":"89","author":"Gaifman","year":"1992","journal-title":"Journal of Philosophy"},{"key":"10.1016\/S1874-5857(09)70020-2_bb0820","doi-asserted-by":"crossref","first-page":"117","DOI":"10.1016\/S0168-0072(98)00035-9","article-title":"Self-reference and the acyclicity of rational choice","volume":"96","author":"Gaifman","year":"1999","journal-title":"Annals of Pure and Applied Logic"},{"key":"10.1016\/S1874-5857(09)70020-2_bb0825","series-title":"Logic and Set Theory in 20th century Switzerland","year":"1975"},{"key":"10.1016\/S1874-5857(09)70020-2_bb0830","doi-asserted-by":"crossref","first-page":"71","DOI":"10.1093\/analys\/15.3.71","article-title":"On insolubilia","volume":"15","author":"Geach","year":"1955","journal-title":"Analysis"},{"key":"10.1016\/S1874-5857(09)70020-2_bb0835","series-title":"Axiomatic set theory II","first-page":"147","article-title":"The consistency of partial set theory without extensionality","author":"Gilmore","year":"1974"},{"key":"10.1016\/S1874-5857(09)70020-2_bb0840","unstructured":"P.C. Gilmore. Combining unrestricted abstraction with universal quantification. In Hindley and Seldin [1980], pages 99-123"},{"key":"10.1016\/S1874-5857(09)70020-2_bb0845","doi-asserted-by":"crossref","first-page":"393","DOI":"10.1017\/S0022481200031261","article-title":"Natural deduction based set theories: a new resolution of the old paradoxes","volume":"51","author":"Gilmore","year":"1986","journal-title":"Journal of Symbolic Logic"},{"key":"10.1016\/S1874-5857(09)70020-2_bb0850","doi-asserted-by":"crossref","first-page":"383","DOI":"10.2307\/2694928","article-title":"An intensional type theory: Motivation and cut- elimination","volume":"66","author":"Gilmore","year":"2001","journal-title":"Journal of Symbolic Logic"},{"key":"10.1016\/S1874-5857(09)70020-2_bb0855","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/0304-3975(87)90045-4","article-title":"Linear logic","volume":"50","author":"Girard","year":"1987","journal-title":"Theoretical Computer Science"},{"key":"10.1016\/S1874-5857(09)70020-2_bb0860","series-title":"Proof Theory and Logical Complexity","author":"Girard","year":"1987"},{"key":"10.1016\/S1874-5857(09)70020-2_bb0865","doi-asserted-by":"crossref","first-page":"175","DOI":"10.1006\/inco.1998.2700","article-title":"Light linear logic","volume":"143","author":"Girard","year":"1998","journal-title":"Information and Computation"},{"key":"10.1016\/S1874-5857(09)70020-2_bb0870","doi-asserted-by":"crossref","first-page":"173","DOI":"10.1007\/BF01700692","article-title":"G\u00f6ber formal unentscheidbare S\u00e4tze der Principia Mathematica und verwandter Systeme I","volume":"38","author":"Godel","year":"1931","journal-title":"Monatshefte f\u00fcr Mathematik und Physik"},{"key":"10.1016\/S1874-5857(09)70020-2_bb0875","article-title":"Russell's mathematical logic","volume":"III","author":"Godel","year":"1944"},{"key":"10.1016\/S1874-5857(09)70020-2_bb0880","doi-asserted-by":"crossref","first-page":"127","DOI":"10.1016\/0315-0860(78)90046-0","article-title":"How Bertrand Russell discovered his paradox","volume":"5","author":"Grattan-Guinness","year":"1978","journal-title":"Historia Mathematica"},{"key":"10.1016\/S1874-5857(09)70020-2_bb0885","unstructured":"K. Grelling and L. Nelson Bemerkungen zu den Paradoxien von Russell und Burali-Forti. Abhandlungen der Fries'chen Schule 2:301\u2014334, 1908. (also in: L. Nelson, Ges.Werke)"},{"key":"10.1016\/S1874-5857(09)70020-2_bb0890","doi-asserted-by":"crossref","unstructured":"N. Griffin The Prehistory of Russell's Paradox. In Link [2004], pages 349-371","DOI":"10.1515\/9783110199680.349"},{"key":"10.1016\/S1874-5857(09)70020-2_bb0895","series-title":"Studies in formalized languages and non classical logics","first-page":"135","article-title":"A non standard logic and its application to set theory (in Russian)","author":"Gri\u0161in","year":"1974"},{"issue":"1","key":"10.1016\/S1874-5857(09)70020-2_bb0900","first-page":"47","article-title":"Predicate and set theoretic calculi based on logic without contraction rules (Russian)","volume":"45","author":"Gri\u0161in","year":"1981","journal-title":"Izvestiya Akademii Nauk SSSR Seriya Matematicheskaya"},{"key":"10.1016\/S1874-5857(09)70020-2_bb0905","doi-asserted-by":"crossref","first-page":"137","DOI":"10.1016\/S0304-3975(96)00302-7","article-title":"A \u03ba-denotational semantics for map theory in ZFC+SI","volume":"179","author":"Grue","year":"1997","journal-title":"Theoretical Computer Science"},{"key":"10.1016\/S1874-5857(09)70020-2_bb0910","series-title":"The Revision Theory of Truth","author":"Gupta","year":"1993"},{"key":"10.1016\/S1874-5857(09)70020-2_bb0915","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1007\/BF00302338","article-title":"Truth and paradox","volume":"11","author":"Gupta","year":"1982","journal-title":"Journal of Philosophical Logic"},{"key":"10.1016\/S1874-5857(09)70020-2_bb0920","doi-asserted-by":"crossref","first-page":"339","DOI":"10.2307\/2586541","article-title":"The liar paradox and fuzzy logic","volume":"65","author":"H\u00e1jek","year":"2000","journal-title":"Journal of Symbolic Logic"},{"key":"10.1016\/S1874-5857(09)70020-2_bb0925","doi-asserted-by":"crossref","first-page":"179","DOI":"10.1023\/A:1023080715357","article-title":"Possible world semantics for modal notions conceived as predicates","volume":"32","author":"Halbach","year":"2003","journal-title":"Journal of Philosophical Logic"},{"key":"10.1016\/S1874-5857(09)70020-2_bb0930","doi-asserted-by":"crossref","first-page":"311","DOI":"10.1305\/ndjfl\/1040511340","article-title":"A system of complete and consistent truth","volume":"35","author":"Halbach","year":"1994","journal-title":"Notre Dame Journal of Formal Logic"},{"key":"10.1016\/S1874-5857(09)70020-2_bb0935","series-title":"Axiomatische Wahrheitstheorien","author":"Halbach","year":"1996"},{"key":"10.1016\/S1874-5857(09)70020-2_bb0940","doi-asserted-by":"crossref","first-page":"353","DOI":"10.1023\/A:1005148426909","article-title":"Conservative theories of truth","volume":"62","author":"Halbach","year":"1999","journal-title":"Studia Logica"},{"key":"10.1016\/S1874-5857(09)70020-2_bb0945","series-title":"The Logic of Nonsense","author":"Halld\u00e9n","year":"1949"},{"key":"10.1016\/S1874-5857(09)70020-2_bb0950","doi-asserted-by":"crossref","unstructured":"F. Hamm M. van Lambalgen Event calculus, nominalisation, and the progressive. preprint, 1-77, 2001","DOI":"10.21248\/zaspil.27.2002.147"},{"key":"10.1016\/S1874-5857(09)70020-2_bb0955","series-title":"PX: a computational logic","author":"Hayashi","year":"1988"},{"key":"10.1016\/S1874-5857(09)70020-2_bb0960","doi-asserted-by":"crossref","first-page":"209","DOI":"10.1080\/01445349608837265","article-title":"The consistency of predicative fragments in Frege's Grundgesetze der Arithmetik","volume":"17","author":"Heck","year":"1996","journal-title":"History and Philosophy of Logic"},{"key":"10.1016\/S1874-5857(09)70020-2_bb0965","doi-asserted-by":"crossref","first-page":"145","DOI":"10.2307\/2023885","article-title":"Paradoxes of grounding in semantics","volume":"17","author":"Herzberger","year":"1970","journal-title":"Journal of Philosophy"},{"key":"10.1016\/S1874-5857(09)70020-2_bb0970","doi-asserted-by":"crossref","first-page":"479","DOI":"10.2307\/2026380","article-title":"Naive semantics and the liar paradox","volume":"79","author":"Herzberger","year":"1982","journal-title":"The Journal of Philosophy"},{"key":"10.1016\/S1874-5857(09)70020-2_bb0975","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1007\/BF00302339","article-title":"Notes on naive semantics","volume":"11","author":"Herzberger","year":"1982","journal-title":"Journal of Philosophical Logic"},{"key":"10.1016\/S1874-5857(09)70020-2_bb0980","series-title":"Grundbegriffe der Mengenlehere","author":"Hessenberg","year":"1906"},{"key":"10.1016\/S1874-5857(09)70020-2_bb0985","series-title":"Grundzuge der theoretischen Logik","author":"Hilbert","year":"1928"},{"key":"10.1016\/S1874-5857(09)70020-2_bb0990","series-title":"Die Grundlagen der Mathematik I,II","author":"Hilbert","year":"1939"},{"key":"10.1016\/S1874-5857(09)70020-2_bb0995","series-title":"Verhandlungen des Dritten Internationalen-Mathematiker Kongresses","first-page":"174","article-title":"\u00dcber die Grundlagen der Logik und der Arithmetik","author":"Hilbert","year":"1905"},{"key":"10.1016\/S1874-5857(09)70020-2_bb1000","doi-asserted-by":"crossref","first-page":"405","DOI":"10.1007\/BF01457115","article-title":"Axiomatisches Denken","volume":"78","author":"Hilbert","year":"1918","journal-title":"Mathematische Annalen"},{"key":"10.1016\/S1874-5857(09)70020-2_bb1005","unstructured":"D. Hilbert Prinzipien der Mathematik. Vorlesung von D. Hilbert, Mathematisches Institut der Georg-August Universitat G\u00f6ttingen., 1918"},{"key":"10.1016\/S1874-5857(09)70020-2_bb1010","series-title":"To H. B. Curry: Essays on Combinatory Logic, Lambda Calculus and Formalism","year":"1980"},{"key":"10.1016\/S1874-5857(09)70020-2_bb1015","first-page":"828","article-title":"Positiveabstractionandextensionality","volume":"68","author":"Hinnion","year":"2003","journal-title":"JournalofSymbolicLogic"},{"key":"10.1016\/S1874-5857(09)70020-2_bb1020","doi-asserted-by":"crossref","first-page":"15","DOI":"10.1305\/ndjfl\/1040609292","article-title":"Naive set theory with extensionality in partial logic and in paradoxical logic","volume":"35","author":"Hinnion","year":"1994","journal-title":"Notre Dame Journal of Formal Logic"},{"key":"10.1016\/S1874-5857(09)70020-2_bb1025","first-page":"3","article-title":"Definire la verita, tutta la verita, nient\u00e0altro che la verita","volume":"86","author":"Hintikka","year":"1995","journal-title":"Rivista di Filosofia"},{"key":"10.1016\/S1874-5857(09)70020-2_bb1030","year":"1995"},{"key":"10.1016\/S1874-5857(09)70020-2_bb1035","doi-asserted-by":"crossref","first-page":"303","DOI":"10.2307\/421033","article-title":"Truth definitions Skolem functions andaxiomatic set theory","volume":"4","author":"Hintikka","year":"1998","journal-title":"The Bulletin of Symbolic Logic"},{"key":"10.1016\/S1874-5857(09)70020-2_bb1040","first-page":"21","article-title":"On the arithmetic continuum","volume":"4","author":"Hobson","year":"1905","journal-title":"Proceedings of the London Mathaematical Society"},{"key":"10.1016\/S1874-5857(09)70020-2_bb1045","article-title":"Elementary Set Theory with a Universal Set","volume":"10","author":"Holmes","year":"1998"},{"key":"10.1016\/S1874-5857(09)70020-2_bb1050","series-title":"The formulas as types notion of construction","first-page":"480","author":"Howard","year":"1980"},{"key":"10.1016\/S1874-5857(09)70020-2_bb1055","series-title":"Aufs\u00e4tze und Rezensionen (1890-1910)","author":"Husserl","year":"1979"},{"key":"10.1016\/S1874-5857(09)70020-2_bb1060","doi-asserted-by":"crossref","first-page":"399","DOI":"10.1007\/BF00262943","article-title":"The inconsistency of higher order extensions of Martin-L\u00fcof's type theory","volume":"18","author":"Jacobs","year":"1989","journal-title":"Journal of Philosophical Logic"},{"key":"10.1016\/S1874-5857(09)70020-2_bb1065","article-title":"A proof theoretic framework for logic programming","author":"J\u00e4ger","year":"1995"},{"key":"10.1016\/S1874-5857(09)70020-2_bb1070","doi-asserted-by":"crossref","first-page":"53","DOI":"10.2307\/2586750","article-title":"The proof-theoretic analysis of transfinitely iterated fixed point theories","volume":"64","author":"J\u00e4ger","year":"1999","journal-title":"Journal of Symbolic Logic"},{"key":"10.1016\/S1874-5857(09)70020-2_bb1075","doi-asserted-by":"crossref","first-page":"141","DOI":"10.1016\/S0168-0072(00)00057-9","article-title":"Universes in explicit mathematics","volume":"109","author":"J\u00e4ger","year":"2001","journal-title":"Annals of Pure and Applied Logic"},{"key":"10.1016\/S1874-5857(09)70020-2_bb1080","series-title":"Proceedings CSL\u201987","first-page":"118","article-title":"Induction in the elementary theory of types and names","volume":"329","author":"J\u00e4ger","year":"1987"},{"key":"10.1016\/S1874-5857(09)70020-2_bb1085","doi-asserted-by":"crossref","first-page":"1142","DOI":"10.2307\/2275630","article-title":"Power types in explicit mathematics","volume":"62","author":"J\u00e4ger","year":"1997","journal-title":"Journal of Symbolic Logic"},{"key":"10.1016\/S1874-5857(09)70020-2_bb1090","series-title":"Studies in Logic and the Foundations of Mathematics","article-title":"The Axiom of Choice","author":"Jech","year":"1973"},{"key":"10.1016\/S1874-5857(09)70020-2_bb1095","series-title":"Words and Objections: Essays on the work of W.V.O.Quine","first-page":"278","article-title":"On the consistency of a slight (?) modification of Quine's New Foundations","author":"Jensen","year":"1969"},{"key":"10.1016\/S1874-5857(09)70020-2_bb1100","first-page":"1","article-title":"Universes over Frege Structures","author":"Kahle","year":"2002","journal-title":"Annals of Pure and Applied Logic"},{"key":"10.1016\/S1874-5857(09)70020-2_bb1105","first-page":"1","author":"Kahle","year":"2004","journal-title":"David Hilbert \u00fcber Paradoxien"},{"key":"10.1016\/S1874-5857(09)70020-2_bb1110","doi-asserted-by":"crossref","first-page":"579","DOI":"10.1093\/logcom\/2.5.579","article-title":"Set theory and nominalisation I","volume":"2","author":"Kammeradine","year":"1992","journal-title":"Journal of Logic and Computation"},{"key":"10.1016\/S1874-5857(09)70020-2_bb1115","doi-asserted-by":"crossref","first-page":"687","DOI":"10.1093\/logcom\/2.6.687","article-title":"Set theory and nominalisation II","volume":"2","author":"Kammeradine","year":"1992","journal-title":"Journal of Logic and Computation"},{"issue":"4","key":"10.1016\/S1874-5857(09)70020-2_bb1120","doi-asserted-by":"crossref","first-page":"487","DOI":"10.2178\/bsl\/1102083759","article-title":"Zermelo and set theory","volume":"10","author":"Kanamori","year":"2004","journal-title":"The Bulletin of Symbolic Logic"},{"key":"10.1016\/S1874-5857(09)70020-2_bb1125","doi-asserted-by":"crossref","first-page":"79","DOI":"10.1305\/ndjfl\/1093956549","article-title":".A paradox regained","volume":"1","author":"Kaplan","year":"1960","journal-title":"Notre Dame Journal of Formal Logic"},{"key":"10.1016\/S1874-5857(09)70020-2_bb1130","series-title":"Models of Peano Arithmetic","author":"Kaye","year":"1991"},{"key":"10.1016\/S1874-5857(09)70020-2_bb1135","doi-asserted-by":"crossref","first-page":"403","DOI":"10.1305\/ndjfl\/1040511346","article-title":"On formalization of model-theoretic proofs of G\u00f6del's theorems","volume":"35","author":"Kikuchi","year":"1994","journal-title":"Notre Dame Journal of Formal Logic"},{"key":"10.1016\/S1874-5857(09)70020-2_bb1140","doi-asserted-by":"crossref","first-page":"528","DOI":"10.1002\/malq.19940400409","article-title":"A note on Boolos' proof of the incompleteness theorem","volume":"40","author":"Kikuchi","year":"1994","journal-title":"Mathematical Logic Quarterly"},{"key":"10.1016\/S1874-5857(09)70020-2_bb1145","doi-asserted-by":"crossref","first-page":"437","DOI":"10.1007\/s001530050074","article-title":"Kolmogorov complexity and the second incompleteness theorem","volume":"36","author":"Kikuchi","year":"1997","journal-title":"Archive for Mathematical Logic"},{"key":"10.1016\/S1874-5857(09)70020-2_bb1150","series-title":"Formal Semantics and Pragmatics for Natural Languages","first-page":"359","article-title":"The introduction of truth predicates into first order languages","author":"Kindt","year":"1978"},{"key":"10.1016\/S1874-5857(09)70020-2_bb1155","first-page":"205","article-title":"\u00dcber Sprachen mit Wahreitspr\u00fcdikat","author":"Kindt","year":"1978"},{"key":"10.1016\/S1874-5857(09)70020-2_bb1160","doi-asserted-by":"crossref","first-page":"630","DOI":"10.2307\/1968646","article-title":"The inconsistency of certain formal logics","volume":"36","author":"Kleene","year":"1935","journal-title":"Annals of Mathematics"},{"key":"10.1016\/S1874-5857(09)70020-2_bb1165","doi-asserted-by":"crossref","first-page":"529","DOI":"10.2307\/1968749","article-title":"Proofs by cases in formal logic","volume":"35","author":"Kleene","year":"1934","journal-title":"Annals of Mathematics"},{"key":"10.1016\/S1874-5857(09)70020-2_bb1170","doi-asserted-by":"crossref","first-page":"153","DOI":"10.2307\/2372027","article-title":"A theory of positive integers in formal logic","volume":"57","author":"Kleene","year":"1935","journal-title":"American Journal of Mathematics"},{"key":"10.1016\/S1874-5857(09)70020-2_bb1175","series-title":"Introduction to Mathematics","author":"Kleene","year":"1952"},{"key":"10.1016\/S1874-5857(09)70020-2_bb1180","doi-asserted-by":"crossref","first-page":"405","DOI":"10.2307\/2372632","article-title":"On the forms of predicates in the theory of constructive ordinals (2nd paper)","volume":"66","author":"Kleene","year":"1955","journal-title":"American Journal of Mathematics"},{"key":"10.1016\/S1874-5857(09)70020-2_bb1185","first-page":"585","article-title":"Illative logic based on BCK-logic","volume":"34","author":"Komori","year":"1989","journal-title":"Mathematica Japanica"},{"key":"10.1016\/S1874-5857(09)70020-2_bb1190","first-page":"156","volume":"61","author":"K\u00f6nig","year":"1905","journal-title":"\u00dcber die Grundlagen der Mengenlehre und das Kontinuumsproblem. Mathematische Annalen"},{"key":"10.1016\/S1874-5857(09)70020-2_bb1195","first-page":"177","volume":"14","author":"Konig","year":"1905","journal-title":"Zum Kontinuum-Problem. Jahresbericht der Deutschen Mathematiker-Vereinigung"},{"key":"10.1016\/S1874-5857(09)70020-2_bb1200","first-page":"217","volume":"63","author":"K\u00f6nig","year":"1906","journal-title":"\u00dcber die Grundlagen der Mengenlehre und das Kontinuumsproblem. Zweite Mitteilung. Mathematische Annalen"},{"key":"10.1016\/S1874-5857(09)70020-2_bb1205","author":"Koons","year":"1992"},{"key":"10.1016\/S1874-5857(09)70020-2_bb1210","doi-asserted-by":"crossref","first-page":"125","DOI":"10.1016\/j.apal.2003.10.012","article-title":"The incompleteness theorems after 70 years","volume":"126","author":"Kotlarski","year":"2004","journal-title":"Annals of Pure and Applied Logic"},{"key":"10.1016\/S1874-5857(09)70020-2_bb1215","doi-asserted-by":"crossref","first-page":"199","DOI":"10.1016\/0168-0072(90)90035-Z","article-title":"Inductive satisfaction classes","volume":"47","author":"Kotlarski","year":"1990","journal-title":"Annals of Pure and Applied Logic"},{"issue":"3","key":"10.1016\/S1874-5857(09)70020-2_bb1220","doi-asserted-by":"crossref","first-page":"283","DOI":"10.4153\/CMB-1981-045-3","article-title":"Construction of satisfaction classes for non-standard models","volume":"24","author":"Kotlarski","year":"1981","journal-title":"Canadian Mathematical Bulletin"},{"key":"10.1016\/S1874-5857(09)70020-2_bb1225","doi-asserted-by":"crossref","first-page":"573","DOI":"10.1305\/ndjfl\/1093635929","article-title":"Full satisfaction classes: a survey","volume":"32","author":"Kotlarski","year":"1991","journal-title":"Notre Dame Journal of Formal Logic"},{"key":"10.1016\/S1874-5857(09)70020-2_bb1230","doi-asserted-by":"crossref","first-page":"461","DOI":"10.1002\/malq.19870330511","article-title":"A possible modal formulation of comprehension scheme","volume":"33","author":"Kraj\u010dek","year":"1987","journal-title":"Zeitschrift fUur Mathematische ogik und Grundlagen der Mathematik"},{"key":"10.1016\/S1874-5857(09)70020-2_bb1235","first-page":"123","article-title":"Some results and problems in the modal set theory MST","volume":"33","author":"Kraj\u010dek","year":"1987","journal-title":"Zeitschrift fUur Mathematische Logik und Grundlagen der Mathematik"},{"key":"10.1016\/S1874-5857(09)70020-2_bb1240","doi-asserted-by":"crossref","first-page":"371","DOI":"10.24033\/bsmf.1554","article-title":"La pr\u00e9dicativit\u00e9","volume":"88","author":"Kreisel","year":"1960","journal-title":"Bulletin de la Societ\u00e9 Math\u00e9matique de France"},{"key":"10.1016\/S1874-5857(09)70020-2_bb1245","first-page":"583","article-title":"The Gupta-Belnap systems S# and S* are not axiomatizable","volume":"34","author":"Kremer","year":"1993","journal-title":"Journal of Philosophical Logic"},{"key":"10.1016\/S1874-5857(09)70020-2_bb1250","doi-asserted-by":"crossref","first-page":"690","DOI":"10.2307\/2024634","article-title":"Outline of a theory of truth","volume":"72","author":"Kripke","year":"1975","journal-title":"Journal of Philosophy"},{"key":"10.1016\/S1874-5857(09)70020-2_bb1255","series-title":"Th\u00e9orie Axiomatique des Ensembles","author":"Krivine","year":"1972"},{"key":"10.1016\/S1874-5857(09)70020-2_bb1260","doi-asserted-by":"crossref","first-page":"231","DOI":"10.1016\/0743-1066(87)90007-0","article-title":"Negation in logic programming","volume":"4","author":"Kunen","year":"1987","journal-title":"Journal of Logic Programming"},{"key":"10.1016\/S1874-5857(09)70020-2_bb1265","doi-asserted-by":"crossref","first-page":"240","DOI":"10.4064\/fm-17-1-240-248","article-title":"Les op\u00e9rations logiques et les ensembles projectifs","volume":"17","author":"Kuratowski","year":"1931","journal-title":"Fundamenta Mathematicae"},{"issue":"3","key":"10.1016\/S1874-5857(09)70020-2_bb1270","doi-asserted-by":"crossref","first-page":"295","DOI":"10.4153\/CMB-1981-046-0","article-title":"Full satisfaction classes and recursive saturation","volume":"24","author":"Lachlan","year":"1981","journal-title":"Canadian Mathematical Bulletin"},{"key":"10.1016\/S1874-5857(09)70020-2_bb1275","series-title":"Introduction to Higher Order Categorical Logic","author":"Lambek","year":"1986"},{"key":"10.1016\/S1874-5857(09)70020-2_bb1280","doi-asserted-by":"crossref","unstructured":"G. Landini. Logicism's 'Insolubilia' and Their Solution by Russell's Substitutional Theory. In Link [2004], pages 373\u2013399","DOI":"10.1515\/9783110199680.373"},{"key":"10.1016\/S1874-5857(09)70020-2_bb1285","series-title":"Category Theory, Homology Theory and their Applications, II","first-page":"134","article-title":"Diagonal arguments and cartesian closed categories","volume":"92","author":"Lawvere","year":"1969"},{"key":"10.1016\/S1874-5857(09)70020-2_bb1290","first-page":"95","article-title":"A theory of attributes based on modal logic","volume":"16","author":"Lemmon","year":"1963","journal-title":"Acta Philosophica Fennica"},{"key":"10.1016\/S1874-5857(09)70020-2_bb1295","first-page":"315","article-title":"Krytyca logicznej zasady wylaczonego \u015brodka","volume":"XVI","author":"Lesniewski","year":"1913","journal-title":"Przegl\u0105d filozoficzny"},{"key":"10.1016\/S1874-5857(09)70020-2_bb1300","first-page":"863","article-title":"Intorno alla teoria degli aggregati","volume":"35","author":"Levi","year":"1902","journal-title":"Rendiconti del Reale Istituto Lombardo di Scienze e Lettere (seconda serie)"},{"key":"10.1016\/S1874-5857(09)70020-2_bb1305","first-page":"188","article-title":"Antinomie logiche?","volume":"15","author":"Levi","year":"1908","journal-title":"Annali di Matematica (terza serie)"},{"key":"10.1016\/S1874-5857(09)70020-2_bb1310","series-title":"Symbolic Logic","author":"Lewis","year":"1932"},{"key":"10.1016\/S1874-5857(09)70020-2_bb1315","series-title":"One Hundred Years of Russell's Paradox","year":"2004"},{"key":"10.1016\/S1874-5857(09)70020-2_bb1320","doi-asserted-by":"crossref","first-page":"115","DOI":"10.2307\/2266895","article-title":"Solution of a problem of Leon Henkin. The Journal of Symbolic Logic,","volume":"20","author":"L\u00f6b","year":"1955","journal-title":"The Journal of Symbolic Logic,"},{"key":"10.1016\/S1874-5857(09)70020-2_bb1325","doi-asserted-by":"crossref","first-page":"37","DOI":"10.2307\/2964572","article-title":"Con structive definitions of certain analytic se","volume":"24","author":"Lorenzen","year":"1959","journal-title":"Journal of Symbolic Logic,"},{"key":"10.1016\/S1874-5857(09)70020-2_bb1330","unstructured":"B. L\u00f6we and P. D. Welch. Set theoretic absoluteness and the revision theory of truth. Logic Colloquium, to appear, 2000."},{"key":"10.1016\/S1874-5857(09)70020-2_bb1335","doi-asserted-by":"crossref","first-page":"113","DOI":"10.2307\/2273327","article-title":"Proper classes","volume":"45","author":"Maddy","year":"1983","journal-title":"Journal of Symbolic Logic"},{"key":"10.1016\/S1874-5857(09)70020-2_bb1340","first-page":"592","article-title":"Meaning and truth in the Peano Arithmetic","volume":"54","author":"Magari","year":"1973","journal-title":"Atti dell'Accademia dei Lincei, Cl. Sci. Fis. Mat"},{"key":"10.1016\/S1874-5857(09)70020-2_bb1345","first-page":"592","article-title":"Meaning and truth in the Peano Arithmetic","volume":"54","author":"Magari","year":"1973","journal-title":"Atti dell'Accademia dei Lincei, Cl. Sci. Fis. Mat."},{"key":"10.1016\/S1874-5857(09)70020-2_bb1350","doi-asserted-by":"crossref","first-page":"119","DOI":"10.1007\/BF02414017","article-title":"Su certe teorie non enumerabili","volume":"97","author":"Magari.","year":"1974","journal-title":"Annali di Matematica Pura e Applicata"},{"key":"10.1016\/S1874-5857(09)70020-2_bb1355","doi-asserted-by":"crossref","first-page":"343","DOI":"10.1007\/BF02414160","article-title":"Significato e verita nell'aritmetica peaniana.","volume":"103","author":"Magari","year":"1975","journal-title":"Annali di Matematica Pura e Applicata"},{"key":"10.1016\/S1874-5857(09)70020-2_bb1360","series-title":"Set theory in which the axiom of foundation fails.","author":"Malitz","year":"1975"},{"key":"10.1016\/S1874-5857(09)70020-2_bb1365","doi-asserted-by":"crossref","first-page":"302","DOI":"10.2307\/421183","article-title":"Between Russell and Hilbert: Behmann on the foundations of mathematics.","volume":"5","author":"Mancosu.","year":"1999","journal-title":"The Bulletin of Symbolic Logic"},{"key":"10.1016\/S1874-5857(09)70020-2_bb1370","doi-asserted-by":"crossref","first-page":"59","DOI":"10.1023\/A:1026278800910","article-title":"The Russellian Influence on Hilbert and his School","author":"Mancosu","year":"2003","journal-title":"Synthese"},{"key":"10.1016\/S1874-5857(09)70020-2_bb1375","doi-asserted-by":"crossref","first-page":"53","DOI":"10.1007\/BF02485815","article-title":"Chain-complete posets and directed sets with applications.","volume":"6","author":"Markowski","year":"1976","journal-title":"Algebra Universalis"},{"key":"10.1016\/S1874-5857(09)70020-2_bb1380","doi-asserted-by":"crossref","first-page":"217","DOI":"10.1007\/BF02379018","article-title":"On representing 'True-in-L' in L","volume":"5","author":"Martin","year":"1975","journal-title":"Philosophia"},{"key":"10.1016\/S1874-5857(09)70020-2_bb1385","series-title":"Logic Colloquium '73,","article-title":"Intuitionistic type theory: predicative part. In H. Rose and J. Shepherdson","author":"Martin-L\u00f6f","year":"1975"},{"key":"10.1016\/S1874-5857(09)70020-2_bb1390","series-title":"The Paradox of the Liar","year":"1978"},{"key":"10.1016\/S1874-5857(09)70020-2_bb1395","first-page":"61","article-title":"Ungroundedness in classical languages","volume":"17","author":"McCarthy","year":"1988","journal-title":"Ungroundedness in classical languages"},{"key":"10.1016\/S1874-5857(09)70020-2_bb1400","first-page":"1","article-title":"On meaningfulness and truth","volume":"29","author":"McDonald.","year":"2000","journal-title":"ournal of PhilosophicalLogic"},{"key":"10.1016\/S1874-5857(09)70020-2_bb1405","doi-asserted-by":"crossref","first-page":"399","DOI":"10.1007\/BF00649483","article-title":"How truthlike can a predicate be? A negative result","volume":"14","author":"McGee","year":"1985","journal-title":"Journal ofPhilosophical Logic"},{"key":"10.1016\/S1874-5857(09)70020-2_bb1410","series-title":"Truth, Vagueness and Paradox","author":"McGee","year":"1991"},{"key":"10.1016\/S1874-5857(09)70020-2_bb1415","first-page":"235","article-title":"Maximal consistent sets of instances of Tarski's Schema (T)","volume":"21","author":"McGee","year":"1992","journal-title":"Journalof Philosophical Logic"},{"key":"10.1016\/S1874-5857(09)70020-2_bb1420","unstructured":"P. Minari. Some aspects of Kripke's theory of truth. Unpublished notes, 1987."},{"key":"10.1016\/S1874-5857(09)70020-2_bb2175","first-page":"37","article-title":"Les antinomies de Russell et de Burali-Forti et le probleme fondamentale de la th\u00e9orie des ensembles","volume":"19","author":"Mirimanoff","year":"1917","journal-title":"L'enseignement math\u00e9matique"},{"key":"10.1016\/S1874-5857(09)70020-2_bb1425","first-page":"209","article-title":"Remarques sur la th\u00e9orie des ensembles et les antinomiescantoriennes I","volume":"19","author":"Mirimanoff","year":"1917","journal-title":"L'enseignement math\u00e9matique"},{"key":"10.1016\/S1874-5857(09)70020-2_bb1430","first-page":"29","article-title":"Remarques sur la th\u00e9eorie des ensembles et les antinomiescantoriennes II","volume":"21","author":"Mirimanoff","year":"1920","journal-title":"L'enseignement math\u00e9ematique,"},{"key":"10.1016\/S1874-5857(09)70020-2_bb1435","first-page":"153","article-title":"Syntactical treatment of modality, with corollaries on reflectionprinciples and finite axiomatizability","volume":"16","author":"Montague","year":"1963","journal-title":"Acta Philosophica Fennica"},{"key":"10.1016\/S1874-5857(09)70020-2_bb1440","doi-asserted-by":"crossref","first-page":"319","DOI":"10.1016\/0315-0860(81)90070-7","article-title":"Burali-Forti's paradox: a reappraisal of its origins","volume":"8","author":"Moore","year":"1981","journal-title":"Historia Mathematica"},{"key":"10.1016\/S1874-5857(09)70020-2_bb1445","doi-asserted-by":"crossref","unstructured":"G.H. Moore. The origin of Russell's paradox: Russell, Couturat and the antinomy of infinite number. In Hintikka [1995b], pages 215-239.","DOI":"10.1007\/978-94-015-8478-4_9"},{"key":"10.1016\/S1874-5857(09)70020-2_bb1450","series-title":"Elementary Induction on Abstract Structures","author":"Moschovakis","year":"1974"},{"key":"10.1016\/S1874-5857(09)70020-2_bb1455","series-title":"In Logic Colloquium' 90","first-page":"210","article-title":"Sense and reference as algorithm and value.","author":"Moschovakis","year":"1990"},{"key":"10.1016\/S1874-5857(09)70020-2_bb1460","doi-asserted-by":"crossref","first-page":"37","DOI":"10.2307\/2267648","article-title":"Logical paradoxes for many-valued systems","volume":"19","author":"Mow-Shaw-Kwei.","year":"1954","journal-title":"Journal of Symbolic Logic"},{"key":"10.1016\/S1874-5857(09)70020-2_bb1465","doi-asserted-by":"crossref","first-page":"190","DOI":"10.4064\/fm-37-1-190-192","article-title":"A system which can define its own truth","volume":"37","author":"Myhill","year":"1950","journal-title":"Fundamenta Mathematica"},{"key":"10.1016\/S1874-5857(09)70020-2_bb1470","first-page":"164","article-title":"A finitary metalanguage for extended basic logic","volume":"63","author":"Myhill","year":"1981","journal-title":"Journal of Symbolic Logic"},{"key":"10.1016\/S1874-5857(09)70020-2_bb1475","series-title":"The Logical Enterprise","first-page":"179","article-title":"Levels of implications","author":"Myhill","year":"1975"},{"key":"10.1016\/S1874-5857(09)70020-2_bb1480","doi-asserted-by":"crossref","first-page":"129","DOI":"10.1007\/BF00485622","article-title":"Paradoxes.","volume":"60","author":"Myhill","year":"1984","journal-title":"Synth\u00e8se,"},{"key":"10.1016\/S1874-5857(09)70020-2_bb1485","first-page":"29","article-title":"An autoapplicable truth predicate","volume":"3-B","author":"Negri","year":"1989","journal-title":"Bollettino dell'Unione Matematica Italiana"},{"key":"10.1016\/S1874-5857(09)70020-2_bb1490","doi-asserted-by":"crossref","first-page":"439","DOI":"10.1007\/BF01147475","article-title":"A new concept of predicative truth and definability","volume":"13","author":"Nepeivoda","year":"1975","journal-title":"Mathematical Notes"},{"key":"10.1016\/S1874-5857(09)70020-2_bb1495","series-title":"Studies in Logic 125","article-title":"Classical Recursion Theory I","author":"Odifreddi","year":"1989"},{"key":"10.1016\/S1874-5857(09)70020-2_bb1500","first-page":"73","article-title":"The Russell-Kaplan paradox and other modal paradoxes: a new solution","volume":"4","author":"Oksanen","year":"1999","journal-title":". Nordic Journal of Philosophical Logic"},{"key":"10.1016\/S1874-5857(09)70020-2_bb1505","doi-asserted-by":"crossref","first-page":"212","DOI":"10.2307\/2586533","article-title":"Property theory and the revision theory of definitions.","volume":"65","author":"Orilia","year":"2000","journal-title":"The Journal of Symbolic Logic"},{"key":"10.1016\/S1874-5857(09)70020-2_bb1510","doi-asserted-by":"crossref","first-page":"381","DOI":"10.1007\/BF00257482","article-title":"The liar paradox. Journal of Philosophical Logic","volume":"3","author":"Parsons","year":"1974","journal-title":"Journal of Philosophical Logic"},{"key":"10.1016\/S1874-5857(09)70020-2_bb1515","doi-asserted-by":"crossref","first-page":"397","DOI":"10.1007\/BF01277482","article-title":"On the structure of paradoxes","volume":"31","author":"Pavlovic","year":"1992","journal-title":"Archive for Mathematical Logic"},{"key":"10.1016\/S1874-5857(09)70020-2_bb1520","first-page":"143","article-title":"Additione","volume":"8","author":"Peano","year":"1902","journal-title":"Revista de Matematica"},{"key":"10.1016\/S1874-5857(09)70020-2_bb1525","doi-asserted-by":"crossref","first-page":"127","DOI":"10.1006\/hmat.2002.2345","article-title":"Hilbert's paradox","volume":"29","author":"Peckhaus","year":"2002","journal-title":"Historia Mathematica"},{"key":"10.1016\/S1874-5857(09)70020-2_bb1530","series-title":"Hilbert's Programm und Kritische Philosophie","author":"Peckhaus","year":"1990"},{"key":"10.1016\/S1874-5857(09)70020-2_bb1535","doi-asserted-by":"crossref","unstructured":"V. Peckhaus. Paradoxes in Gottingen. In Link [2004]. 501-515.","DOI":"10.1515\/9783110199680.501"},{"key":"10.1016\/S1874-5857(09)70020-2_bb1540","series-title":"Methodology and Philosophy of Science IX","first-page":"307","article-title":"Russellian propositions","author":"Pelham","year":"1994"},{"key":"10.1016\/S1874-5857(09)70020-2_bb1545","series-title":"Handbook of Logic in Artificial Intelligence and Logic Programming","article-title":"Meta-languages, reflection principles and self-reference","author":"Perlis","year":"1994"},{"key":"10.1016\/S1874-5857(09)70020-2_bb1550","doi-asserted-by":"crossref","first-page":"301","DOI":"10.1016\/0004-3702(85)90075-X","article-title":"Language with self-reference I: foundations","volume":"25","author":"Perlis","year":"1985","journal-title":"Artificial Intelligence"},{"key":"10.1016\/S1874-5857(09)70020-2_bb1555","doi-asserted-by":"crossref","first-page":"179","DOI":"10.1016\/0004-3702(88)90038-0","article-title":"Language with self-reference II: knowledge, belief and modality.","volume":"34","author":"Perlis","year":"1988","journal-title":"Artificial Intelligence"},{"key":"10.1016\/S1874-5857(09)70020-2_bb1560","doi-asserted-by":"crossref","first-page":"245","DOI":"10.1016\/0004-3702(89)90028-3","article-title":"Truth and meaning","volume":"39","author":"Perlis","year":"1989","journal-title":"Artificial Intelligence"},{"key":"10.1016\/S1874-5857(09)70020-2_bb1565","doi-asserted-by":"crossref","first-page":"3065","DOI":"10.1023\/A:1005293713265","article-title":"Logic without contraction as based on inclusion and unrestricted abstraction","volume":"64","author":"Petersen","year":"2000","journal-title":"Studia Logica"},{"key":"10.1016\/S1874-5857(09)70020-2_bb1570","series-title":"Situation Theory and its Applications","first-page":"134","article-title":"An illative theory of relations","author":"Plotkin","year":"1990"},{"key":"10.1016\/S1874-5857(09)70020-2_bb1575","doi-asserted-by":"crossref","unstructured":"G. Plotkin. On a question of Friedman. pp. 1-16, 1995.","DOI":"10.1006\/inco.1996.0035"},{"key":"10.1016\/S1874-5857(09)70020-2_bb1580","first-page":"815","article-title":"Les math\u00e9matiques et la logique","volume":"13","author":"Poincar\u00e9","year":"1905","journal-title":"Revue de M\u00e9taphysique et Morale"},{"key":"10.1016\/S1874-5857(09)70020-2_bb1585","first-page":"17","article-title":"Les math\u00e9matiques et la logique","volume":"14","author":"Poincar\u00e9","year":"1906","journal-title":"Revue de M\u00e9taphysique et Morale"},{"key":"10.1016\/S1874-5857(09)70020-2_bb1590","first-page":"294","article-title":"Les math\u00e9matiques et la logique","volume":"14","author":"Poincare","year":"1906","journal-title":"Revue de M\u00e9taphysique et Morale"},{"key":"10.1016\/S1874-5857(09)70020-2_bb1595","first-page":"461","article-title":"La logique de l\u00b4infini.","volume":"17","author":"Poincar\u00e9","year":"1909","journal-title":"Revue de M\u00e9taphysique et Morale"},{"key":"10.1016\/S1874-5857(09)70020-2_bb1600","doi-asserted-by":"crossref","first-page":"195","DOI":"10.1007\/BF02403216","article-title":"R\u00e9flexions sur les deux notes pr\u00e9c\u00e9dentes","volume":"32","author":"Poincare","year":"1909","journal-title":"Acta Mathematica"},{"key":"10.1016\/S1874-5857(09)70020-2_bb1605","first-page":"43","article-title":"\u00dcber transfiniten Zahlen","author":"Poincar\u00e9","year":"1910"},{"key":"10.1016\/S1874-5857(09)70020-2_bb1610","first-page":"1","article-title":"La logique de l'infini","volume":"12","author":"Poincar\u00e9","year":"1912","journal-title":"Scientia"},{"key":"10.1016\/S1874-5857(09)70020-2_bb1615","article-title":"Natural Deduction","author":"Prawitz","year":"1965"},{"key":"10.1016\/S1874-5857(09)70020-2_bb1620","doi-asserted-by":"crossref","first-page":"231","DOI":"10.1016\/0004-3702(89)90027-1","article-title":"Reasoning about truth","volume":"39","author":"Priest","year":"1989","journal-title":"Artificial Intelligence"},{"key":"10.1016\/S1874-5857(09)70020-2_bb1625","doi-asserted-by":"crossref","first-page":"70","DOI":"10.1080\/00029890.1937.11987928","article-title":"New foundations for mathematical logic","volume":"44","author":"Quine","year":"1937","journal-title":"American Mathematical Monthly"},{"key":"10.1016\/S1874-5857(09)70020-2_bb1630","doi-asserted-by":"crossref","first-page":"338","DOI":"10.1112\/plms\/s2-25.1.338","article-title":"The foundations of mathematics","volume":"25","author":"Ramsey","year":"1926","journal-title":"Proceedings of the London Mathematical Society"},{"key":"10.1016\/S1874-5857(09)70020-2_bb1635","first-page":"517","article-title":"Explicit mathematics with the monotone fixed point principle","volume":"63","author":"Rathjen","year":"1998","journal-title":"Journal fo Symbolic Logic"},{"key":"10.1016\/S1874-5857(09)70020-2_bb1640","first-page":"509","article-title":"Explicit mathematics with the monotone fixed point principle ii:Models","volume":"64","author":"Rathjen","year":"1999","journal-title":"Journal fo Symbolic Logic"},{"key":"10.1016\/S1874-5857(09)70020-2_bb1645","series-title":"Mathematical Logic and Formal Systems","first-page":"227","article-title":"Remarks on significance and meaningful applicability","volume":"94","author":"Reinhardt","year":"1985"},{"key":"10.1016\/S1874-5857(09)70020-2_bb1650","doi-asserted-by":"crossref","first-page":"219","DOI":"10.1007\/BF00305492","article-title":"Some remarks on extending and interpreting theories with a partial predicate for truth","volume":"15","author":"Reinhardt","year":"1986","journal-title":"Journal of Philosophical Logic"},{"key":"10.1016\/S1874-5857(09)70020-2_bb1655","first-page":"303","article-title":"Arithmetic and truth in Lukasiewicz's infinitely valued logic","volume":"139-140","author":"Restall","year":"1992","journal-title":"Logique et Analyse"},{"key":"10.1016\/S1874-5857(09)70020-2_bb1660","doi-asserted-by":"crossref","first-page":"381","DOI":"10.1007\/BF01057653","article-title":"How to be really contraction free","volume":"52","author":"Restall","year":"1993","journal-title":"Studia Logica"},{"key":"10.1016\/S1874-5857(09)70020-2_bb1665","doi-asserted-by":"crossref","first-page":"145","DOI":"10.1007\/3-540-13346-1_7","article-title":"Polymorphysm is not set-theoretic","volume":"174","author":"Reynolds","year":"1984","journal-title":"In Semantics of Data Types, Springer Lecture Notes in Computer Science"},{"key":"10.1016\/S1874-5857(09)70020-2_bb1670","article-title":"Les principes des math\u00e9matique et le probl\u00e8mes des ensembles","volume":"16","author":"Richard","year":"1905","journal-title":"Revue G\u00e9n\u00e9rale des Sciences Pures et Appliqu\u00e9es"},{"key":"10.1016\/S1874-5857(09)70020-2_bb1675","doi-asserted-by":"crossref","first-page":"83","DOI":"10.1017\/S0027763000011065","article-title":"On languages based on non-standard arithmetic","volume":"22","author":"Robinson","year":"1963","journal-title":"Nagoya Mathematical Journal"},{"key":"10.1016\/S1874-5857(09)70020-2_bb1680","series-title":"Theory of Recursive Functions and Effective Computability","author":"Rogers","year":"1967"},{"key":"10.1016\/S1874-5857(09)70020-2_bb1685","doi-asserted-by":"crossref","first-page":"53","DOI":"10.2307\/2269059","article-title":"An informal exposition of proofs of G\u00f6del's and Church's theorem","volume":"4","author":"Rosser","year":"1939","journal-title":"Journal of Symbolic Logic"},{"key":"10.1016\/S1874-5857(09)70020-2_bb1690","first-page":"401","author":"De Rouilhan","year":"2004"},{"key":"10.1016\/S1874-5857(09)70020-2_bb1695","author":"Russell","year":"1903"},{"key":"10.1016\/S1874-5857(09)70020-2_bb1700","doi-asserted-by":"crossref","first-page":"479","DOI":"10.1093\/mind\/XIV.4.479","article-title":"On denoting","volume":"14","author":"Russell","year":"1905","journal-title":"Mind"},{"key":"10.1016\/S1874-5857(09)70020-2_bb1705","unstructured":"B. Russell. On the substitutional theory of classes and relations. Received by the London Mathematical Society on 24 April 1906, (in: B. Russell, Essays in Analysis, edited by D. Lackey, Allen and Unwin, London, 1973), 1905."},{"key":"10.1016\/S1874-5857(09)70020-2_bb1710","first-page":"627","article-title":"Les paradoxes de la logique","volume":"14","author":"Russell","year":"1906","journal-title":"Revue de M\u00e8taphysique et Morale"},{"key":"10.1016\/S1874-5857(09)70020-2_bb1715","article-title":"On some difficulties in the theory of trasfinite numbers and order types","volume":"4","author":"Russell","year":"1906","journal-title":"Proceedings of the London Mathematical Society (2nd series)"},{"key":"10.1016\/S1874-5857(09)70020-2_bb1720","doi-asserted-by":"crossref","DOI":"10.2307\/2369948","article-title":"Mathematical logic as based on the theory of types","volume":"30","author":"Russell","year":"1908","journal-title":"American Journal of Mathematics"},{"key":"10.1016\/S1874-5857(09)70020-2_bb1725","series-title":"The Collected Papers of Bertrand Russell. Toward the Principles of Mathematics: 1900-02","author":"Russell","year":"1993"},{"key":"10.1016\/S1874-5857(09)70020-2_bb1730","series-title":"Paradoxes","author":"Sainsbury","year":"1988"},{"key":"10.1016\/S1874-5857(09)70020-2_bb1735","doi-asserted-by":"crossref","first-page":"143","DOI":"10.1023\/A:1017905122049","article-title":"IF- logic and truth definitions","volume":"27","author":"Sandu","year":"1998","journal-title":"Journal of Philosophical Logic"},{"key":"10.1016\/S1874-5857(09)70020-2_bb1740","doi-asserted-by":"crossref","first-page":"305","DOI":"10.1007\/BF01448013","article-title":"Uber die Bausteine der mathematischen Logik","volume":"92","author":"Sch\u00f6nfinkel","year":"1924","journal-title":"Mathematische Annalen"},{"key":"10.1016\/S1874-5857(09)70020-2_bb1745","first-page":"19","article-title":"\u00dcber die logischen Paradoxien der Mengenlere","volume":"15","author":"Sch\u00f6nflies","year":"1906","journal-title":"Jahresbericht der Deutschen Mathematiker-Vereinigung"},{"key":"10.1016\/S1874-5857(09)70020-2_bb1750","doi-asserted-by":"crossref","first-page":"177","DOI":"10.1007\/BF02403214","article-title":"\u00dcber eine vermeintliche Antinomie der Mengenlehre","volume":"32","author":"Sch\u00f6onflies","year":"1909","journal-title":"Acta Mathematica"},{"key":"10.1016\/S1874-5857(09)70020-2_bb1755","first-page":"222","article-title":"\u00dcber die Stellung der Definition in der Axiomatik","volume":"20","author":"Sch\u00f6nflies","year":"1911","journal-title":"Jahresbericht der Deutschen Mathematiker-Vereinigung"},{"key":"10.1016\/S1874-5857(09)70020-2_bb1760","series-title":"Vorlesungen \u00fcber die Algebra der Logik Bd.1","author":"Schr\u00f6der","year":"1890"},{"key":"10.1016\/S1874-5857(09)70020-2_bb1765","doi-asserted-by":"crossref","first-page":"394","DOI":"10.1007\/BF01343133","article-title":"Zur Widerspruchsfreiheit einer typenfreien Logik","volume":"125","author":"Sch\u00fctte","year":"1953","journal-title":"Mathematische Annalen"},{"key":"10.1016\/S1874-5857(09)70020-2_bb1770","doi-asserted-by":"crossref","first-page":"160","DOI":"10.1007\/BF01181340","article-title":"Ein widerspruchfreies System der Analysis auf typenfreier Grundlage","volume":"61","author":"Sch\u00fctte","year":"1954","journal-title":"Mathematische Zeitschrift"},{"key":"10.1016\/S1874-5857(09)70020-2_bb1775","series-title":"Beweistheorie","author":"Sch\u00fctte","year":"1960"},{"key":"10.1016\/S1874-5857(09)70020-2_bb1780","series-title":"Proof Theory","author":"Sch\u00fctte","year":"1977"},{"key":"10.1016\/S1874-5857(09)70020-2_bb1785","first-page":"97","article-title":"Continuous lattices","author":"Scott","year":"1972"},{"key":"10.1016\/S1874-5857(09)70020-2_bb1790","first-page":"1","article-title":"Combinators and classes","author":"Scott","year":"1975"},{"key":"10.1016\/S1874-5857(09)70020-2_bb1795","first-page":"77","article-title":"Seldin. Recent advances in Curry's program","volume":"35","author":"P","year":"1976","journal-title":"Rendiconti del Seminario Matematico dell'Universit\u00e0 e del Politecnico di Torino"},{"key":"10.1016\/S1874-5857(09)70020-2_bb1800","series-title":"To H. B. Curry: Essays on Combinatory Logic, Lambda Calculus and Formalism","first-page":"3","article-title":"Curry's program","author":"Seldin","year":"1980"},{"key":"10.1016\/S1874-5857(09)70020-2_bb1805","doi-asserted-by":"crossref","unstructured":"J. Seligman and L. S. Moss. Situation Theory. In Benthem and Meulen [1997], pages 239-310.","DOI":"10.1016\/B978-044481714-3\/50007-2"},{"key":"10.1016\/S1874-5857(09)70020-2_bb1810","doi-asserted-by":"crossref","first-page":"1032","DOI":"10.2307\/2275927","article-title":"A guide to truth predicate in the modern era","volume":"59","author":"Sheard","year":"1994","journal-title":"Journal of Symbolic Logic"},{"key":"10.1016\/S1874-5857(09)70020-2_bb1815","doi-asserted-by":"crossref","first-page":"114","DOI":"10.2307\/2268942","article-title":"The paradox of the class of all grounded sets","volume":"18","author":"Shen-Yuting","year":"1953","journal-title":"The Journal of Symbolic Logic"},{"key":"10.1016\/S1874-5857(09)70020-2_bb1820","doi-asserted-by":"crossref","first-page":"361","DOI":"10.1007\/BF00372772","article-title":"A linear conservative extension of Zermelo-Fraenkel Set Theory","volume":"56","author":"Shirahata","year":"1996","journal-title":"Studia Logica"},{"key":"10.1016\/S1874-5857(09)70020-2_bb1825","doi-asserted-by":"crossref","first-page":"2","DOI":"10.2307\/421139","article-title":"Hilbert's Programs: 1917\u20131922","volume":"5","author":"Sieg","year":"1999","journal-title":"The Bulletin of Symbolic Logic"},{"key":"10.1016\/S1874-5857(09)70020-2_bb1830","article-title":"On a medieval solution to the liar paradox","volume":"8","author":"Simmons","year":"1988","journal-title":"History and Philosophy of Logic"},{"key":"10.1016\/S1874-5857(09)70020-2_bb1835","series-title":"Universality and the Liar. An Essay on Truth and Diagonal Argument","author":"Simmons","year":"1993"},{"key":"10.1016\/S1874-5857(09)70020-2_bb1840","series-title":"Perspectives in Mathematical Logic","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-59971-2","article-title":"Subsystems of second order arithmetic","author":"Simpson","year":"1999"},{"key":"10.1016\/S1874-5857(09)70020-2_bb1845","first-page":"3","article-title":"Bemerkungen zum Komprehensionsaxiom","volume":"3","author":"Skolem","year":"1957","journal-title":"Zeitschrift fur Mathematische Logik und Grundlagen der Mathematik"},{"key":"10.1016\/S1874-5857(09)70020-2_bb1850","first-page":"41","article-title":"Mengenlehre gegrundet auf einer Logik mit unendlich vielen Wahrheitswerten","volume":"58","author":"Skolem","year":"1957","journal-title":"Sitzungsberichte Berliner Mathematische Gesellschaft"},{"key":"10.1016\/S1874-5857(09)70020-2_bb1855","doi-asserted-by":"crossref","first-page":"40","DOI":"10.7146\/math.scand.a-10487","article-title":"Two remarks on set theory","volume":"5","author":"Skolem","year":"1957","journal-title":"Mathematica Scandinava"},{"key":"10.1016\/S1874-5857(09)70020-2_bb1860","doi-asserted-by":"crossref","first-page":"127","DOI":"10.7146\/math.scand.a-10600","article-title":"A set theory based on a certain three valued logic","volume":"8","author":"Skolem","year":"1960","journal-title":"Mathematica Scandinava"},{"key":"10.1016\/S1874-5857(09)70020-2_bb1865","doi-asserted-by":"crossref","first-page":"162","DOI":"10.1305\/ndjfl\/1093957573","article-title":"Studies on the axiom of comprehension","volume":"4","author":"Skolem","year":"1963","journal-title":"Notre Dame Journal of Formal Logic"},{"key":"10.1016\/S1874-5857(09)70020-2_bb1870","doi-asserted-by":"crossref","first-page":"730","DOI":"10.2307\/2274128","article-title":"An interpretation of Martin-Lof's type theory in a type-free theory of propositions","volume":"49","author":"Smith","year":"1984","journal-title":"Journal of Symbolic Logic"},{"key":"10.1016\/S1874-5857(09)70020-2_bb1875","doi-asserted-by":"crossref","first-page":"842","DOI":"10.1017\/S0022481200029820","article-title":"Non standard characterization of recursive saturation and resplendency","volume":"52","author":"Smith","year":"1987","journal-title":"Journal of Symbolic Logic"},{"key":"10.1016\/S1874-5857(09)70020-2_bb1880","article-title":"Fifty years of self-reference","author":"Smorinski","year":"1981","journal-title":"Notre Dame Journal of Formal Logic"},{"key":"10.1016\/S1874-5857(09)70020-2_bb1885","first-page":"110","article-title":"The development of self-reference: Lob's theorem","author":"Smorinski","year":"1985"},{"key":"10.1016\/S1874-5857(09)70020-2_bb1890","doi-asserted-by":"crossref","first-page":"55","DOI":"10.2307\/2964058","article-title":"Languages in which self-reference is possible","volume":"22","author":"Smullyan","year":"1957","journal-title":"Journal of Symbolic Logic"},{"key":"10.1016\/S1874-5857(09)70020-2_bb1895","first-page":"94","article-title":"L'analyse de l'antinomie russellienne par Lesniewski","volume":"1","author":"Sobocinski","year":"1949","journal-title":"Methodos"},{"key":"10.1016\/S1874-5857(09)70020-2_bb1900","series-title":"Logic, Methodology and Philosophy of Science","first-page":"116","article-title":"Typical ambiguity","author":"Specker","year":"1962"},{"key":"10.1016\/S1874-5857(09)70020-2_bb1905","unstructured":"E. Specker. Die Antwort von Finsler. In Gasser and Volken [1975], pages 50-56."},{"key":"10.1016\/S1874-5857(09)70020-2_bb1910","first-page":"44","article-title":"La r\u00e9ponse de Dmitry Mirimanoff","author":"Specker","year":"1975","journal-title":"Gasser and Volken"},{"key":"10.1016\/S1874-5857(09)70020-2_bb1915","series-title":"In Infinitistic Methods","first-page":"97","article-title":"Inductively defined sets of natural numbers","author":"Spector","year":"1961"},{"key":"10.1016\/S1874-5857(09)70020-2_bb1920","volume":"volume 2","year":"1992"},{"key":"10.1016\/S1874-5857(09)70020-2_bb1925","doi-asserted-by":"crossref","first-page":"255","DOI":"10.1016\/0168-0072(89)90019-5","article-title":"Monotone inductive definitions in a constructive theory of functions and classes","volume":"42","author":"Takahashi","year":"1989","journal-title":"Annals of Pure and Applied Logic"},{"key":"10.1016\/S1874-5857(09)70020-2_bb1930","series-title":"Reflections on the Foundations of Mathematics","first-page":"293","author":"Talcott","year":"2002"},{"key":"10.1016\/S1874-5857(09)70020-2_bb1935","doi-asserted-by":"crossref","first-page":"129","DOI":"10.1016\/0304-3975(92)90169-G","article-title":"A theory of program and data type specification","volume":"104","author":"Talcott","year":"1992","journal-title":"Theoretical Computer Science"},{"key":"10.1016\/S1874-5857(09)70020-2_bb1940","doi-asserted-by":"crossref","first-page":"210","DOI":"10.4064\/fm-17-1-210-239","article-title":"Sur les ensembles definissables des nombres reels vol.1","volume":"XVII","author":"Tarski","year":"1931","journal-title":"Fundamenta Mathemat\/icae"},{"key":"10.1016\/S1874-5857(09)70020-2_bb1945","first-page":"261","volume":"1","author":"Tarski","year":"1936","journal-title":"Der Wahrheitsbegriff in den formalisierten Sprachen. Studia Philosophica"},{"key":"10.1016\/S1874-5857(09)70020-2_bb1950","doi-asserted-by":"crossref","first-page":"265","DOI":"10.1111\/j.1746-8361.1982.tb00820.x","volume":"36","author":"Tennant","year":"1982","journal-title":"Proof and paradox. Dialectica"},{"key":"10.1016\/S1874-5857(09)70020-2_bb1955","doi-asserted-by":"crossref","first-page":"199","DOI":"10.1093\/analys\/55.3.199","article-title":"On paradox without self-reference.","volume":"3","author":"Tennant","year":"1995","journal-title":"Analysis"},{"key":"10.1016\/S1874-5857(09)70020-2_bb1960","doi-asserted-by":"crossref","first-page":"391","DOI":"10.1007\/BF00413468","article-title":"A note of syntactical treatments of modality","volume":"44","author":"Thomason","year":"1980","journal-title":"Synth8ese"},{"key":"10.1016\/S1874-5857(09)70020-2_bb1965","series-title":"Constructivism in Mathematics I,II.","author":"Troelstra","year":"1988"},{"key":"10.1016\/S1874-5857(09)70020-2_bb1970","doi-asserted-by":"crossref","first-page":"259","DOI":"10.1007\/BF00635645","article-title":"Montague semantics, nominalization and Scott's domains.","volume":"6","author":"Turner","year":"1983","journal-title":"Linguistics and Philosophy"},{"key":"10.1016\/S1874-5857(09)70020-2_bb1975","doi-asserted-by":"crossref","first-page":"455","DOI":"10.2307\/2274394","article-title":"A theory of properties","volume":"52","author":"Turner","year":"1987","journal-title":"Journal of Symbolic Logic"},{"key":"10.1016\/S1874-5857(09)70020-2_bb1980","series-title":"Truth and Modality for Knowledge Representation","author":"Turner","year":"1990"},{"key":"10.1016\/S1874-5857(09)70020-2_bb1985","doi-asserted-by":"crossref","unstructured":"R. Turner. Types. In Benthem and Meulen [1997], pages 535-586.","DOI":"10.1016\/B978-044481714-3\/50013-8"},{"key":"10.1016\/S1874-5857(09)70020-2_bb1990","first-page":"75","article-title":"A sequence of theories for arithmetic whose union is complete","volume":"57","author":"Ursini","year":"1977","journal-title":"Rendiconti del Seminario Matematico dell'Universita di Padova"},{"key":"10.1016\/S1874-5857(09)70020-2_bb1995","first-page":"237","article-title":"On the set of 'meaningful' sentences of arithmetic.","volume":"16","author":"Ursini","year":"1978","journal-title":"Bollettino dell'Unione Matematica Italiana, V, serie A,"},{"key":"10.1016\/S1874-5857(09)70020-2_bb2000","series-title":"Sets and Integration. An Outline of the Development","author":"van Dalen","year":"1972"},{"key":"10.1016\/S1874-5857(09)70020-2_bb2005","series-title":"Mystic, Geometer and Intuitionist: the Life of L. E. J.Brouwer","author":"van Dalen","year":"1999"},{"key":"10.1016\/S1874-5857(09)70020-2_bb2010","doi-asserted-by":"crossref","first-page":"481","DOI":"10.2307\/2024549","article-title":"Singular terms, truth-value gaps and free logic","volume":"63","author":"van Fraassen","year":"1966","journal-title":"Journal oof Philosophy"},{"key":"10.1016\/S1874-5857(09)70020-2_bb2015","doi-asserted-by":"crossref","first-page":"135","DOI":"10.2307\/2024557","article-title":"Presupposition, implication and self-reference","volume":"65","author":"van Fraassen","year":"1968","journal-title":"Journal of Philosophy"},{"key":"10.1016\/S1874-5857(09)70020-2_bb2020","series-title":"The Paradox of the Liar","first-page":"13","article-title":"Truth and paradoxical consequences.","author":"van Fraassen","year":"1970"},{"key":"10.1016\/S1874-5857(09)70020-2_bb2025","series-title":"Formal Semantics and Logic","author":"van Fraassen","year":"1971"},{"key":"10.1016\/S1874-5857(09)70020-2_bb2030","series-title":"Semantics of Natural Language","first-page":"695","article-title":"Inference and self-reference","author":"van Fraassen","year":"1972"},{"key":"10.1016\/S1874-5857(09)70020-2_bb2035","series-title":"From Frege to Godel. A Source Book in Mathematical Logic 1879-1931","author":"van Heijenoort","year":"1967"},{"key":"10.1016\/S1874-5857(09)70020-2_bb2040","doi-asserted-by":"crossref","first-page":"181","DOI":"10.1007\/BF00453021","article-title":"Four-valued semantics and the liar","volume":"13","author":"Visser","year":"1984","journal-title":"Journal of Philosophical Logic"},{"key":"10.1016\/S1874-5857(09)70020-2_bb2045","doi-asserted-by":"crossref","unstructured":"A. Visser. Semantics and the liar paradox. In Gabbay and Guenthner [1989], pages 617-706.","DOI":"10.1007\/978-94-009-1171-0_10"},{"key":"10.1016\/S1874-5857(09)70020-2_bb2050","first-page":"199","article-title":"Zur Einf\u00fchrung der transfiniten Zahlen","volume":"1","author":"von Neumann","year":"1923","journal-title":"Acta Litterarum ac Scientiarum Regiae Universitatis Hungariae Francisco Josephinae, Sectio Scientiarum math. 1"},{"key":"10.1016\/S1874-5857(09)70020-2_bb2055","doi-asserted-by":"crossref","first-page":"219","DOI":"10.1515\/crll.1925.154.219","volume":"154","author":"von Neumann","year":"1925","journal-title":"Eine Axiomatisierung der Mengenlehre. Journal f\u00fcr die reine und angewandte Mathematik"},{"key":"10.1016\/S1874-5857(09)70020-2_bb2060","first-page":"11","article-title":"A new proof of the Godel's result on non-provability of consistency","volume":"14","author":"Vopenka","year":"1966","journal-title":"Bulletin de l'Acad\u00e9mie Polonaise des Sciences"},{"key":"10.1016\/S1874-5857(09)70020-2_bb2065","series-title":"The Banach-Tarski Paradox","author":"Wagon","year":"1985"},{"key":"10.1016\/S1874-5857(09)70020-2_bb2070","series-title":"A Logical Journey. From G\u00fcdel to Philosophy","author":"Wang","year":"2001"},{"key":"10.1016\/S1874-5857(09)70020-2_bb2075","first-page":"1","article-title":"On Gupta-Belnap revision theories of truth, Kripkean fixed points and the next stable","author":"Welch","year":"2001","journal-title":"The Bulletin of Symbolic Logic"},{"key":"10.1016\/S1874-5857(09)70020-2_bb2080","article-title":"On revision operators","author":"Welch","year":"2001","journal-title":"Journal of Symbolic Logic"},{"key":"10.1016\/S1874-5857(09)70020-2_bb2085","author":"Weydert","year":"1988","journal-title":"How to approximate the naive comprehension scheme inside classical logic"},{"key":"10.1016\/S1874-5857(09)70020-2_bb2090","first-page":"93","volume":"7","author":"Weyl","year":"1910","journal-title":"\u00dcber die Definitionen der mathematischen Grundbegriffe. Mathematischnaturwissenschaftliche Blatter"},{"key":"10.1016\/S1874-5857(09)70020-2_bb2095","series-title":"Das Kontinuum","author":"Weyl","year":"1918"},{"key":"10.1016\/S1874-5857(09)70020-2_bb2100","first-page":"37","volume":"10","author":"Weyl","year":"1921","journal-title":"\u0220ber die neue Grundlagenkrise der Mathematik. Mathematische Zeitschrift"},{"key":"10.1016\/S1874-5857(09)70020-2_bb2105","doi-asserted-by":"crossref","first-page":"509","DOI":"10.1007\/BF00258447","article-title":"The consistency of the axiom of comprehension in the infinite value predicate logic of Lukasiewicz","volume":"8","author":"White","year":"1979","journal-title":"Journal of Philosophical Logic"},{"key":"10.1016\/S1874-5857(09)70020-2_bb2110","first-page":"149","article-title":"A demonstrably consistent type-free extension of the logic BCK","volume":"32","author":"White","year":"1987","journal-title":"Mathematica Japonica"},{"key":"10.1016\/S1874-5857(09)70020-2_bb2115","doi-asserted-by":"crossref","first-page":"113","DOI":"10.1007\/BF01053067","article-title":"A consistent theory of attributes in a logic without contraction","volume":"52","author":"White","year":"1993","journal-title":"Studia Logica"},{"key":"10.1016\/S1874-5857(09)70020-2_bb2120","first-page":"331","author":"Wolenski","year":"1995","journal-title":"On Tarski's background"},{"key":"10.1016\/S1874-5857(09)70020-2_bb2125","doi-asserted-by":"crossref","first-page":"213","DOI":"10.1007\/BF00453022","article-title":"Paradox, truth and logic. part I: paradox and truth","volume":"13","author":"Woodruff","year":"1984","journal-title":"Journal of Philosophical Logic"},{"key":"10.1016\/S1874-5857(09)70020-2_bb2130","doi-asserted-by":"crossref","first-page":"111","DOI":"10.1007\/BF00302341","article-title":"Grounding, dependence and paradox","volume":"11","author":"Yablo","year":"1982","journal-title":"Journal of Philosophical Logic"},{"key":"10.1016\/S1874-5857(09)70020-2_bb2135","doi-asserted-by":"crossref","first-page":"297","DOI":"10.1007\/BF00249368","article-title":"Truth and reflection","volume":"14","author":"Yablo","year":"1985","journal-title":"Journal of Philosophical Logic"},{"key":"10.1016\/S1874-5857(09)70020-2_bb2140","doi-asserted-by":"crossref","first-page":"251","DOI":"10.1093\/analys\/53.4.251","article-title":"Paradox without self-reference","volume":"53","author":"Yablo","year":"1993","journal-title":"Analysis"},{"key":"10.1016\/S1874-5857(09)70020-2_bb2145","series-title":"A Defense of the Revision Theory of Truth","article-title":"The Liar Speaks the Truth","author":"Yaq\u016bb","year":"1993"},{"key":"10.1016\/S1874-5857(09)70020-2_bb2150","first-page":"303","article-title":"Alexandre Koyre alla scuola di Husserl a Gottinga","volume":"19","author":"Zambelli","year":"1999","journal-title":"Giornale Critico della Filosofia Italiana"},{"key":"10.1016\/S1874-5857(09)70020-2_bb2155","first-page":"107","volume":"65","author":"Zermelo","year":"1908","journal-title":"Neuer Beweis fu\u00dcr die Mo\u00dcglichkeit einer Wohlordnung.Mathematische Annalen"},{"key":"10.1016\/S1874-5857(09)70020-2_bb2160","first-page":"261","volume":"65","author":"Zermelo","year":"1908","journal-title":"Untersuchungen \u00fcber die Grundlagen der Mengenlehre I. Mathematische Annalen"},{"key":"10.1016\/S1874-5857(09)70020-2_bb2165","doi-asserted-by":"crossref","first-page":"186","DOI":"10.1007\/BF02403215","article-title":"Sur les ensembles finis et le principe d'induction complete","volume":"32","author":"Zermelo","year":"1909","journal-title":"Acta Mathematica"},{"key":"10.1016\/S1874-5857(09)70020-2_bb2170","doi-asserted-by":"crossref","first-page":"507","DOI":"10.1080\/00029890.1987.12000674","article-title":"Playing games with games: the hypergame paradox","volume":"94","author":"Zwicker","year":"1987","journal-title":"American Mathematical Monthly"}],"container-title":["Handbook of the History of Logic","Logic from Russell to Church"],"original-title":[],"link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S1874585709700202?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S1874585709700202?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2023,5,25]],"date-time":"2023-05-25T21:14:10Z","timestamp":1685049250000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S1874585709700202"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009]]},"ISBN":["9780444516206"],"references-count":435,"URL":"https:\/\/doi.org\/10.1016\/s1874-5857(09)70020-2","relation":{},"ISSN":["1874-5857"],"issn-type":[{"value":"1874-5857","type":"print"}],"subject":[],"published":{"date-parts":[[2009]]}}}