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 (15)
- Title not available (Why is that?)
- Algebraic semantics for modal and superintuitionistic non-monotonic logics
- Title not available (Why is that?)
- Default Rules in the Logic of First-Degree Entailments
- 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
- Universality of Logic
- A psychological theory of reasoning as logical evidence: a Piagetian perspective
- Domain and Range Operations in Semigroups and Rings
- Compiling dyadic first-order specifications into map algebra
- Algebraic methods in philosophical logic
- A note on algebraic semantics for \(\mathsf {S5}\) with propositional quantifiers
- Algebraic logic. Transl. from the Russian by Robert H. Silverman
- 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)
