Logics for finite UL and IUL-algebras are substructural fuzzy logics

DOI10.3390/SYM10120755MaRDI QIDQ2337882zbMATH OpenOpenAlexWikidataFDO

Authors Sanmin Wang

Publication date 20 November 2019

Published in Symmetry (Search for Journal in Brave)

Copyright license Creative Commons Attribution 4.0 International

Full work available at URL https://doi.org/10.3390/sym10120755

zbMATH Keywords

fuzzy logicresiduated latticessemilinear substructural logicsstandard completenesssubstructural fuzzy logics

Mathematics Subject Classification ID

Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47) Many-valued logic (03B50) Fuzzy logic; logic of vagueness (03B52)

Review text

Summary: Semilinear substructural logics \(\mathbf{UL}_\omega\) and \(\mathbf{IUL}_\omega\) are logics for finite \(\mathbf{UL}\) and \(\mathbf{IUL}\)-algebras, respectively. In this paper, the standard completeness of \(\mathbf{UL}_\omega\) and \(\mathbf{IUL}_\omega\) is proven by the method developed by Jenei, Montagna, Esteva, Gispert, Godo, and Wang. This shows that \(\mathbf{UL}_\omega\) and \(\mathbf{IUL}_\omega\) are substructural fuzzy logics.

Recommendations

• Semilinear substructural logics with the finite embeddability property
• The finite model property for semilinear substructural logics
• Basic substructural core fuzzy logics and their extensions: mianorm-based logics
• Substructural fuzzy logics
• On the algebraic structure of linear, relevance, and fuzzy logics

Cites work

• A proof of standard completeness for Esteva and Godo's logic MTL
• Basic concepts for a theory of evaluation: The aggregative operator
• Basic substructural core fuzzy logics and their extensions: mianorm-based logics
• Implicational (semilinear) logics. I: A new hierarchy
• Involutive basic substructural core fuzzy logics: involutive mianorm-based logics
• Involutive uninorm logic with the \(n\)-potency axiom
• Logics for residuated pseudo-uninorms and their residua
• On the standard and rational completeness of some axiomatic extensions of the monoidal t-norm logic
• Proof theory for fuzzy logics
• Residuated lattices. An algebraic glimpse at substructural logics
• Semilinear substructural logics with the finite embeddability property
• Substructural fuzzy logics
• Substructural fuzzy-relevance logic
• Uninorm aggregation operators
• Uninorm logic with the \(n\)-potency axiom
• Weakening-free, non-associative fuzzy logics: micanorm-based logics

Cited in

(2)

• Fuzzy logics from substructural perspective
• The finite model property for semilinear substructural logics

This page was built for publication: Logics for finite \(\mathbf{UL}\) and \(\mathbf{IUL}\)-algebras are substructural fuzzy logics

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2337882)