Files
Document type
ArticleVersion
Published versionPublication date
Publication license
Please use this identifier to cite or link to this item: https://hdl.handle.net/2445/225275
On Nilpotent Minimum logics defined by lattice filters and their paraconsistent non-falsity preserving companions.
Journal Title
Director/Tutor
Journal ISSN
Volume Title
Related resource
Abstract
Nilpotent Minimum logic (NML) is a substructural algebraizable logic that is a distinguished member of the family of systems of Mathematical Fuzzy logic, and at the same time it is the axiomatic extension with the prelinearity axiom of Nelson and Markov’s Constructive logic with strong negation. In this paper our main aim is to characterize and axiomatize paraconsistent variants of NML and its extensions defined by (sets of) logical matrices over linearly ordered NM-algebra with lattice filters as designated values, with special emphasis on those that only exclude the falsum truth-value, called non-falsity preserving logics. We also consider turning these non-falsity preserving logics into Logics of Formal Inconsistency by expanding them with a consistency operator, and we axiomatize them as well. Finally, we provide a full description of the logics defined by finite products of matrices over finite NM-chains.
Subject
Subject (English)
Citation
Citation
GISPERT BRASÓ, Joan, et al. On Nilpotent Minimum logics defined by lattice filters and their paraconsistent non-falsity preserving companions. Logic Journal of the IGPL. 2025. Vol. 33, num. 3. ISSN 1367-0751. [consulted: 6 of June of 2026]. Available at: https://hdl.handle.net/2445/225275