3088 varieties: A solution to the Ackermann constant problem

DOI10.2307/2274237zbMath0576.03015OpenAlexW2119089900MaRDI QIDQ3695256

John K. Slaney

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

zbMATH Keywords

relevant logicsentential constantDeMorgan monoids

Mathematics Subject Classification ID

General structure theory for semigroups (20M10) Varieties and pseudovarieties of semigroups (20M07) Free semigroups, generators and relations, word problems (20M05) Modal logic (including the logic of norms) (03B45) Other algebras related to logic (03G25)

Related Items (12)

2010 Winter Meeting of the Association for Symbolic Logic ⋮ Sentential constants in R and \(R^{\neg}\) ⋮ A pretabular classical relevance logic ⋮ VARIETIES OF DE MORGAN MONOIDS: COVERS OF ATOMS ⋮ Semilinear De Morgan monoids and epimorphisms ⋮ Singly generated quasivarieties and residuated structures ⋮ Varieties of De Morgan monoids: minimality and irreducible algebras ⋮ The Ackermann constant theorem: A computer-assisted investigation ⋮ Algorithms for finding matrix models of propositional calculi ⋮ Characterizing finite-valuedness ⋮ Sentential constants in systems near R ⋮ Automated reasoning and nonclassical logics: Introduction

Cites Work

• Unnamed Item
• Classical relevant logics. I

This page was built for publication: 3088 varieties: A solution to the Ackermann constant problem