pith. sign in

arxiv: 1501.06141 · v1 · pith:3ZI4TDFLnew · submitted 2015-01-25 · 🧮 math.LO

Admissibility via Natural Dualities

classification 🧮 math.LO
keywords algebraslatticesadmissibleclausesdualitiesnaturalquasi-identitiesadmissibility
0
0 comments X
read the original abstract

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.

This paper has not been read by Pith yet.

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.