scientific article; zbMATH DE number 5360215

zbMATH Open1157.03009MaRDI QIDQ3532203FDOQ3532203

Authors: Nicholas M. Asher 

Publication date: 3 November 2008

Title of this publication is not available (Why is that?)

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

zbMATH Keywords

lambda calculuscoercioncopredicationcategorial interpretationcomplex typesdot-types

Mathematics Subject Classification ID

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

Cited In (7)

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

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)