Struktursätze der Algebra und Kompliziertheit logischer Schemata. III Algebraische Theorien und Verallgemeinerungen

DOI10.1002/MANA.19740640106MaRDI QIDQ4067159zbMATH OpenOpenAlexFDO

Authors Hans-Jürgen Hoehnke

Publication date 1974

Published in Mathematische Nachrichten (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1002/mana.19740640106

Mathematics Subject Classification ID

Structure theory of Boolean algebras (06E05) Foundations, relations to logic and deductive systems (18A15) Varieties (08B99)

Cites work

• scientific article; zbMATH DE number 3216177 (Why is no real title available?)
• scientific article; zbMATH DE number 3359806 (Why is no real title available?)
• scientific article; zbMATH DE number 3367062 (Why is no real title available?)
• scientific article; zbMATH DE number 3198011 (Why is no real title available?)
• A Computing Procedure for Quantification Theory
• A Machine-Oriented Logic Based on the Resolution Principle
• An algebraic approach to non-classical logics
• Deductive systems and categories
• Generalized ``Boolean theory of universal algebras. I. Subdirect sums and normal representation theorem
• Intuitionism. An introduction
• Representations by algebras of sections over Boolean spaces
• Semantical Analysis of Modal Logic I Normal Modal Propositional Calculi
• Semi-Automated Mathematics
• Structure of Semigroups
• Theorem-Proving for Computers: Some Results on Resolution and Renaming

This page was built for publication: Struktursätze der Algebra und Kompliziertheit logischer Schemata. III Algebraische Theorien und Verallgemeinerungen

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4067159)