Curry-typed semantics in type predicate logic

MaRDI QIDQ5365491zbMATH OpenFDO

Authors

Publication date 6 October 2017

zbMATH Keywords

Curry typesintensionalitysemantics

Mathematics Subject Classification ID

Logic of natural languages (03B65)

Recommendations

• scientific article; zbMATH DE number 847938
• Stability and paradox in algorithmic logic
• An Expressive First-Order Logic with Flexible Typing for Natural Language Semantics
• scientific article; zbMATH DE number 5360215
• Underspecified Interpretations in a Curry-typed Representation Language

Cited in

(5)

• scientific article; zbMATH DE number 6476783 (Why is no real title available?)
• An Adequate, Denotational, Functional-Style Semantics for Typed FlatCurry
• Underspecified Interpretations in a Curry-typed Representation Language
• Existential type systems between Church and Curry style (type-free style)
• scientific article; zbMATH DE number 847938 (Why is no real title available?)

This page was built for publication: Curry-typed semantics in type predicate logic

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