scientific article
From MaRDI portal
Publication:3037385
zbMath0524.03004MaRDI QIDQ3037385
Publication date: 1982
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
bibliographybiographynormal matricesBoolean prime ideal theoremtruth-tableslogical matrixLindenbaum algebrasconsistent set of first order sentencesdeductively closed set of propositional formulas
History of mathematics in the 20th century (01A60) Biographies, obituaries, personalia, bibliographies (01A70) History of mathematical logic and foundations (03-03) Logical aspects of Boolean algebras (03G05)
Related Items (4)
Abstract interpretation as automated deduction ⋮ Abstract algebraic logic. An introductory chapter ⋮ The Lvov-Warsaw School: A True Mythology ⋮ SUSZKO’S PROBLEM: MIXED CONSEQUENCE AND COMPOSITIONALITY
This page was built for publication:
