scientific article; zbMATH DE number 1145122

MaRDI QIDQ4384471zbMATH OpenFDO

Authors Paul Halmos, Steven R. Givant

Publication date 26 April 1998

zbMATH Keywords

Boolean algebralogicmonadic algebramonadic predicate calculuspropositional calculusquantifiersyllogism

Mathematics Subject Classification ID

Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematical logic and foundations (03-01) Algebraic logic (03Gxx)

Recommendations

• Abstract algebraic logic. An introductory textbook
• scientific article; zbMATH DE number 427553
• scientific article; zbMATH DE number 3245439

Cited in

(16)

• Algebraic logic. Transl. from the Russian by Robert H. Silverman
• Compiling dyadic first-order specifications into map algebra
• From Boolean algebra to unified algebra
• A note on algebraic semantics for \(\mathsf {S5}\) with propositional quantifiers
• Algebraic methods in philosophical logic
• Logic in Whitehead's universal algebra
• Abstract algebraic logic. An introductory textbook
• scientific article; zbMATH DE number 3164639 (Why is no real title available?)
• Default rules in the logic of first-degree entailments
• Domain and range operations in semigroups and rings.
• Algebraic semantics for modal and superintuitionistic non-monotonic logics
• Universality of logic
• scientific article; zbMATH DE number 1852925 (Why is no real title available?)
• On Magari's concept of general calculus: notes on the history of tarski's methodology of deductive sciences
• A psychological theory of reasoning as logical evidence: a Piagetian perspective
• An algebraic approach to rule based expert systems

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 Q4384471)