Intuitionistic categorial grammar

DOI10.1007/BF00627403zbMATH Open0727.03019OpenAlexW1992022411MaRDI QIDQ3348895FDOQ3348895

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

Recommendations

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

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)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Combinatory logic. With two sections by William Craig.
• The Mathematics of Sentence Structure
• The calculus of constructions
• Dynamic predicate logic
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)

Cited In (12)

• Title not available (Why is that?)
• Closed categories and categorial grammar
• Title not available (Why is that?)
• 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
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• A constructive type-theoretical formalism for the interpretation of subatomically sensitive natural language constructions

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)