Struktursätze der Algebra und Kompliziertheit logischer Schemata. III Algebraische Theorien und Verallgemeinerungen
From MaRDI portal
Publication:4067159
DOI10.1002/mana.19740640106zbMath0309.08002MaRDI QIDQ4067159
Publication date: 1974
Published in: Mathematische Nachrichten (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1002/mana.19740640106
06E05: Structure theory of Boolean algebras
08B99: Varieties
18A15: Foundations, relations to logic and deductive systems
Cites Work
- Intuitionism. An introduction
- An algebraic approach to non-classical logics
- Representations by algebras of sections over Boolean spaces
- Generalized ``Boolean theory of universal algebras. I. Subdirect sums and normal representation theorem
- A Machine-Oriented Logic Based on the Resolution Principle
- Structure of Semigroups
- Theorem-Proving for Computers: Some Results on Resolution and Renaming
- Semi-Automated Mathematics
- Deductive systems and categories
- A Computing Procedure for Quantification Theory
- Semantical Analysis of Modal Logic I Normal Modal Propositional Calculi
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item