A constructive type-theoretical formalism for the interpretation of subatomically sensitive natural language constructions
From MaRDI portal
Publication:692193
DOI10.1007/S11225-012-9431-XzbMATH Open1271.03045OpenAlexW2099774872MaRDI QIDQ692193FDOQ692193
Authors: Bartosz Więckowski 
Publication date: 4 December 2012
Published in: Studia Logica (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s11225-012-9431-x
Recommendations
constructive type theoryproof-theoretic semantics of natural languagesubatomic semanticstype-theoretical grammar
Cites Work
- Meaning approached via proofs
- Title not available (Why is that?)
- Title not available (Why is that?)
- Proof-theoretic semantics for a natural language fragment
- Proof-theoretic semantics for subsentential phrases
- Rules for subatomic derivation
- Associative substitutional semantics and quantified modal logic
- Intuitionistic categorial grammar
- The constructive Hilbert program and the limits of Martin-Löf type theory
- Title not available (Why is that?)
- Situations as Strings
Cited In (7)
- A model-theoretic reconstruction of type-theoretic semantics for anaphora
- Subatomic natural deduction for a naturalistic first-order language with non-primitive identity
- Type polymorphism, natural language semantics, and TIL
- Meaning and computing: two approaches to computable propositions
- Proof-theoretic semantics for subsentential phrases
- Records and Record Types in Semantic Theory
- Constructive belief reports
This page was built for publication: A constructive type-theoretical formalism for the interpretation of subatomically sensitive natural language constructions
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q692193)
