arXiv subjects

Luciano J. González

Publications and source records attributed to Luciano J. González.

4 recordsLinked to original sources

arXiv2023

Algebraic logic for the negation fragment of classical logic

The general aim of this article is to study the negation fragment of classical logic within the framework of contemporary (Abstract) Algebraic Logic. More precisely, we shall find the three classes of algebras that are canonically associated with a logic in Algebraic Logic, that is, we find the classes $\mathrm{Alg}^*$, $\mathrm{Alg}$ and the intrinsic variety of the negation fragment of classical logic. In order to achieve this, firstly we propose a Hilbert-style axiomatization for this fragment. Then, we characterize the reduced matrix models and the full generalized matrix models of this logic. Also, we classify the negation fragment in the Leibniz and Frege hierarchies.

math.LO↗

arXiv2021

Finite distributive nearlattices

Our main goal is to develop a representation for finite distributive nearlattices through certain ordered structures. This representation generalizes the well-known representation given by Birkhoff for finite distributive lattices through finite posets. We also study finite distributive nearlattices through the concepts of dual atoms, boolean elements, complemented elements and irreducible elements. We prove that the sets of boolean elements and complemented elements form semi-boolean algebras. We show that the set of boolean elements of a finite distributive lattice is a boolean lattice.

math.RA↗

arXiv2018

A characterization of the canonical extension of Boolean homomorphisms

This article aims to obtain a characterization of the canonical extension of Boolean homomorphisms through the Stone-Čech compactification. Then, we will show that one-to-one homomorphisms and onto homomorphisms extend to one-to-one homomorphisms and onto homomorphisms, respectively.

math.LO↗

arXiv2018

Selfextensional logics with a distributive nearlattice term

We define when a ternary term $m$ of an algebraic language $\mathcal{L}$ is called a \textit{distributive nearlattice term} (DN-term) of a sentential logic $\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.

math.LO↗