English

Selfextensional logics with a distributive nearlattice term

Logic 2018-02-13 v3

Abstract

We define when a ternary term mm of an algebraic language L\mathcal{L} is called a \textit{distributive nearlattice term} (DN-term) of a sentential logic S\mathcal{S}. Distributive nearlattices are ternary algebras generalising Tarski algebras and distributive lattices. We characterise the selfextensional logics with a DN-term through the interpretation of the DN-term in the algebras of the algebraic counterpart of the logics. We prove that the canonical class of algebras (under the point of view of Abstract Algebraic Logic) associated with a selfextensional logic with a DN-term is a variety, and we obtain that the logic is in fact fully selfextensional.

Keywords

Cite

@article{arxiv.1704.05925,
  title  = {Selfextensional logics with a distributive nearlattice term},
  author = {Luciano J. González},
  journal= {arXiv preprint arXiv:1704.05925},
  year   = {2018}
}

Comments

25 pages

R2 v1 2026-06-22T19:21:59.924Z