Abstract.
A filter of a sentential logic ? is Leibniz when it is the smallest one among all the ?-filters on the same algebra having the same Leibniz congruence. This paper studies these filters and the sentential logic ?+ defined by the class of all ?-matrices whose filter is Leibniz, which is called the strong version of ?, in the context of protoalgebraic logics with theorems. Topics studied include an enhanced Correspondence Theorem, characterizations of the weak algebraizability of ?+ and of the explicit definability of Leibniz filters, and several theorems of transfer of metalogical properties from ? to ?+. For finitely equivalential logics stronger results are obtained. Besides the general theory, the paper examines the examples of modal logics, quantum logics and Łukasiewicz's finitely-valued logics. One finds that in some cases the existence of a weak and a strong version of a logic corresponds to well-known situations in the literature, such as the local and the global consequences for normal modal logics; while in others these constructions give an independent interest to the study of other lesser-known logics, such as the lattice-based many-valued logics.
Similar content being viewed by others
Author information
Authors and Affiliations
Additional information
Received: 30 October 1998 /¶Published online: 15 June 2001
Rights and permissions
About this article
Cite this article
Font, J., Jansana, R. Leibniz filters and the strong version of a protoalgebraic logic. Arch. Math. Logic 40, 437–465 (2001). https://doi.org/10.1007/PL00003848
Issue Date:
DOI: https://doi.org/10.1007/PL00003848