Powered by OpenAIRE graph
Found an issue? Give us feedback
image/svg+xml art designer at PLoS, modified by Wikipedia users Nina, Beao, JakobVoss, and AnonMoos Open Access logo, converted into svg, designed by PLoS. This version with transparent background. http://commons.wikimedia.org/wiki/File:Open_Access_logo_PLoS_white.svg art designer at PLoS, modified by Wikipedia users Nina, Beao, JakobVoss, and AnonMoos http://www.plos.org/ Journal of Logic and...arrow_drop_down
image/svg+xml art designer at PLoS, modified by Wikipedia users Nina, Beao, JakobVoss, and AnonMoos Open Access logo, converted into svg, designed by PLoS. This version with transparent background. http://commons.wikimedia.org/wiki/File:Open_Access_logo_PLoS_white.svg art designer at PLoS, modified by Wikipedia users Nina, Beao, JakobVoss, and AnonMoos http://www.plos.org/
Journal of Logic and Computation
Article . 2021 . Peer-reviewed
License: CC BY
Data sources: Crossref
image/svg+xml art designer at PLoS, modified by Wikipedia users Nina, Beao, JakobVoss, and AnonMoos Open Access logo, converted into svg, designed by PLoS. This version with transparent background. http://commons.wikimedia.org/wiki/File:Open_Access_logo_PLoS_white.svg art designer at PLoS, modified by Wikipedia users Nina, Beao, JakobVoss, and AnonMoos http://www.plos.org/
Journal of Logic and Computation
Article
License: CC BY
Data sources: UnpayWall
image/svg+xml art designer at PLoS, modified by Wikipedia users Nina, Beao, JakobVoss, and AnonMoos Open Access logo, converted into svg, designed by PLoS. This version with transparent background. http://commons.wikimedia.org/wiki/File:Open_Access_logo_PLoS_white.svg art designer at PLoS, modified by Wikipedia users Nina, Beao, JakobVoss, and AnonMoos http://www.plos.org/
image/svg+xml art designer at PLoS, modified by Wikipedia users Nina, Beao, JakobVoss, and AnonMoos Open Access logo, converted into svg, designed by PLoS. This version with transparent background. http://commons.wikimedia.org/wiki/File:Open_Access_logo_PLoS_white.svg art designer at PLoS, modified by Wikipedia users Nina, Beao, JakobVoss, and AnonMoos http://www.plos.org/
image/svg+xml art designer at PLoS, modified by Wikipedia users Nina, Beao, JakobVoss, and AnonMoos Open Access logo, converted into svg, designed by PLoS. This version with transparent background. http://commons.wikimedia.org/wiki/File:Open_Access_logo_PLoS_white.svg art designer at PLoS, modified by Wikipedia users Nina, Beao, JakobVoss, and AnonMoos http://www.plos.org/
image/svg+xml art designer at PLoS, modified by Wikipedia users Nina, Beao, JakobVoss, and AnonMoos Open Access logo, converted into svg, designed by PLoS. This version with transparent background. http://commons.wikimedia.org/wiki/File:Open_Access_logo_PLoS_white.svg art designer at PLoS, modified by Wikipedia users Nina, Beao, JakobVoss, and AnonMoos http://www.plos.org/
DIGITAL.CSIC
Article . 2021 . Peer-reviewed
Data sources: DIGITAL.CSIC
https://dx.doi.org/10.60692/wp...
Other literature type . 2021
Data sources: Datacite
https://dx.doi.org/10.60692/cj...
Other literature type . 2021
Data sources: Datacite
DBLP
Article . 2024
Data sources: DBLP
versions View all 7 versions
addClaim

Logics of formal inconsistency based on distributive involutive residuated lattices

منطق التناقض الرسمي القائم على الشبكات المتخلفة التوزيعية غير المتناسقة
Authors: Francesc Esteva; Aldo Figallo-Orellano; Tommaso Flaminio; Lluı́s Godo;

Logics of formal inconsistency based on distributive involutive residuated lattices

Abstract

Abstract The aim of this paper is to develop an algebraic and logical study of certain paraconsistent systems, from the family of the logics of formal inconsistency (LFIs), which are definable from the degree-preserving companions of logics of distributive involutive residuated lattices ($\textrm {dIRL}$s) with a consistency operator, the latter including as particular cases, Nelson logic ($\textsf {NL}$), involutive monoidal t-norm based logic ($\textsf {IMTL}$) or nilpotent minimum ($\textsf {NM}$) logic. To this end, we first algebraically study enriched dIRLs with suitable consistency operators. In fact, we consider three classes of consistency operators, leading respectively to three subquasivarieties of such expanded residuated lattices. We characterize the simple and subdirectly irreducible members of these quasivarieties, and we extend Sendlewski’s representation results for the case of Nelson lattices with consistency operators. Finally, we define and axiomatize the logics of three quasivarieties of $ \textrm {dIRL}$s and their corresponding degree-preserving companions that belong to the family of LFIs.

Countries
Spain, Spain
Keywords

Monoidal t-norm logic, Rough Sets Theory and Applications, Artificial intelligence, Biochemistry, Gene, Logic Programming and Knowledge Representation, Distributive involutive residuated lattices, Fuzzy number, Nonmonotonic Reasoning, Residuated lattice, Membership function, Discrete mathematics, FOS: Philosophy, ethics and religion, Logics of formal inconsistency, Chemistry, Computational Theory and Mathematics, Physical Sciences, Modal Logics, Algebraic number, Paraconsistent logics, Distributive property, Nilpotent, Epistemology, T-norm fuzzy logics, Operator (biology), Mathematical analysis, Description Logics, Artificial Intelligence, Temporal Logic, Fuzzy Logic and Residuated Lattices, FOS: Mathematics, Nelson lattices., Algebra over a field, Degree-preserving logics, Pure mathematics, Computer science, Fuzzy logic, Nelson lattices, Philosophy, Computer Science, Simple (philosophy), Fuzzy set, Repressor, Transcription factor, Mathematics, Consistency (knowledge bases)

  • BIP!
    Impact byBIP!
    selected citations
    These citations are derived from selected sources.
    This is an alternative to the "Influence" indicator, which also reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically).
    9
    popularity
    This indicator reflects the "current" impact/attention (the "hype") of an article in the research community at large, based on the underlying citation network.
    Top 10%
    influence
    This indicator reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically).
    Average
    impulse
    This indicator reflects the initial momentum of an article directly after its publication, based on the underlying citation network.
    Top 10%
    OpenAIRE UsageCounts
    Usage byUsageCounts
    visibility views 48
    download downloads 101
  • 48
    views
    101
    downloads
    Powered byOpenAIRE UsageCounts
Powered by OpenAIRE graph
Found an issue? Give us feedback
visibility
download
selected citations
These citations are derived from selected sources.
This is an alternative to the "Influence" indicator, which also reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically).
BIP!Citations provided by BIP!
popularity
This indicator reflects the "current" impact/attention (the "hype") of an article in the research community at large, based on the underlying citation network.
BIP!Popularity provided by BIP!
influence
This indicator reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically).
BIP!Influence provided by BIP!
impulse
This indicator reflects the initial momentum of an article directly after its publication, based on the underlying citation network.
BIP!Impulse provided by BIP!
views
OpenAIRE UsageCountsViews provided by UsageCounts
downloads
OpenAIRE UsageCountsDownloads provided by UsageCounts
9
Top 10%
Average
Top 10%
48
101
Green
hybrid