On complete residuated many-valued logics with t-norm conjunction
- 13 November 2002
- conference paper
- Published by Institute of Electrical and Electronics Engineers (IEEE)
- No. 0195623X,p. 81-86
- https://doi.org/10.1109/ismvl.2001.924558
Abstract
In this paper we summarize recent results, both logical and algebraic, about [0,1]-valued logical systems having a t-norm and its residuum as truth functions for conjunction and implication. We describe their axiomatic systems and their algebraic varieties, and we stress that the most general variety generated by residuated structures in [0, 1] defined by (left-continuous) t-norms is the variety of pre-linear residuated lattices.Keywords
This publication has 16 references indexed in Scilit:
- Subvarieties of BL-algebras generated by single-component chainsArchive for Mathematical Logic, 2002
- Residuated fuzzy logics with an involutive negationArchive for Mathematical Logic, 2000
- Algebraic Foundations of Many-Valued ReasoningPublished by Springer Nature ,2000
- Basic fuzzy logic and BL-algebrasSoft Computing, 1998
- A complete many-valued logic with product-conjunctionArchive for Mathematical Logic, 1996
- Non-Classical Logics and their Applications to Fuzzy SubsetsPublished by Springer Nature ,1995
- Fuzzy logicComputer, 1988
- Linear logicTheoretical Computer Science, 1987
- A propositional calculus with denumerable matrixThe Journal of Symbolic Logic, 1959
- Fragments of many-valued statement calculiTransactions of the American Mathematical Society, 1958