3088 varieties: A solution to the Ackermann constant problem
From MaRDI portal
Publication:3695256
DOI10.2307/2274237zbMath0576.03015MaRDI QIDQ3695256
Publication date: 1985
Published in: Journal of Symbolic Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.2307/2274237
20M10: General structure theory for semigroups
20M07: Varieties and pseudovarieties of semigroups
20M05: Free semigroups, generators and relations, word problems
03B45: Modal logic (including the logic of norms)
03G25: Other algebras related to logic
Related Items
VARIETIES OF DE MORGAN MONOIDS: COVERS OF ATOMS, Singly generated quasivarieties and residuated structures, Semilinear De Morgan monoids and epimorphisms, Automated reasoning and nonclassical logics: Introduction, Sentential constants in R and \(R^{\neg}\), The Ackermann constant theorem: A computer-assisted investigation, Algorithms for finding matrix models of propositional calculi, Sentential constants in systems near R, Varieties of De Morgan monoids: minimality and irreducible algebras, Characterizing finite-valuedness, A pretabular classical relevance logic, 2010 Winter Meeting of the Association for Symbolic Logic
Cites Work