scientific article; zbMATH DE number 4135924

MaRDI QIDQ3469094zbMATH OpenFDO

Authors Pavel Materna, Petr Sgall, Eva Hajičová

Publication date 1988

zbMATH Keywords

type theorylambda calculustransparent intensional logictree structureslinguistic constructionsrepresentation of meanings

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Logic of natural languages (03B65) Combinatory logic and lambda calculus (03B40)

Recommendations

• Procedural semantics for hyperintensional logic. Foundations and applications of transparent intensional logic
• scientific article; zbMATH DE number 3843727
• Transparent intensional logic. A challenge
• scientific article; zbMATH DE number 5347850
• scientific article; zbMATH DE number 4164812

Cited in

(6)

• scientific article; zbMATH DE number 3639581 (Why is no real title available?)
• scientific article; zbMATH DE number 6423952 (Why is no real title available?)
• scientific article; zbMATH DE number 4164812 (Why is no real title available?)
• scientific article; zbMATH DE number 5938111 (Why is no real title available?)
• Principles for object-linguistic consequence: from logical to irreflexive
• Validity in intensional languages: A new approach

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