scientific article; zbMATH DE number 1145122
From MaRDI portal
Publication:4384471
zbMath1053.03001MaRDI QIDQ4384471
Publication date: 26 April 1998
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Boolean algebrasyllogismmonadic algebralogicquantifierpropositional calculusmonadic predicate calculus
Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematical logic and foundations (03-01) Algebraic logic (03Gxx)
Related Items (10)
Domain and Range Operations in Semigroups and Rings ⋮ On Magari's concept of general calculus: notes on the history of tarski's methodology of deductive sciences ⋮ From Boolean algebra to unified algebra ⋮ Algebraic semantics for modal and superintuitionistic non-monotonic logics ⋮ A psychological theory of reasoning as logical evidence: a Piagetian perspective ⋮ Universality of Logic ⋮ Default Rules in the Logic of First-Degree Entailments ⋮ An algebraic approach to rule based expert systems ⋮ A note on algebraic semantics for \(\mathsf {S5}\) with propositional quantifiers ⋮ Compiling dyadic first-order specifications into map algebra
This page was built for publication:
