scientific article; zbMATH DE number 556651

MaRDI QIDQ4288975zbMATH OpenFDO

Authors Graeme Forbes

Publication date 25 April 1994

zbMATH Keywords

classical sentential logicfirst-order logic with identityfuzzy logicintuitionistic logicmodal logicmonadic predicate logic

Mathematics Subject Classification ID

Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematical logic and foundations (03-01) Classical propositional logic (03B05) Classical first-order logic (03B10) Subsystems of classical logic (including intuitionistic logic) (03B20) Modal logic (including the logic of norms) (03B45) Fuzzy logic; logic of vagueness (03B52)

Recommendations

• An introduction to non-classical logic. From if to is
• scientific article; zbMATH DE number 5840915
• An introduction to non-classical logic
• scientific article; zbMATH DE number 193061
• Philosophical and mathematical logic

Cited in

(4)

• On ground and consequence
• An introduction to non-classical logic. From if to is
• scientific article; zbMATH DE number 2018391 (Why is no real title available?)
• Fathoming formal logic. Vol. I: Theory and decision procedures for propositional 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 Q4288975)