A constructive type-theoretical formalism for the interpretation of subatomically sensitive natural language constructions

DOI10.1007/s11225-012-9431-xzbMath1271.03045OpenAlexW2099774872MaRDI QIDQ692193

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

zbMATH Keywords

constructive type theoryproof-theoretic semantics of natural languagesubatomic semanticstype-theoretical grammar

Mathematics Subject Classification ID

Logic of natural languages (03B65)

Related Items (3)

Meaning and computing: two approaches to computable propositions ⋮ Constructive belief reports ⋮ Subatomic natural deduction for a naturalistic first-order language with non-primitive identity

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• The constructive Hilbert program and the limits of Martin-Löf type theory
• Associative substitutional semantics and quantified modal logic
• Proof-theoretic semantics for subsentential phrases
• Meaning approached via proofs
• RULES FOR SUBATOMIC DERIVATION
• Intuitionistic categorial grammar
• Proof-Theoretic Semantics for a Natural Language Fragment
• Situations as Strings

This page was built for publication: A constructive type-theoretical formalism for the interpretation of subatomically sensitive natural language constructions