Journal of Symbolic Logic
- J. Symbolic Logic
- Volume 72, Issue 3 (2007), 834-864.
Substructural fuzzy logics
Substructural 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 logic UL as Multiplicative additive intuitionistic linear logic MAILL extended with the prelinearity axiom ((A → B) ∧ t) ∨ ((B → A) ∧ t). Axiomatic extensions of UL include known fuzzy logics such as Monoidal t-norm logic MTL and Gödel logic G, 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 for UL and 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].
J. Symbolic Logic, Volume 72, Issue 3 (2007), 834-864.
First available in Project Euclid: 2 October 2007
Permanent link to this document
Digital Object Identifier
Mathematical Reviews number (MathSciNet)
Zentralblatt MATH identifier
Metcalfe, George; Montagna, Franco. Substructural fuzzy logics. J. Symbolic Logic 72 (2007), no. 3, 834--864. doi:10.2178/jsl/1191333844. https://projecteuclid.org/euclid.jsl/1191333844