scientific article; zbMATH DE number 5360215

MaRDI QIDQ3532203zbMATH OpenFDO

Authors Nicholas M. Asher

Publication date 3 November 2008

zbMATH Keywords

categorial interpretationcoercioncomplex typescopredicationdot-typeslambda calculus

Mathematics Subject Classification ID

Combinatory logic and lambda calculus (03B40) Logic of natural languages (03B65)

Recommendations

• Automated Reasoning with Analytic Tableaux and Related Methods
• scientific article; zbMATH DE number 3521950
• Classical predicative logic-enriched type theories
• A type free theory and collective/distributive predication
• scientific article; zbMATH DE number 1302061
• scientific article; zbMATH DE number 3872692
• A Sequent Calculus for Type Theory
• scientific article; zbMATH DE number 3285192
• A typed resolution principle for deduction with conditional typing theory
• A Type Theory with Mixed Constructivity and Assignments

Cited in

(7)

• Predication and extensionalization
• Category theory, logic and formal linguistics: some connections, old and new
• Copredication, quantification and frames
• Resolving plural ambiguities by type reconstruction
• Individuation criteria, dot-types and copredication: a view from modern type theories
• Curry-typed semantics in type predicate logic
• Copredication, Davidson and logical form

Describes a project that uses

Uses Software

• GF

This page was built for publication:

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