On the public citation graph

Constructive generalized quantifiers

https://doi.org/10.1007/bf00873254
0 signed · 88 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-94-009-5203-4openalex-snapshot
Handbook of Philosophical Logic
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-017-0462-5openalex-snapshot
Handbook of Philosophical Logic
inferredcites →https://doi.org/10.1016/s0049-237x(08)71945-1openalex-snapshot
An Intuitionistic Theory of Types: Predicative Part
inferredcites →https://doi.org/10.1016/s0049-237x(09)70120-xopenalex-snapshot
The Type Theoretic Interpretation of Constructive Set Theory: Choice Principles
inferredcites →https://doi.org/10.2307/414091openalex-snapshot
Frege : Philosophy of language. By Michael Dummett. 2nd ed. Cambridge, MA: Harvard University Press, 1981. Pp. xliii, 708.

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.1002/9781118882139.ch11openalex-snapshot
Constructive Type Theory
inferred← citeshttps://doi.org/10.1002/9781119489252.ch3openalex-snapshot
Formal Semantics in Modern Type Theories
inferred← citeshttps://doi.org/10.1002/9781119489252.refsopenalex-snapshot
References
inferred← citeshttps://doi.org/10.1002/9781444324044.refsopenalex-snapshot
References
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/978-1-4020-6324-4_4openalex-snapshot
Quantifiers in Formal and Natural Languages
inferred← citeshttps://doi.org/10.1007/978-3-030-30077-7_1openalex-snapshot
Proof Irrelevance in Type-Theoretical Semantics
inferred← citeshttps://doi.org/10.1007/978-3-030-53654-1_16openalex-snapshot
On Descriptional Propositions in Ibn Sīnā: Elements for a Logical Analysis
inferred← citeshttps://doi.org/10.1007/978-3-030-90749-5_8openalex-snapshot
Ibn Ḥazm on Heteronomous Imperatives. A Landmark in the History of the Logical Analysis of Norms
inferred← citeshttps://doi.org/10.1007/978-3-031-52411-0_1openalex-snapshot
A Brief Summary of Göran Sundholm’s Philosophical Work
inferred← citeshttps://doi.org/10.1007/978-3-031-52411-0_5openalex-snapshot
Dialogical Logic and Constructive Type Theory: New Explorations
inferred← citeshttps://doi.org/10.1007/978-3-319-10061-6_8openalex-snapshot
Constructive Generalized Quantifiers Revisited
inferred← citeshttps://doi.org/10.1007/978-3-319-50422-3_1openalex-snapshot
Introduction: Modern Perspectives in Type Theoretical Semantics
inferred← citeshttps://doi.org/10.1007/978-3-319-50422-3_2openalex-snapshot
Context-Passing and Underspecification in Dependent Type Semantics
inferred← citeshttps://doi.org/10.1007/978-3-319-50422-3_5openalex-snapshot
Generalized Quantifiers on Dependent Types: A System for Anaphora
inferred← citeshttps://doi.org/10.1007/978-3-642-31262-5_12openalex-snapshot
Common Nouns as Types
inferred← citeshttps://doi.org/10.1007/978-3-662-43742-1_14openalex-snapshot
Formal Semantics in Modern Type Theories: Is It Model-Theoretic, Proof-Theoretic, or Both?
inferred← citeshttps://doi.org/10.1007/978-3-662-43742-1_2openalex-snapshot
Representing Anaphora with Dependent Types
inferred← citeshttps://doi.org/10.1007/978-3-662-59648-7_4openalex-snapshot
Quantificational Subordination as Anaphora to a Function
inferred← citeshttps://doi.org/10.1007/978-94-017-0524-0_1openalex-snapshot
Quantifiers and Inference
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/bf00627403openalex-snapshot
Intuitionistic categorial grammar
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/s10849-014-9208-xopenalex-snapshot
Natural Language Inference in Coq
inferred← citeshttps://doi.org/10.1007/s10849-017-9246-2openalex-snapshot
Adjectival and Adverbial Modification: The View from Modern Type Theories
inferred← citeshttps://doi.org/10.1007/s10849-023-09397-yopenalex-snapshot
Propositional Forms of Judgemental Interpretations
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.1017/9781009285322openalex-snapshot
Types and the Structure of Meaning
inferred← citeshttps://doi.org/10.1017/s0957423914000046openalex-snapshot
IBN SĪNĀ’S APPROACH TO EQUALITY AND UNITY
inferred← citeshttps://doi.org/10.1017/s0960129526100504openalex-snapshot
Variable polyadicity without events: a type-theoretic analysis of event semantics
inferred← citeshttps://doi.org/10.1017/s0960129526100577openalex-snapshot
Mathematical structures in natural language semantics: Zawadowski’s contribution to linguistics
inferred← citeshttps://doi.org/10.1093/acprof:oso/9780199291267.001.0001openalex-snapshot
Quantifiers in Language and Logic
inferred← citeshttps://doi.org/10.1093/acprof:oso/9780199291267.002.0003openalex-snapshot
Copyright Page
inferred← citeshttps://doi.org/10.1093/acprof:oso/9780199291267.002.0004openalex-snapshot
Dedication
inferred← citeshttps://doi.org/10.1093/acprof:oso/9780199291267.002.0005openalex-snapshot
Preface
inferred← citeshttps://doi.org/10.1093/acprof:oso/9780199291267.003.0001openalex-snapshot
Quantification
inferred← citeshttps://doi.org/10.1093/acprof:oso/9780199291267.003.0002openalex-snapshot
A Brief History of Quantification
inferred← citeshttps://doi.org/10.1093/acprof:oso/9780199291267.003.0003openalex-snapshot
The Emergence of Generalized Quantifiers in Modern Logic
inferred← citeshttps://doi.org/10.1093/acprof:oso/9780199291267.003.0004openalex-snapshot
Type 〈1〉 Quantifiers of Natural and Logical Languages
inferred← citeshttps://doi.org/10.1093/acprof:oso/9780199291267.003.0005openalex-snapshot
Type 〈1, 1〉 Quantifiers of Natural Language
inferred← citeshttps://doi.org/10.1093/acprof:oso/9780199291267.003.0006openalex-snapshot
Monotone Quantifiers
inferred← citeshttps://doi.org/10.1093/acprof:oso/9780199291267.003.0007openalex-snapshot
Symmetry and Other Relational Properties of Type 〈1, 1〉 Quantifiers
inferred← citeshttps://doi.org/10.1093/acprof:oso/9780199291267.003.0008openalex-snapshot
Possessive Quantifiers
inferred← citeshttps://doi.org/10.1093/acprof:oso/9780199291267.003.0009openalex-snapshot
Exceptive Quantifiers
inferred← citeshttps://doi.org/10.1093/acprof:oso/9780199291267.003.0010openalex-snapshot
Which Quantifiers are Logical?
inferred← citeshttps://doi.org/10.1093/acprof:oso/9780199291267.003.0011openalex-snapshot
Some Polyadic Quantifiers of Natural Language
inferred← citeshttps://doi.org/10.1093/acprof:oso/9780199291267.003.0012openalex-snapshot
The Concept of Expressiveness
inferred← citeshttps://doi.org/10.1093/acprof:oso/9780199291267.003.0013openalex-snapshot
Formalization: Expressibility, Definability, Compositionality
inferred← citeshttps://doi.org/10.1093/acprof:oso/9780199291267.003.0014openalex-snapshot
Definability and Undefinability in Logical Languages: Tools for the Monadic Case
inferred← citeshttps://doi.org/10.1093/acprof:oso/9780199291267.003.0015openalex-snapshot
Applications to Monadic Definability
inferred← citeshttps://doi.org/10.1093/acprof:oso/9780199291267.003.0016openalex-snapshot
EF-tools for Polyadic Quantifiers
inferred← citeshttps://doi.org/10.1093/oso/9780192871312.001.0001openalex-snapshot
From Perception to Communication
inferred← citeshttps://doi.org/10.1093/oso/9780192871312.002.0004openalex-snapshot
Copyright Page
inferred← citeshttps://doi.org/10.1093/oso/9780192871312.002.0005openalex-snapshot
Dedication
inferred← citeshttps://doi.org/10.1093/oso/9780192871312.002.0007openalex-snapshot
General preface
inferred← citeshttps://doi.org/10.1093/oso/9780192871312.002.0009openalex-snapshot
How to read this book
inferred← citeshttps://doi.org/10.1093/oso/9780192871312.002.0010openalex-snapshot
Symbols and notations used
inferred← citeshttps://doi.org/10.1093/oso/9780192871312.002.0011openalex-snapshot
Named types
inferred← citeshttps://doi.org/10.1093/oso/9780192871312.003.0001openalex-snapshot
Introduction
inferred← citeshttps://doi.org/10.1093/oso/9780192871312.003.0002openalex-snapshot
From perception to intensionality
inferred← citeshttps://doi.org/10.1093/oso/9780192871312.003.0003openalex-snapshot
From event perception and action to information states and information exchange
inferred← citeshttps://doi.org/10.1093/oso/9780192871312.003.0004openalex-snapshot
Grammar in a theory of action
inferred← citeshttps://doi.org/10.1093/oso/9780192871312.003.0005openalex-snapshot
Reference and mental states
inferred← citeshttps://doi.org/10.1093/oso/9780192871312.003.0006openalex-snapshot
Frames and descriptions
inferred← citeshttps://doi.org/10.1093/oso/9780192871312.003.0007openalex-snapshot
Modality and intensionality without possible worlds
inferred← citeshttps://doi.org/10.1093/oso/9780192871312.003.0008openalex-snapshot
Witness-based quantification
inferred← citeshttps://doi.org/10.1093/oso/9780192871312.003.0009openalex-snapshot
Type-based underspecification
inferred← citeshttps://doi.org/10.1093/oso/9780192871312.003.0010openalex-snapshot
Conclusion
inferred← citeshttps://doi.org/10.1093/oso/9780192871312.005.0001openalex-snapshot
APPENDIX TTR
inferred← citeshttps://doi.org/10.1093/oso/9780192894885.003.0006openalex-snapshot
Constructive Type Theory, An Appetizer
inferred← citeshttps://doi.org/10.13140/rg.2.1.4609.9603openalex-snapshot
Formal Semantics in Modern Type Theories: Theory and Implementation
inferred← citeshttps://doi.org/10.15398/jlm.v5i2.153openalex-snapshot
Factivity and presupposition in Dependent Type Semantics
inferred← citeshttps://doi.org/10.18653/v1/w19-57openalex-snapshot
Proceedings of the 16th Meeting on the Mathematics of Language
inferred← citeshttps://doi.org/10.18653/v1/w19-5704openalex-snapshot
Dependently-Typed Montague Semantics in the Proof Assistant Agda-flat
inferred← citeshttps://doi.org/10.21146/2074-1472-2018-24-2-36-58openalex-snapshot
«Онтологический квадрат» и теоретико-типовая семантика
inferred← citeshttps://doi.org/10.3115/v1/w14-14openalex-snapshot
Proceedings of the EACL 2014 Workshop on Type Theory and Natural Language Semantics (TTNLS)
inferred← citeshttps://doi.org/10.3115/v1/w14-1405openalex-snapshot
Natural Language Reasoning Using Proof-Assistant Technology: Rich Typing and Beyond
inferred← citeshttps://doi.org/10.3115/v1/w15-23openalex-snapshot
Proceedings of the 14th Meeting on the Mathematics of Language (MoL 2015)
inferred← citeshttps://doi.org/10.3115/v1/w15-2304openalex-snapshot
Individuation Criteria, Dot-types and Copredication: A View from Modern Type Theories
inferred← citeshttps://doi.org/10.48550/arxiv.1001.3604openalex-snapshot
Type-Safe Feature-Oriented Product Lines
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.