3088 varieties: A solution to the Ackermann constant problem

DOI10.2307/2274237MaRDI QIDQ3695256zbMATH OpenOpenAlexFDO

Authors 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

DeMorgan monoidsrelevant logicsentential constant

Mathematics Subject Classification ID

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

Recommendations

• Sentential constants in systems near R
• R and relevance principle revisited
• Sentential constants in R and \(R^{\neg}\)
• On the structure of De Morgan monoids with corollaries on relevant logic and theories
• The Ackermann constant theorem: A computer-assisted investigation

Cites work

• Classical relevant logics. I
• scientific article; zbMATH DE number 3504935 (Why is no real title available?)

Cited in

(15)

• Sentential constants in R and \(R^{\neg}\)
• On the structure of De Morgan monoids with corollaries on relevant logic and theories
• 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
• Varieties of De Morgan monoids: covers of atoms
• Singly generated quasivarieties and residuated structures
• Semilinear De Morgan monoids and epimorphisms
• Parallelizing the closure computation in automated deduction
• On pretabular extensions of relevance logic
• Automated reasoning and nonclassical logics: Introduction

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

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