Intuitionistic categorial grammar

DOI10.1007/BF00627403MaRDI QIDQ3348895zbMATH OpenOpenAlexFDO

Authors Aarne Ranta

Publication date 1991

Published in Linguistics and Philosophy (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/bf00627403

zbMATH Keywords

anaphoric referenceintuitionistic categorial grammarintuitionistic type theory of Martin- LöfMontague-style grammar

Mathematics Subject Classification ID

Logic of natural languages (03B65) Second- and higher-order arithmetic and fragments (03F35)

Recommendations

• Categorial grammar and type theory
• Publication:3035259
• Publication:4862312
• scientific article; zbMATH DE number 1568792
• scientific article; zbMATH DE number 1689579

Cites work

• scientific article; zbMATH DE number 4137754 (Why is no real title available?)
• scientific article; zbMATH DE number 50149 (Why is no real title available?)
• scientific article; zbMATH DE number 3521950 (Why is no real title available?)
• scientific article; zbMATH DE number 1028823 (Why is no real title available?)
• scientific article; zbMATH DE number 3331288 (Why is no real title available?)
• Combinatory logic. With two sections by William Craig.
• Dynamic predicate logic
• The Mathematics of Sentence Structure
• The calculus of constructions

Cited in

(12)

• scientific article; zbMATH DE number 4002071 (Why is no real title available?)
• Closed categories and categorial grammar
• scientific article; zbMATH DE number 4134012 (Why is no real title available?)
• Directions in generalized quantifier theory
• Type theory and the informal language of mathematics
• Unique typed basic categorial grammars
• Type Theory and the Theory of Meaning
• A constructive approach to state description semantics
• scientific article; zbMATH DE number 4203750 (Why is no real title available?)
• scientific article; zbMATH DE number 842687 (Why is no real title available?)
• scientific article; zbMATH DE number 6694121 (Why is no real title available?)
• A constructive type-theoretical formalism for the interpretation of subatomically sensitive natural language constructions

Describes a project that uses

Uses Software

• Automath

This page was built for publication: Intuitionistic categorial grammar

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3348895)