scientific article; zbMATH DE number 2042619
In this publication, the authors give a survey on logical and algebraic results on [0,1]-valued logics having a t-norm as conjunction and its associated residuum as implication operator. Axiomatic systems and algebraic varieties are described and placed into a hierarchy of logics. It is shown that the most general variety generated by residuated structures in [0,1] defined by means of left-continuous t-norms is the variety of pre-linear residuated lattices (MTL-algebras). Relations with substructural logics and with Ono's hierarchy of extensions of the Full Lambek Calculus are given. For the entire collection see [Zbl 1015.00007].
- Monoidal t-norm based logic: Towards a logic for left-continuous t-norms
- Distinguished algebraic semantics for t-norm based fuzzy logics: methods and algebraic equivalencies
- Metamathematics of fuzzy logic
- Axiomatization of any residuated fuzzy logic defined by a continuous t-norm
- scientific article; zbMATH DE number 2209491
- The pseudo-linear semantics of interval-valued fuzzy logics
- Distinguished algebraic semantics for t-norm based fuzzy logics: methods and algebraic equivalencies
- A note on Trillas' CHC models
- Commutative integral bounded residuated lattices with an added involution
- Automata theory based on complete residuated lattice-valued logic: Pushdown automata
- Automata theory based on complete residuated lattice-valued logic: a categorical approach
- The logic of the strongest and the weakest t-norms
- Discrete dualities for \(n\)-potent MTL-algebras and 2-potent BL-algebras
- Fuzzy sets and formal logics
- Fuzzy logics from substructural perspective
- On the scope of some formulas defining additive connectives in fuzzy logics
- Computational complexities of axiomatic extensions of monoidal t-norm based logic
- On three implication-less fragments of t-norm based fuzzy logics
- Determinization of fuzzy automata with membership values in complete residuated lattices
- The logic of tied implications. I: Properties, applications and representation
- On two fragments with negation and without implication of the logic of residuated lattices
- Issues on adjointness in multiple-valued logics
- A small set of axioms for residuated logic
- On fuzzy logics based on t-norms and the results of Monteiro on symmetric Heyting algebras
- Axiomatization of any residuated fuzzy logic defined by a continuous t-norm
- The standard completeness of interval-valued monoidal t-norm based logic
- FUZZY LOGICAL OPERATORS ON FINITE CHAINS
- Discrete dualities for groupoids
- Varieties generated by t-norms
- An algebraic approach to the study of monadic substructural predicate logics over \(\mathbf{FL_{ew}}\)
- Triangle algebras: A formal logic approach to interval-valued residuated lattices
- Representation theorems for some fuzzy logics based on residuated non-distributive lattices
- Truth values on generalizations of some commutative fuzzy structures
- Implicational (semilinear) logics. I: A new hierarchy
- Filters of residuated lattices and triangle algebras
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4450449)
