scientific article; zbMATH DE number 1145122
From MaRDI portal
Publication:4384471
zbMATH Open1053.03001MaRDI QIDQ4384471FDOQ4384471
Authors: Paul Halmos, Steven R. Givant 
Publication date: 26 April 1998
Title of this publication is not available (Why is that?)
Recommendations
Boolean algebralogicsyllogismmonadic algebrapropositional calculusquantifiermonadic predicate calculus
Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematical logic and foundations (03-01) Algebraic logic (03Gxx)
Cited In (16)
- Default rules in the logic of first-degree entailments
- Title not available (Why is that?)
- Algebraic semantics for modal and superintuitionistic non-monotonic logics
- Domain and range operations in semigroups and rings.
- Title not available (Why is that?)
- 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)
