scientific article

zbMATH Open0585.68001MaRDI QIDQ3709841

Author name not available (Why is that?)

Publication date: 1985

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

zbMATH Keywords

modal logicPROLOGlogic programmingresolution principlehigher order logiccategorical grammarPropositional LogicPredicate LogicSymbolic Logicintensiontal logicMontague Grammars

Mathematics Subject Classification ID

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

Related Items (1)

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

Recommendations

• Logic and philosophy today. Volume 2. 👍 👎
• LOGICALITY AND MEANING 👍 👎
• Logicism and Second-Order Logic 👍 👎
• Logic, logics, and logicism 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• 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 Q3709841)