On the public citation graph

Intuitionistic categorial grammar

https://doi.org/10.1007/bf00627403
0 signed · 37 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.
Claim with ORCID
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.
See reference health

What this work says

Outgoing claims: the papers this work cites, builds on, or argues with.

inferredcites →https://doi.org/10.1007/978-1-4020-4108-2_8openalex-snapshot
Conditionals, Generic Quantifiers, and Other Applications of Subgames
inferredcites →https://doi.org/10.1007/978-94-009-5203-4_8openalex-snapshot
Proof Theory and Meaning
inferredcites →https://doi.org/10.1007/978-94-009-5410-6openalex-snapshot
Anaphora and Definite Descriptions
inferredcites →https://doi.org/10.1007/978-94-010-2557-7_17openalex-snapshot
A Program for Syntax
inferredcites →https://doi.org/10.1007/bf00869607openalex-snapshot
Propositions as games as types
inferredcites →https://doi.org/10.1007/bf00873254openalex-snapshot
Constructive generalized quantifiers
inferredcites →https://doi.org/10.1007/bfb0060623openalex-snapshot
The mathematical language AUTOMATH, its usage, and some of its extensions
inferredcites →https://doi.org/10.1016/0890-5401(88)90005-3openalex-snapshot
The calculus of constructions
inferredcites →https://doi.org/10.1016/s0049-237x(08)71945-1openalex-snapshot
An Intuitionistic Theory of Types: Predicative Part
inferredcites →https://doi.org/10.1075/llsee.25.06benopenalex-snapshot
The semantics of variety in categorial grammar
inferredcites →https://doi.org/10.1080/00029890.1958.11989160openalex-snapshot
The Mathematics of Sentence Structure
inferredcites →https://doi.org/10.1098/rsta.1984.0073openalex-snapshot
Constructive mathematics and computer programming
inferredcites →https://doi.org/10.1145/138027.138060openalex-snapshot
A framework for defining logics
inferredcites →https://doi.org/10.1163/9789004252882_014openalex-snapshot
A Theory of Truth and Semantic Representation
inferredcites →https://doi.org/10.2307/2104477openalex-snapshot
Reference and Generality.
inferredcites →https://doi.org/10.2307/413582openalex-snapshot
Formal methods in the study of language . Edited by J. A. G. Groenendijk, T. M. V. Janssen, and M. B. J. Stokhof. 2 vols. (Mathematical Centre tracts, 135–36.) Amsterdam: Mathematisch Centrum, 1981. Pp. v, 599. f 40.95, f 35.70.

What points at this work

Incoming claims: where this work appears in other papers’ reference lists and arguments.

inferred← citeshttps://doi.org/10.1002/9780470773543.biblioopenalex-snapshot
Bibliography
inferred← citeshttps://doi.org/10.1007/3-540-48199-0_11openalex-snapshot
A Framework for the Hyperintensional Semantics of Natural Language with Two Implementations
inferred← citeshttps://doi.org/10.1007/3-540-58085-9_84openalex-snapshot
Type theory and the informal language of mathematics
inferred← citeshttps://doi.org/10.1007/978-3-319-50422-3_10openalex-snapshot
The Grail Theorem Prover: Type Theory for Syntax and Semantics
inferred← citeshttps://doi.org/10.1007/978-3-642-77189-7_10openalex-snapshot
Natural Language: From Knowledge to Cognition
inferred← citeshttps://doi.org/10.1007/978-94-017-2706-8_4openalex-snapshot
Mass Terms and Plurals in Property Theory
inferred← citeshttps://doi.org/10.1007/bf01057805openalex-snapshot
Directions in generalized quantifier theory
inferred← citeshttps://doi.org/10.1007/bfb0052155openalex-snapshot
Vagueness and type theory
inferred← citeshttps://doi.org/10.1007/s11225-012-9431-xopenalex-snapshot
A Constructive Type-Theoretical Formalism for the Interpretation of Subatomically Sensitive Natural Language Constructions
inferred← citeshttps://doi.org/10.1016/b978-0-444-53726-3.00011-6openalex-snapshot
Types
inferred← citeshttps://doi.org/10.1016/b978-0-444-53726-3.00012-8openalex-snapshot
Dynamics
inferred← citeshttps://doi.org/10.1016/b978-044481714-3/50013-8openalex-snapshot
Types
inferred← citeshttps://doi.org/10.1016/b978-044481714-3/50014-xopenalex-snapshot
Dynamics
inferred← citeshttps://doi.org/10.1016/s1570-8683(03)00003-xopenalex-snapshot
A constructive approach to state description semantics
inferred← citeshttps://doi.org/10.1017/9781009285322openalex-snapshot
Types and the Structure of Meaning
inferred← citeshttps://doi.org/10.1023/a:1005362917275openalex-snapshot
On the Theory of Anaphora: Dynamic Predicate Logic vs. Game-Theoretical Semantics
inferred← citeshttps://doi.org/10.1109/enc.2003.1232871openalex-snapshot
Constructive semantics for extensional PTQ
inferred← citeshttps://doi.org/10.1111/j.1749-818x.2009.00155.xopenalex-snapshot
GF: A Multilingual Grammar Formalism
inferred← citeshttps://doi.org/10.1145/3622758openalex-snapshot
Proceedings of the 2023 ACM SIGPLAN International Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software
inferred← citeshttps://doi.org/10.1145/3622758.3622890openalex-snapshot
Trustworthy Formal Natural Language Specifications
inferred← citeshttps://doi.org/10.4324/9780203882573-19openalex-snapshot
The architecture of meaning: Wittgenstein’s Tractatus and formal semantics
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.