scientific article; zbMATH DE number 1145122

MaRDI QIDQ4384471zbMATH OpenFDO

Authors Paul Halmos, Steven R. Givant

Publication date 26 April 1998

zbMATH Keywords

Boolean algebralogicsyllogismmonadic algebrapropositional calculusquantifiermonadic predicate calculus

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)

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