A constructive type-theoretical formalism for the interpretation of subatomically sensitive natural language constructions
From MaRDI portal
(Redirected from Publication:692193)
Recommendations
Cites work
- scientific article; zbMATH DE number 50149 (Why is no real title available?)
- scientific article; zbMATH DE number 1794702 (Why is no real title available?)
- scientific article; zbMATH DE number 783772 (Why is no real title available?)
- Associative substitutional semantics and quantified modal logic
- Intuitionistic categorial grammar
- Meaning approached via proofs
- Proof-theoretic semantics for a natural language fragment
- Proof-theoretic semantics for subsentential phrases
- Rules for subatomic derivation
- Situations as Strings
- The constructive Hilbert program and the limits of Martin-Löf type theory
Cited in
(7)- Type polymorphism, natural language semantics, and TIL
- Proof-theoretic semantics for subsentential phrases
- Records and Record Types in Semantic Theory
- Constructive belief reports
- A model-theoretic reconstruction of type-theoretic semantics for anaphora
- Subatomic natural deduction for a naturalistic first-order language with non-primitive identity
- Meaning and computing: two approaches to computable propositions
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)
