Involutive basic substructural core fuzzy logics: involutive mianorm-based logics

DOI10.1016/J.FSS.2017.03.013MaRDI QIDQ1697513zbMATH OpenOpenAlexFDO

Authors Eunsuk Yang

Publication date 20 February 2018

Published in Fuzzy Sets and Systems (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.fss.2017.03.013

zbMATH Keywords

involutive logicsinvolutive mianorm-based logicsinvolutively residuated mianormsnon-associative, non-commutative fuzzy logicssubstructural logics

Mathematics Subject Classification ID

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

Review text

This paper resents an inquiry into the weakest involutive mianorm-based logics \(\mathbf{IMIAL}\), which is a substructural fuzzy logic systems with mianorm-based semantics, and a variety of its possible extensions. These systems are based on involutively residuated mianorms (binary monotonic identity aggregation operations on the real unit interval \([0, 1]\)). The system \(\mathbf{IMIAL}\) is non-associative and non-commutative, and so are all its extensions. The standard completeness results for the defined logics are obtained using the Jenei-Montagna-style construction.

Recommendations

• Basic substructural core fuzzy logics and their extensions: mianorm-based logics
• Weakening-free, non-associative fuzzy logics: micanorm-based logics
• Involutive uninorm logic with the \(n\)-potency axiom
• T-norm-based logics with an independent involutive negation
• Residuated fuzzy logics with an involutive negation

Cites work

• A proof of standard completeness for Esteva and Godo's logic MTL
• A treatise on many-valued logics
• Basic substructural core fuzzy logics and their extensions: mianorm-based logics
• Cut elimination and strong separation for substructural logics: an algebraic approach
• Fuzzy logics as the logics of chains
• scientific article; zbMATH DE number 6276267 (Why is no real title available?)
• scientific article; zbMATH DE number 6276269 (Why is no real title available?)
• Involutive uninorm logic with the \(n\)-potency axiom
• Metamathematics of fuzzy logic
• Nonassociative substructural logics and their semilinear extensions: axiomatization and completeness properties
• Protoalgebraic logics
• Residuated lattices. An algebraic glimpse at substructural logics
• Substructural fuzzy logics
• The quest for the basic fuzzy logic
• Uninorm logic with the \(n\)-potency axiom
• Weakening-free, non-associative fuzzy logics: micanorm-based logics
• Weakly implicative (fuzzy) logics. I: Basic properties

Cited in

(11)

• Weakening-free, non-associative fuzzy logics: micanorm-based logics
• A unified normal residuated based logic system and its completeness
• Observations on the monoidal t-norm logic
• Logics for finite \(\mathbf{UL}\) and \(\mathbf{IUL}\)-algebras are substructural fuzzy logics
• On fuzzy logics based on t-norms and the results of Monteiro on symmetric Heyting algebras
• scientific article; zbMATH DE number 7547163 (Why is no real title available?)
• Axiomatization of non-associative generalisations of Hájek's BL and psBL
• Basic substructural core fuzzy logics and their extensions: mianorm-based logics
• Basic semilinear logics based on \([0,u]\)-continuous uwa-uninorms
• Weak associative micanorm-based logics: \([0, e]\)-continuous \(\nu\)-weak-associative logics
• Implicational (dual) residuated semilinear gaggle logics

This page was built for publication: Involutive basic substructural core fuzzy logics: involutive mianorm-based logics

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