scientific article; zbMATH DE number 4135924

zbMATH Open0694.03024MaRDI QIDQ3469094FDOQ3469094

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

Publication date: 1988

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

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

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)

Cited In (6)

• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Principles for object-linguistic consequence: from logical to irreflexive
• Validity in intensional languages: A new approach
• Title not available (Why is that?)

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)