On the logic of distributive nearlattices
Luciano J. González · Mathematical logic quarterly · 2022
Abstract We study the propositional logic associated with the variety of distributive nearlattices . We prove that the logic coincides with the assertional logic associated with the variety and with the order‐based logic associated with . We obtain a characterization of the reduced matrix models of logic . We develop a connection between the logic and the ‐fragment of classical logic. Finally, we present two Hilbert‐style axiomatizations for the logic .