scientific article; zbMATH DE number 3938516

MaRDI QIDQ3709841zbMATH OpenFDO

Authors

Publication date 1985

zbMATH Keywords

categorical grammarhigher order logicintensiontal logiclogic programmingmodal logicMontague GrammarsPredicate LogicPROLOGPropositional Logicresolution principleSymbolic Logic

Mathematics Subject Classification ID

Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematical logic and foundations (03-01) Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science (68-01)

Recommendations

• scientific article; zbMATH DE number 2061768
• scientific article; zbMATH DE number 6900694
• scientific article; zbMATH DE number 6900693
• Logicism and Second-Order Logic
• Logicality and meaning
• scientific article; zbMATH DE number 1749011
• Logic and philosophy today. Volume 2.
• scientific article; zbMATH DE number 3898864
• Logic, logics, and logicism

Cited in

(3)

• Stoic logic. An exact reproduction of the text originally published by the University of California Press in 1953 and reprinted with a new preface in 1973
• Logic for informatics and artificial intelligence
• Fathoming formal logic. Vol. II: Semantics and proof theory for predicate 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 Q3709841)