Selfextensional logics with a distributive nearlattice term
Logic
2018-02-13 v3
Abstract
We define when a ternary term of an algebraic language is called a \textit{distributive nearlattice term} (DN-term) of a sentential logic . 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