Get 20M+ Full-Text Papers For Less Than $1.50/day. Start a 14-Day Trial for You or Your Team.

Learn More →

Checking Admissibility Using Natural Dualities

Checking Admissibility Using Natural Dualities This article presents a new method for obtaining small algebras to check the admissibility—equivalently, validity in free algebras—of quasi-identities in a finitely generated quasivariety. Unlike a previous algebraic approach of Metcalfe and Röthlisberger, which is feasible only when the relevant free algebra is not too large, this method exploits natural dualities for quasivarieties to work with structures of smaller cardinality and surjective rather than injective morphisms. A number of case studies are described here that could not be be solved using the algebraic approach, including (quasi)varieties of MS-algebras, double Stone algebras, and involutive Stone algebras. http://www.deepdyve.com/assets/images/DeepDyve-Logo-lg.png ACM Transactions on Computational Logic (TOCL) Association for Computing Machinery

Checking Admissibility Using Natural Dualities

Download PDF
19 pages

Loading next page...
 
/lp/association-for-computing-machinery/checking-admissibility-using-natural-dualities-P4Zugptlmy
Publisher
Association for Computing Machinery
Copyright
Copyright © 2018 ACM
ISSN
1529-3785
eISSN
1557-945X
DOI
10.1145/3275115
Publisher site
See Article on Publisher Site

Abstract

This article presents a new method for obtaining small algebras to check the admissibility—equivalently, validity in free algebras—of quasi-identities in a finitely generated quasivariety. Unlike a previous algebraic approach of Metcalfe and Röthlisberger, which is feasible only when the relevant free algebra is not too large, this method exploits natural dualities for quasivarieties to work with structures of smaller cardinality and surjective rather than injective morphisms. A number of case studies are described here that could not be be solved using the algebraic approach, including (quasi)varieties of MS-algebras, double Stone algebras, and involutive Stone algebras.

Journal

ACM Transactions on Computational Logic (TOCL) – Association for Computing Machinery

Published: Dec 20, 2018

Keywords: Quasivariety

References

  • Equational bases for varieties of Ockham algebras
    Adams, M. E.; Priestley, H. A.
  • Dwinger
    Balbes, R.; Ph,
  • On the dual space of an MS-algebra
    Blyth, T. S.; Varlet, J. C.
  • A Course in Universal Algebra
    Burris, S.; Sankappanavar, H. P.
  • Admissibility via natural duality
    Cabrer, L. M.; Metcalfe, G.
  • Sugihara algebras: admissibility via the test spaces method
    Cabrer, L. M.; Priestley, H. A.
  • The subdirect decomposition theorem for classes of structures closed under direct limits
    Caicedo, X.
  • Dualities for some De Morgan algebras with operators and Łukasiewicz algebras
    Cignoli, R.; de Gallego, M. S.
  • Structural completeness in fuzzy logics
    Cintula, P.; Metcalfe, G.
  • Admissible rules in the implication-negation fragment of intuitionistic logic
    Cintula, P.; Metcalfe, G.
  • Natural Dualities for the Working Algebraist
    Clark, D. M.; Davey, B. A.
  • Coproducts of de Morgan algebras
    Cornish, W. H.; Fowler, P. R.
  • Generalized piggyback dualities and applications to Ockham algebras
    Davey, B. A.; Priestley, H. A.
  • Proving termination with multiset orderings
    Dershowitz, N.; Manna, Z.
  • Algebraic completeness for R-mingle and its extensions
    Dunn, J. M.
  • Untersuchungen über das logische schliessen
    Gentzen, G.
  • Unification in intuitionistic logic
    Ghilardi, S.
  • Best solving modal equations
    Ghilardi, S.
  • Endodualisable and endoprimal finite double Stone algebras
    Haviar, M.; Priestley, H. A.
  • On the admissible rules of intuitionistic propositional logic
    Iemhoff, R.
  • Admissible rules of modal logics
    Jeřábek, E.
  • Admissible rules of Łukasiewicz logic
    Jeřábek, E.
  • Der Minimalkalkul, ein reduzierter intuitionistischer Formalismus
    Johansson, I.
  • Lattices with involution
    Kalman, J. A.
  • Einführung in Die Operative Logik und Mathematik
    Lorenzen, P.
  • An Avron rule for fragments of R-mingle
    Metcalfe, G.
  • Admissibility in De Morgan algebras
    Metcalfe, G.; Röthlisberger, C.
  • Admissibility in finitely generated quasivarieties
    Metcalfe, G.; Röthlisberger, C.
  • Varieties of distributive lattices with unary operations I
    Priestley, H. A.
  • Admissibility of Logical Inference Rules
    Rybakov, V.
  • Optimal natural dualities: The structure of failsets
    Saramago, M. J.; Priestley, H. A.