Skip to main content
Log in

Leibniz filters and the strong version of a protoalgebraic logic

  • Published:
Archive for Mathematical Logic Aims and scope Submit manuscript

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.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Similar content being viewed by others

Author information

Authors and Affiliations

Authors

Additional information

Received: 30 October 1998 /¶Published online: 15 June 2001

Rights and permissions

Reprints 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

Download citation

  • Issue Date:

  • DOI: https://doi.org/10.1007/PL00003848

Navigation