Peter B. Andrews (1986):
An Introduction to Mathematical Logic and Type Theory: To Truth Through Proof.
Computer Science and Applied Mathematics.
Academic Press.
Stephen Blamey (2002):
Partial Logic.
In: Dov Gabbay & Franz Guenthner: Handbook of Philosophical Logic 5.
Springer,
pp. 261–353,
doi:10.1007/978-94-017-0458-8_5.
Alonzo Church (1940):
A Formulation of the Simple Theory of Types.
The Journal of Symbolic Logic 5(2),
pp. 56–68,
doi:10.2307/2266170.
William M. Farmer (1990):
A Partial Functions Version of Church's Simple Theory of Types.
Journal of Symbolic Logic 55(3),
pp. 1269–1291,
doi:10.2307/2274487.
Gottlob Frege (1879):
Grundlagen der Arithmetik. Eine logisch-mathematische Untersuchung über den Begriff der Zahl.
Verlag von Wilhelm Koebner.
Gottlob Frege (1951):
On Concept and Object.
Mind 60(238),
pp. 168–180,
doi:10.1093/mind/LX.238.168.
Gottlob Frege (1979):
Dialogue with Pünjer on Existence.
In: Hans Hermes, Friedrich Kambartel & Friedrich Kaulbach: Posthumous Writings.
University of Chicago Press,
pp. 53–67.
Leon Henkin (1963):
A Theory of Propositional Types.
Fundamenta Mathematicae 52,
pp. 323–334,
doi:10.4064/fm-52-3-323-344.
James R. Hindley & Jonathan P. Seldin (2008):
Lambda-Calculus and Combinators, an Introduction.
Cambridge University Press,
doi:10.1017/CBO9780511809835.
Andrzej Indrzejczak (2010):
Natural Deduction, Hybrid Systems and Modal Logics.
Springer,
doi:10.1007/978-90-481-8785-0.
David Kaplan (1968):
Quantifying In.
Synthese 19(1–2),
pp. 178–214,
doi:10.1007/BF00568057.
Yiannis N. Moschovakis (2005):
A Logical Calculus of Meaning and Synonymy.
Linguistics and Philosophy 29(1),
pp. 27–89,
doi:10.1007/s10988-005-6920-7.
Sara Negri, Jan von Plato & Aarne Ranta (2001):
Structural Proof Theory.
Cambridge University Press,
doi:10.1017/CBO9780511527340.
Dag Prawitz (2006):
Natural Deduction: A Proof-Theoretical Study.
Dover Publications.
Ruy J. G. B. de Queiroz, Anjolina G. de Oliveira & Dov M. Gabbay (2011):
The Functional Interpretation of Logical Deduction.
World Scientific,
doi:10.1142/8215.
Willard Van Orman Quine (1943):
Notes on Existence and Necessity.
The Journal of Philosophy 40(5),
pp. 113–127,
doi:10.2307/2017458.
Willard Van Orman Quine (1956):
Quantifiers and Propositional Attitudes.
The Journal of Philosophy 53(5),
pp. 177–187,
doi:10.2307/2022451.
Jiří Raclavský (2010):
On Partiality and Tichý's Transparent Intensional Logic.
Hungarian Philosophical Review 54(4),
pp. 120–128.
Jiří Raclavský (2018):
Existential Import and Relations of Categorical and Modal Categorical Statements.
Logic and Logical Philosophy 27(3),
pp. 271–300,
doi:10.12775/LLP.2017.026.
Jiří Raclavský (2020):
Belief Attitudes, Fine-Grained Hyperintensionality and Type-Theoretic Logic.
Studies in Logic 88.
College Publications.
Jiří Raclavský (2022):
The Rule of Existential Generalisation and Explicit Substitution.
Logic and Logical Philosophy 31(1),
pp. 105–141,
doi:10.12775/LLP.2021.011.
Jiří Raclavský, Petr Kuchyňka & Ivo Pezlar (2015):
Transparentní intenzionální logika jako characteristica universalis a calculus ratiocinator. [Transparent Intensional Logic as Characteristica Universalis and Calculus Ratiocinator].
Masarykova univerzita (Munipress).
Pavel Tichý (1982):
Foundations of Partial Type Theory.
Reports on Mathematical Logic 14,
pp. 57–72.
Pavel Tichý (1986):
Indiscernibility of Identicals.
Studia Logica 45(3),
pp. 251–273,
doi:10.1007/BF00375897.
Pavel Tichý (1988):
The Foundations of Frege's Logic.
Walter de Gruyter,
doi:10.1515/9783110849264.