@book(andrews1986,
 author       = {Peter B. Andrews},
 year         = {1986},
 title        = {An Introduction to Mathematical Logic and Type Theory: To Truth Through Proof},
 series       = {Computer Science and Applied Mathematics},
 publisher    = {Academic Press},
)
@incollection(benzmuller-andrews2019-sep-ctt,
 author       = {Christoph Benzm\"{u}ller and Peter S. Andrews},
 year         = {2019},
 title        = {Church's Type Theory},
 editor       = {Edward N. Zalta},
 booktitle    = {The Stanford Encyclopedia of Philosophy},
 edition      = {summer 2019},
 url          = {https://plato.stanford.edu/archives/sum2019/entries/type-theory-church},
)
@incollection(blamey1986,
 author       = {Stephen Blamey},
 year         = {2002},
 title        = {Partial Logic},
 editor       = {Dov Gabbay and Franz Guenthner},
 booktitle    = {Handbook of Philosophical Logic},
 volume       = {5},
 publisher    = {Springer},
 pages        = {261--353},
 doi          = {10.1007/978-94-017-0458-8_5},
)
@article(church1940,
 author       = {Alonzo Church},
 year         = {1940},
 title        = {A Formulation of the Simple Theory of Types},
 journal      = {The Journal of Symbolic Logic},
 volume       = {5},
 number       = {2},
 pages        = {56--68},
 doi          = {10.2307/2266170},
)
@article(farmer1990,
 author       = {William M. Farmer},
 year         = {1990},
 title        = {A Partial Functions Version of Church's Simple Theory of Types},
 journal      = {Journal of Symbolic Logic},
 volume       = {55},
 number       = {3},
 pages        = {1269--1291},
 doi          = {10.2307/2274487},
)
@book(frege1884,
 author       = {Gottlob Frege},
 year         = {1879},
 title        = {Grundlagen der Arithmetik. Eine logisch-mathematische Untersuchung \"{u}ber den Begriff der Zahl},
 publisher    = {Verlag von Wilhelm Koebner},
)
@article(frege1951,
 author       = {Gottlob Frege},
 year         = {1951},
 title        = {On Concept and Object},
 journal      = {Mind},
 volume       = {60},
 number       = {238},
 pages        = {168--180},
 doi          = {10.1093/mind/LX.238.168},
)
@incollection(frege1979-existence,
 author       = {Gottlob Frege},
 year         = {1979},
 title        = {Dialogue with P\"{u}njer on Existence},
 editor       = {Hans Hermes and Friedrich Kambartel and Friedrich Kaulbach},
 booktitle    = {Posthumous Writings},
 publisher    = {University of Chicago Press},
 pages        = {53--67},
)
@article(henkin1963,
 author       = {Leon Henkin},
 year         = {1963},
 title        = {A Theory of Propositional Types},
 journal      = {Fundamenta Mathematicae},
 volume       = {52},
 pages        = {323--334},
 doi          = {10.4064/fm-52-3-323-344},
)
@book(hindley-seldin2008,
 author       = {James R. Hindley and Jonathan P. Seldin},
 year         = {2008},
 title        = {Lambda-Calculus and Combinators, an Introduction},
 publisher    = {Cambridge University Press},
 doi          = {10.1017/CBO9780511809835},
)
@book(indrzejczak2010,
 author       = {Andrzej Indrzejczak},
 year         = {2010},
 title        = {Natural Deduction, Hybrid Systems and Modal Logics},
 publisher    = {Springer},
 doi          = {10.1007/978-90-481-8785-0},
)
@article(kaplan1968,
 author       = {David Kaplan},
 year         = {1968},
 title        = {Quantifying In},
 journal      = {Synthese},
 volume       = {19},
 number       = {1--2},
 pages        = {178--214},
 doi          = {10.1007/BF00568057},
)
@article(moschovakis2006-meaningandsynonymy,
 author       = {Yiannis N. Moschovakis},
 year         = {2005},
 title        = {A Logical Calculus of Meaning and Synonymy},
 journal      = {Linguistics and Philosophy},
 volume       = {29},
 number       = {1},
 pages        = {27--89},
 doi          = {10.1007/s10988-005-6920-7},
)
@book(negri-plato-ranta2001,
 author       = {Sara Negri and Jan von Plato and Aarne Ranta},
 year         = {2001},
 title        = {Structural Proof Theory},
 publisher    = {Cambridge University Press},
 doi          = {10.1017/CBO9780511527340},
)
@book(prawitz2006,
 author       = {Dag Prawitz},
 year         = {2006},
 title        = {Natural Deduction: A Proof-Theoretical Study},
 publisher    = {Dover Publications},
)
@book(quieroz-oliviera-gabbay2011,
 author       = {Ruy J. G. B. de Queiroz and Anjolina G. de Oliveira and Dov M. Gabbay},
 year         = {2011},
 title        = {The Functional Interpretation of Logical Deduction},
 publisher    = {World Scientific},
 doi          = {10.1142/8215},
)
@article(quine1943,
 author       = {Willard Van Orman Quine},
 year         = {1943},
 title        = {Notes on Existence and Necessity},
 journal      = {The Journal of Philosophy},
 volume       = {40},
 number       = {5},
 pages        = {113--127},
 doi          = {10.2307/2017458},
)
@article(quine1956,
 author       = {Willard Van Orman Quine},
 year         = {1956},
 title        = {Quantifiers and Propositional Attitudes},
 journal      = {The Journal of Philosophy},
 volume       = {53},
 number       = {5},
 pages        = {177--187},
 doi          = {10.2307/2022451},
)
@article(raclavsky2010-partiality,
 author       = {Ji\v{r}\'{i} Raclavsk\'{y}},
 year         = {2010},
 title        = {On Partiality and Tich\'{y}'s Transparent Intensional Logic},
 journal      = {Hungarian Philosophical Review},
 volume       = {54},
 number       = {4},
 pages        = {120--128},
)
@article(raclavsky2018-existimport,
 author       = {Ji\v{r}\'{i} Raclavsk\'{y}},
 year         = {2018},
 title        = {Existential Import and Relations of Categorical and Modal Categorical Statements},
 journal      = {Logic and Logical Philosophy},
 volume       = {27},
 number       = {3},
 pages        = {271--300},
 doi          = {10.12775/LLP.2017.026},
)
@book(raclavsky2020-book,
 author       = {Ji\v{r}\'{i} Raclavsk\'{y}},
 year         = {2020},
 title        = {Belief Attitudes, Fine-Grained Hyperintensionality and Type-Theoretic Logic},
 series       = {Studies in Logic 88},
 publisher    = {College Publications},
)
@article(raclavsky2021-eg,
 author       = {Ji\v{r}\'{i} Raclavsk\'{y}},
 year         = {2022},
 title        = {The Rule of Existential Generalisation and Explicit Substitution},
 journal      = {Logic and Logical Philosophy},
 volume       = {31},
 number       = {1},
 pages        = {105--141},
 doi          = {10.12775/LLP.2021.011},
)
@book(raclavsky-kuchynka-pezlar2015,
 author       = {Ji\v{r}\'{i} Raclavsk\'{y} and Kuchy\v{n}ka, Petr and Ivo Pezlar},
 year         = {2015},
 title        = {Transparentn\'{i} intenzion\'{a}ln\'{i} logika jako characteristica universalis a calculus ratiocinator. [Transparent Intensional Logic as Characteristica Universalis and Calculus Ratiocinator]},
 publisher    = {Masarykova univerzita (Munipress)},
)
@article(tichy1982-partialtt,
 author       = {Pavel Tich\'{y}},
 year         = {1982},
 title        = {Foundations of Partial Type Theory},
 journal      = {Reports on Mathematical Logic},
 volume       = {14},
 pages        = {57--72},
)
@article(tichy1986-indiscernibility,
 author       = {Pavel Tich\'{y}},
 year         = {1986},
 title        = {Indiscernibility of Identicals},
 journal      = {Studia Logica},
 volume       = {45},
 number       = {3},
 pages        = {251--273},
 doi          = {10.1007/BF00375897},
)
@book(tichy1988-ffl,
 author       = {Pavel Tich\'{y}},
 year         = {1988},
 title        = {The Foundations of Frege's Logic},
 publisher    = {Walter de Gruyter},
 doi          = {10.1515/9783110849264},
)
@incollection(uzquiano2020-sep,
 author       = {Gabriel Uzquiano},
 year         = {2020},
 title        = {Quantifiers and Quantification},
 editor       = {Edward N. Zalta},
 booktitle    = {The Stanford Encyclopedia of Philosophy},
 edition      = {summer 2020},
 url          = {https://plato.stanford.edu/archives/sum2020/entries/quantification/},
)