A proof of the standard completeness for the involutive uninorm logic

DOI10.3390/SYM11040445MaRDI QIDQ2337894zbMATH 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/sym11040445

zbMATH Keywords

density eliminationfuzzy logicinvolutive uninorm logicsemilinear substructural logicsstandard completeness

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) Cut-elimination and normal-form theorems (03F05)

Review text

Summary: In this paper, we solve a long-standing open problem in the field of fuzzy logics, that is, the standard completeness for the involutive uninorm logic \textbf{IUL}. In fact, we present a uniform method of density elimination for several semilinear substructural logics. Especially, the density elimination for \textbf{IUL} is proved. Then the standard completeness for \textbf{IUL} follows as a lemma by virtue of previous work by \textit{G. Metcalfe} and \textit{C. Tsinakis} [Soft Comput. 21, No. 1, 175--189 (2017; Zbl 1396.03060)].

Recommendations

• Involutive uninorm logic with the \(n\)-potency axiom
• A note on standard completeness for some extensions of uninorm logic
• The standard completeness of interval-valued monoidal t-norm based logic
• Density elimination
• The logic of pseudo-uninorms and their residua

Cites work

• A constructive analysis of RM
• A New Proof of the Completeness of the Lukasiewicz Axioms
• A proof of standard completeness for Esteva and Godo's logic MTL
• Algebraic Analysis of Many Valued Logics
• Co-rotation constructions of residuated semigroups
• Densification of FL chains via residuated frames
• Density elimination
• Density revisited
• Fragments of Many-Valued Statement Calculi
• Hypersequents, logical consequence and intermediate logics for concurrency
• Implicational (semilinear) logics. I: A new hierarchy
• Intuitionistic fuzzy logic and intuitionistic fuzzy set theory
• Involutive uninorm logic with the \(n\)-potency axiom
• Metamathematics of fuzzy logic
• Monoidal t-norm based logic: Towards a logic for left-continuous t-norms
• On the standard and rational completeness of some axiomatic extensions of the monoidal t-norm logic
• Proof theory for fuzzy logics
• Substructural fuzzy logics
• The finite model property for semilinear substructural logics
• The logic of pseudo-uninorms and their residua

Cited in

(15)

• A simple proof of a completeness result for \(leads\)-\(to\) in the UNITY logic
• Density revisited
• Group representation for even and odd involutive commutative residuated chains
• The logic of pseudo-uninorms and their residua
• Involutive uninorm logic with the \(n\)-potency axiom
• Involutive uninorm logic with fixed point enjoys finite strong standard completeness
• Densification of FL chains via residuated frames
• Unified Classical Logic Completeness
• scientific article; zbMATH DE number 7547163 (Why is no real title available?)
• A completeness proof for a regular predicate logic with undefined truth value
• Comparing Calculi for First-Order Infinite-Valued Łukasiewicz Logic and First-Order Rational Pavelka Logic
• Uninorm logic with the \(n\)-potency axiom
• Uniform proofs of standard completeness for extensions of first-order MTL
• A note on standard completeness for some extensions of uninorm logic
• Density elimination

This page was built for publication: A proof of the standard completeness for the involutive uninorm logic

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