
handle: 11365/23722
AbstractSubstructural fuzzy logics are substructural logics that are complete with respect to algebras whose lattice reduct is the real unit interval [0, 1]. In this paper, we introduce Uninorm logicULas Multiplicative additive intuitionistic linear logicMAILLextended with the prelinearity axiom((A → B) ∧ t) V ((B → A)∧ t). Axiomatic extensions ofULinclude known fuzzy logics such as Monoidalt-norm logicMIXand Gödel logicG, and new weakening-free logics. Algebraic semantics for these logics are provided by subvarieties of (representable) pointed bounded commutative residuated lattices. Gentzen systems admitting cut-elimination are given in the framework of hypersequents. Completeness with respect to algebras with lattice reduct [0, 1] is established forULand several extensions using a two-part strategy. First, completeness is proved for the logic extended with Takeuti and Titani's density rule. A syntactic elimination of the rule is then given using a hypersequent calculus. As an algebraic corollary, it follows that certain varieties of residuated lattices are generated by their members with lattice reduct [0, 1].
Density Rule, Fuzzy Logic, Substructural Logic, Standard Completeness, Proof Theory, Fuzzy Logics; Substructural Logics; Proof Theory; Density Rule; Standard Completeness., 004
Density Rule, Fuzzy Logic, Substructural Logic, Standard Completeness, Proof Theory, Fuzzy Logics; Substructural Logics; Proof Theory; Density Rule; Standard Completeness., 004
| 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). | 126 | |
| 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). | Top 1% | |
| impulse This indicator reflects the initial momentum of an article directly after its publication, based on the underlying citation network. | Top 10% |
