References
- Aoyama, Hiroshi (1994) ‘The Strong Completeness of a System based on Kleene’s Strong Three-Valued Logic’, Notre Dame Journal of Formal Logic 35: 355–68. doi:10.1305/ndjfl/1040511343.
- Blamey, Stephen R (2002) ‘Partial Logic’, in Dov M Gabbay and F Guenther, eds., Handbook of Philosophical Logic, 2nd edition, vol. 5: 261–353. Kluwer.
- Chiswell, Ian and Wilfrid A Hodges (2007) Mathematical Logic. Oxford University Press.
- Endrullis, Jörg and Lawrence S Moss (2019) ‘Syllogistic Logic with “Most”’, Mathematical Structures in Computer Science 29: 763–82. doi:10.1017/S0960129518000312.
- Feferman, Solomon (1984) ‘Towards Useful Type-Free Theories I’, Journal of Symbolic Logic 49: 75–111. doi:10.2307/2274093.
- Feferman, Solomon (1991) ‘Reflecting on Incompleteness’, Journal of Symbolic Logic 56: 1–49. doi:10.2307/2274902.
- Feferman Solomon (2012) ‘Axiomatizing Truth: Why and How?’ in Ulrich Berger, Hannes Diener, Peter Schuster, and Monika Seisenberger, eds., Logic, Construction, Computation: 181–96. Ontos Verlag.
- Fischer, Martin, Volker Halbach, Jönne Kriener, and Johannes Stern (2015) ‘Axiomatizing Semantic Theories of Truth’, Review of Symbolic Logic 8: 257–78. doi:10.1017/s1755020314000379.
- Halbach, Volker (2014) Axiomatic Theories of Truth, revised edition. Cambridge University Press.
- Halbach, Volker, and Leon F Horsten (2006) ‘Axiomatizing Kripke’s Theory of Truth’, Journal of Symbolic Logic 71: 677–712. doi:10.2178/jsl/1146620166.
- Kearns, John T (1979) ‘The Strong Completeness of a System for Kleene’s Strong Three-Valued Logic’, Zeitschrift für Mathematische Logik und Grundlagen der Mathematik 25: 61–68. doi: 10.1002/malq.19790250307.
- Kripke, Saul A (1975) ‘Outline of a Theory of Truth’, Journal of Philosophy 72: 690–716. doi:10.2307/2024634.
- McGee, Vann (1991) Truth, Vagueness, and Paradox: An Essay on the Logic of Truth. Hackett.
- Maudlin, Tim (2004) Truth and Paradox: Solving the Riddles. Oxford University Press.
- Mostowski, Abraham (1957) ‘On a Generalization of Quantifiers’, Fundamenta Mathematicae 44: 12–36. doi:10.2307/2964414.
- Rumfitt, Ian (2023) ‘In Defence of PKF’, Synthese 201. doi:10.1007/s11229-022-04009-x.
- Tarski, Alfred (1935) ‘Der Wahrheitsbegriff in den formalisierten Sprachen’, Studia Philosophica I: 261–405.
- Tarski, Alfred (1955) ‘A Lattice-Theoretical Fixpoint Theorem and its Applications’, Pacific Journal of Mathematics 5: 285–309. doi:10.2140/pjm.1955.5.285.
- Whittle, Bruno (2019) ‘Truth and Generalized Quantification’, Australasian Journal of Philosophy 97: 340–53. doi:10.1080/00048402.2018.1476980.