On the public citation graph
A relational formulation of the theory of types
0 signed · 47 inferred · view as graph
Inferred edges come from two machine sources: sweeps of open repository metadata (mostly SSRN and Zenodo), and a bulk OpenAlex citation snapshot. Every row below is labelled with the one it came from. Neither is a complete citation index — absence here is not evidence of absence.
Is this your work? Sign in with ORCID and put your name on the
claims that are yours.
Reference health. See whether every reference in this work resolves to a
known work and none has been retracted — and get a dated CiteStamped
badge you can embed.
What this work says
Outgoing claims: the papers this work cites, builds on, or argues with.
inferredcites →https://doi.org/10.1002/malq.19570030104openalex-snapshot
Theorie der Logischen Auswahlfunktionen
inferredcites →https://doi.org/10.1007/978-3-540-89107-9_6openalex-snapshot
Grundlagen der Mathematik
inferredcites →https://doi.org/10.1007/978-94-009-2727-8_10openalex-snapshot
Generalized Quantifiers and Natural Language
inferredcites →https://doi.org/10.1007/978-94-010-2506-5_10openalex-snapshot
The Proper Treatment of Quantification in Ordinary English
inferredcites →https://doi.org/10.1007/bf00350139openalex-snapshot
Generalized quantifiers and natural language
inferredcites →https://doi.org/10.1007/bf00401693openalex-snapshot
A cross-categorial semantics for coordination
inferredcites →https://doi.org/10.1007/bf01448013openalex-snapshot
Über die Bausteine der mathematischen Logik
inferredcites →https://doi.org/10.1007/bf02429843openalex-snapshot
Descriptions in mathematical logic
inferredcites →https://doi.org/10.1007/bfb0097721openalex-snapshot
Eine Termlogik mit Auswahloperator
inferredcites →https://doi.org/10.1016/s0304-0208(08)x7029-xopenalex-snapshot
Intensional and Higher-Order Modal Logic
inferredcites →https://doi.org/10.1090/s0002-9947-1959-0107600-8openalex-snapshot
Model Theory for the Higher Order Predicate Calculus
inferredcites →https://doi.org/10.1093/oso/9780195136975.003.0015openalex-snapshot
Situations and Attitudes
inferredcites →https://doi.org/10.1163/9789004252882_014openalex-snapshot
A Theory of Truth and Semantic Representation
inferredcites →https://doi.org/10.1515/9783110867602openalex-snapshot
Truth, Interpretation and Information
inferredcites →https://doi.org/10.1515/9783111715773openalex-snapshot
Towards a theory of information
inferredcites →https://doi.org/10.2307/2266170openalex-snapshot
A formulation of the simple theory of types
inferredcites →https://doi.org/10.2307/2271770openalex-snapshot
Existence and Description in Formal Logic.
inferredcites →https://doi.org/10.2307/2272708openalex-snapshot
Bertrand Russell. Mathematical logic as based on the theory of types. A reprint of the first five sections of 11116. Contemporary readings in logical theory, edited by Irving M. Copi and James A. Gould, The Macmillan Company, New York, and Collier-Macmillan Limited, London, 1967, pp. 135–153.
inferredcites →https://doi.org/10.2307/2369948openalex-snapshot
Mathematical Logic as Based on the Theory of Types
inferredcites →https://doi.org/10.7275/bk1a-ns45openalex-snapshot
The Syntax and Semantics of Questions in Swedish
What points at this work
Incoming claims: where this work appears in other papers’ reference lists and arguments.
inferred← citeshttps://doi.org/10.1002/9780470758335.ch17openalex-snapshot
Type‐shifting Rules and the Semantics of Interrogatives
inferred← citeshttps://doi.org/10.1007/978-3-662-53826-5_11openalex-snapshot
A Computable Solution to Partee’s Temperature Puzzle
inferred← citeshttps://doi.org/10.1007/978-94-009-2723-0_2openalex-snapshot
Type-Shifting Rules and the Semantics of Interrogatives
inferred← citeshttps://doi.org/10.1007/bf00263539openalex-snapshot
Categorial grammar and type theory
inferred← citeshttps://doi.org/10.1007/bfb0023421openalex-snapshot
Logical omniscience and classical logic
inferred← citeshttps://doi.org/10.1007/s11098-025-02310-2openalex-snapshot
Opacity in the book of the world?
inferred← citeshttps://doi.org/10.1016/j.jcss.2011.08.005openalex-snapshot
When are different type-logical semantic definitions defining equivalent meanings?
inferred← citeshttps://doi.org/10.1093/arisoc/aoz013openalex-snapshot
VIII—Propositions and Cognitive Relations
inferred← citeshttps://doi.org/10.1093/logcom/exac089openalex-snapshot
Completeness in partial type theory
inferred← citeshttps://doi.org/10.1093/logcom/exq017openalex-snapshot
Relations Versus Functions at the Foundations of Logic: Type-Theoretic Considerations
inferred← citeshttps://doi.org/10.1093/logcom/exs074openalex-snapshot
A single-type logic for natural language
inferred← citeshttps://doi.org/10.1093/oxfordhb/9780199541072.013.0001openalex-snapshot
Compositionality: Its Historic Context
inferred← citeshttps://doi.org/10.1111/theo.12247openalex-snapshot
Utterances, Sub‐utterances and Token‐Reflexivity
inferred← citeshttps://doi.org/10.18148/sub/2007.v11i0.632openalex-snapshot
A modular approach to intensionality
inferred← citeshttps://doi.org/10.2178/jsl/1174668386openalex-snapshot
Intensional models for the theory of types
Editorial review for independent work. ICSAC — the Institute for Complexity
Science and Advanced Computing — runs a structured editorial panel for researchers
publishing outside journals, and publishes on CiteStamp rails. Submission is free
and goes through ORCID: icsacinstitute.org/submit.