Theoretical Computer Science
Computer
Observations on the monoidal t-norm logic
Fuzzy Sets and Systems - Possibility theory and fuzzy logic
Artificial Intelligence
On three implication-less fragments of t-norm based fuzzy logics
Fuzzy Sets and Systems
Determinization of fuzzy automata with membership values in complete residuated lattices
Information Sciences: an International Journal
Triangle algebras: A formal logic approach to interval-valued residuated lattices
Fuzzy Sets and Systems
Representation theorems for some fuzzy logics based on residuated non-distributive lattices
Fuzzy Sets and Systems
The pseudo-linear semantics of interval-valued fuzzy logics
Information Sciences: an International Journal
Automata theory based on complete residuated lattice-valued logic: Pushdown automata
Fuzzy Sets and Systems
Automata theory based on complete residuated lattice-valued logic: A categorical approach
Fuzzy Sets and Systems
Fuzzy logics from substructural perspective
Fuzzy Sets and Systems
Which logic is the real fuzzy logic?
Fuzzy Sets and Systems
The logic of tied implications, part 1: Properties, applications and representation
Fuzzy Sets and Systems
On the scope of some formulas defining additive connectives in fuzzy logics
Fuzzy Sets and Systems
Expressive fuzzy description logics over lattices
Knowledge-Based Systems
Filters of residuated lattices and triangle algebras
Information Sciences: an International Journal
The standard completeness of interval-valued monoidal t-norm based logic
Information Sciences: an International Journal
Reasoning about mathematical fuzzy logic and its future
Fuzzy Sets and Systems
Triangle algebras: towards an axiomatization of interval-valued residuated lattices
RSCTC'06 Proceedings of the 5th international conference on Rough Sets and Current Trends in Computing
Issues on adjointness in multiple-valued logics
Information Sciences: an International Journal
Hi-index | 0.00 |
In this paper we overview 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 algebraic varieties and show they can be suitably placed in a hierarchy of logics depending on their characteristic axioms. We stress that the most general variety generated by residuated structures in [0, 1], which are defined by left-continuous t-norms, is not the variety of residuated lattices but the variety of pre-linear residuated lattices, also known as MTL-algebras. Finally, we also relate t-norm based logics to substructural logics, in particular to Ono's hierarchy of extensions of the Full Lambek Calculus.