Struktursätze der Algebra und Kompliziertheit logischer Schemata. III Algebraische Theorien und Verallgemeinerungen
From MaRDI portal
Publication:4067159
DOI10.1002/MANA.19740640106zbMATH Open0309.08002OpenAlexW2046275562MaRDI QIDQ4067159FDOQ4067159
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
Structure theory of Boolean algebras (06E05) Foundations, relations to logic and deductive systems (18A15) Varieties (08B99)
Cites Work
- Title not available (Why is that?)
- Semantical Analysis of Modal Logic I Normal Modal Propositional Calculi
- Intuitionism. An introduction
- An algebraic approach to non-classical logics
- A Machine-Oriented Logic Based on the Resolution Principle
- A Computing Procedure for Quantification Theory
- Title not available (Why is that?)
- Representations by algebras of sections over Boolean spaces
- Title not available (Why is that?)
- Deductive systems and categories
- Title not available (Why is that?)
- Generalized ``Boolean theory of universal algebras. I. Subdirect sums and normal representation theorem
- Theorem-Proving for Computers: Some Results on Resolution and Renaming
- Structure of Semigroups
- Semi-Automated Mathematics
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)
