Logics for Finite UL and IUL-Algebras Are Substructural Fuzzy Logics
Open Access
- 14 December 2018
- Vol. 10 (12) , 755
- https://doi.org/10.3390/sym10120755
Abstract
Semilinear substructural logics and are logics for finite and -algebras, respectively. In this paper, the standard completeness of and is proven by the method developed by Jenei, Montagna, Esteva, Gispert, Godo, and Wang. This shows that and are substructural fuzzy logics.
Keywords
All Related Versions
This publication has 17 references indexed in Scilit:
- Semilinear substructural logics with the finite embeddability propertyAlgebra universalis, 2018
- Involutive basic substructural core fuzzy logics: Involutive mianorm-based logicsFuzzy Sets and Systems, 2017
- Basic substructural core fuzzy logics and their extensions: Mianorm-based logicsFuzzy Sets and Systems, 2016
- Weakening-free, non-associative fuzzy logics: Micanorm-based logicsFuzzy Sets and Systems, 2015
- Involutive uninorm logic with the n-potency axiomFuzzy Sets and Systems, 2013
- Logics for residuated pseudo-uninorms and their residuaFuzzy Sets and Systems, 2013
- Uninorm logic with the -potency axiomFuzzy Sets and Systems, 2012
- Substructural fuzzy logicsThe Journal of Symbolic Logic, 2007
- On the Standard and Rational Completeness of some Axiomatic Extensions of the Monoidal T-norm LogicStudia Logica, 2002
- A Proof of Standard Completeness for Esteva and Godo's Logic MTLStudia Logica, 2002