A proof of the standard completeness for the involutive uninorm logic
From MaRDI portal
Publication:2337894
DOI10.3390/SYM11040445zbMath1425.03011OpenAlexW2925139875WikidataQ128141752 ScholiaQ128141752MaRDI QIDQ2337894
Publication date: 20 November 2019
Published in: Symmetry (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.3390/sym11040445
fuzzy logicstandard completenessdensity eliminationsemilinear substructural logicsinvolutive uninorm logic
Fuzzy logic; logic of vagueness (03B52) Cut-elimination and normal-form theorems (03F05) Many-valued logic (03B50) Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47)
Related Items (4)
Group representation for even and odd involutive commutative residuated chains ⋮ Comparing Calculi for First-Order Infinite-Valued Łukasiewicz Logic and First-Order Rational Pavelka Logic ⋮ Involutive uninorm logic with fixed point enjoys finite strong standard completeness ⋮ Unnamed Item
Cites Work
- Densification of FL chains via residuated frames
- Co-rotation constructions of residuated semigroups
- Density elimination
- Implicational (semilinear) logics. I: A new hierarchy
- Metamathematics of fuzzy logic
- Monoidal t-norm based logic: Towards a logic for left-continuous t-norms
- Hypersequents, logical consequence and intermediate logics for concurrency
- A proof of standard completeness for Esteva and Godo's logic MTL
- On the standard and rational completeness of some axiomatic extensions of the monoidal t-norm logic
- Density revisited
- The logic of pseudo-uninorms and their residua
- Involutive uninorm logic with the \(n\)-potency axiom
- Proof theory for fuzzy logics
- The finite model property for semilinear substructural logics
- Algebraic Analysis of Many Valued Logics
- Fragments of Many-Valued Statement Calculi
- A New Proof of the Completeness of the Lukasiewicz Axioms
- Intuitionistic fuzzy logic and intuitionistic fuzzy set theory
- A constructive analysis of RM
- Substructural fuzzy logics
This page was built for publication: A proof of the standard completeness for the involutive uninorm logic
