scientific article; zbMATH DE number 847938

MaRDI QIDQ4866983zbMATH OpenFDO

Authors Fairouz Kamareddine

Publication date 19 March 1996

zbMATH Keywords

natural language semanticsself-referencetype free \(\lambda\)-calculustype freeness

Mathematics Subject Classification ID

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

Recommendations

• Curry-typed semantics in type predicate logic
• Nominalization, predication and type containment
• A single-type logic for natural language
• Stability and paradox in algorithmic logic
• An Expressive First-Order Logic with Flexible Typing for Natural Language Semantics

Cited in

(6)

• A unified approach to type theory through a refined -calculus
• Type reconstruction for -DRT applied to pronoun resolution
• Resolving plural ambiguities by type reconstruction
• scientific article; zbMATH DE number 549987 (Why is no real title available?)
• Curry-typed semantics in type predicate logic
• Stability and paradox in algorithmic logic

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 Q4866983)