scientific article; zbMATH DE number 556651

zbMATH Open0796.03002MaRDI QIDQ4288975FDOQ4288975

Authors: Graeme Forbes 

Publication date: 25 April 1994

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

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

zbMATH Keywords

intuitionistic logicmodal logicfuzzy logicfirst-order logic with identitymonadic predicate logicclassical sentential logic

Mathematics Subject Classification ID

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

Cited In (4)

• An introduction to non-classical logic. From if to is
• Fathoming formal logic. Vol. I: Theory and decision procedures for propositional logic
• On ground and consequence
• 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 Q4288975)