arXiv:1501.06141 Abstract | arXiv Analytics

arXiv:1501.06141 [math.LO]Abstract References Reviews Resources

Admissibility via Natural Dualities

Published 2015-01-25Version 1

It is shown that admissible clauses and quasi-identities of quasivarieties generated by a single finite algebra, or equivalently, the quasiequational and universal theories of their free algebras on countably infinitely many generators, may be characterized using natural dualities. In particular, axiomatizations are obtained for the admissible clauses and quasi-identities of bounded distributive lattices, Stone algebras, Kleene algebras and lattices, and De Morgan algebras and lattices.

Comments: 22 pages; 3 figures

Categories: math.LO

Subjects: 08C15, 08C20, 06D30, 08B20

Keywords: natural dualities, admissibility, admissible clauses, single finite algebra, stone algebras

Related articles: Most relevant | Search more

arXiv:2502.00827 [math.LO] (Published 2025-02-02)

A new categorial equivalence for Stone Algebras

Ismael Calomino, Gustavo Pelaitay

arXiv:2406.03265 [math.LO] (Published 2024-06-05)

Unification with Simple Variable Restrictions and Admissibility of $Π_{2}$-rules

Rodrigo Nicolau Almeida, Silvio Ghilardi

arXiv:1508.05527 [math.LO] (Published 2015-08-22)