Monoidal t-norm based logic: Towards a logic for left-continuous t-norms
From MaRDI portal
Publication:1349199
DOI10.1016/S0165-0114(01)00098-7zbMath0994.03017OpenAlexW1983382657WikidataQ127352817 ScholiaQ127352817MaRDI QIDQ1349199
Publication date: 21 May 2002
Published in: Fuzzy Sets and Systems (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/s0165-0114(01)00098-7
Related Items (only showing first 100 items - show all)
Computing sets of graded attribute implications with witnessed non-redundancy ⋮ Event-based transformations of capacities and invariantness ⋮ \(L\)-fuzzy sets and isomorphic lattices: are all the ``new results really new? ⋮ A new axiomatization for involutive monoidal t-norm-based logic ⋮ T-norm-based logics with an independent involutive negation ⋮ Truth values on generalizations of some commutative fuzzy structures ⋮ Disjunctive elimination rule and its application in MTL ⋮ On the failure of standard completeness in \(\Pi\)MTL for infinite theories ⋮ Adjoint negations, more than residuated negations ⋮ A fuzzy logic for the revised drastic product t-norm. ⋮ Fuzzy logic with countable evaluated syntax revisited ⋮ On the structure of left-continuous t-norms that have a continuous contour line ⋮ Residuated lattices and lattice effect algebras ⋮ The logic of the strongest and the weakest t-norms ⋮ Weakening-free, non-associative fuzzy logics: micanorm-based logics ⋮ A comprehensive study of implicator-conjunctor-based and noise-tolerant fuzzy rough sets: definitions, properties and robustness analysis ⋮ Granular variable precision fuzzy rough sets with general fuzzy relations ⋮ On a new construction of pseudo BL-algebras ⋮ Maxima and minima in fuzzified linear orderings ⋮ Topology on BL-algebras ⋮ Notes on a comprehensive study of implicator-conjunctor-based and noise-tolerant fuzzy rough sets: definitions, properties and robustness analysis ⋮ A fuzzy logic system based on Schweizer-Sklar t-norm ⋮ Filters of \(R_{0}\)-algebras ⋮ Fuzzy inequational logic ⋮ Chain conditions on BL-algebras ⋮ Trakhtenbrot theorem and first-order axiomatic extensions of MTL ⋮ On some questions concerning the axiomatisation of WNM-algebras and their subvarieties ⋮ On similarity in fuzzy description logics ⋮ Proof search and co-NP completeness for many-valued logics ⋮ Discrete dualities for \(n\)-potent MTL-algebras and 2-potent BL-algebras ⋮ On deductive interpolation for the weak nilpotent minimum logic ⋮ The approximation of left-continuous t-norms ⋮ On varieties singly generated by a well-connected \(\mathrm{FL}_{ew}\)-algebra ⋮ Continuous weakly cancellative triangular subnorms. I: Their web-geometric properties ⋮ On a class of residuated semilattice monoids ⋮ A triangular norm-based fuzzy predicate logic ⋮ On equivalent forms of fuzzy logic systems NM and IMTL ⋮ On tail dependence coefficients of transformed multivariate Archimedean copulas ⋮ An expansion of basic logic with fixed points ⋮ Free weak nilpotent minimum algebras ⋮ On strong standard completeness in some \(\mathrm{MTL}_\Delta\) expansions ⋮ Density revisited ⋮ States and internal states on semihoops ⋮ Non-commutative fuzzy structures and pairs of weak negations. ⋮ Logical foundation of the quintuple implication inference methods ⋮ Free algebras, states and duality for the propositional \(\text{Gödel}_{\Delta}\) and drastic product logics ⋮ On the relationship between fuzzy description logics and many-valued modal logics ⋮ On BCK algebras. II: New algebras. The ordinal sum (product) of two bounded BCK algebras ⋮ Generalized fuzzy filters of BL-algebras ⋮ States on \(R_{0}\) algebras ⋮ Logics with disjunction and proof by cases ⋮ New topology in residuated lattices ⋮ On \(v\)-filters and normal \(v\)-filters of a residuated lattice with a weak \(vt\)-operator ⋮ Some kinds of \((\in, \in \vee q)\)-interval-valued fuzzy ideals of BCI-algebras ⋮ Density elimination ⋮ On sets of graded attribute implications with witnessed non-redundancy ⋮ Applications of interval valued \(t\)-norms (\(t\)-conorms) to fuzzy \(n\)-ary sub-hypergroups. ⋮ A characterization of interval-valued residuated lattices ⋮ On the independence of axioms in BL and MTL ⋮ Real vector space of LR-fuzzy intervals with respect to the shape-preserving t-norm-based addition ⋮ Probability measures in the logic of nilpotent minimum ⋮ Analytic calculi for product logics ⋮ Algebras for Galois-style connections and their discrete duality ⋮ On the predicate logics of continuous t-norm BL-algebras ⋮ Implicational (semilinear) logics. I: A new hierarchy ⋮ An axiomatic approach of fuzzy rough sets based on residuated lattices ⋮ Residuated lattices of size \(\leq 12\) ⋮ Standard completeness theorem for \(\Pi\)MTL ⋮ The generalized truth degree of quantitative logic in the logic system \(\mathcal L_n^*\) (\(n\)-valued NM-logic system) ⋮ Representable good EQ-algebras ⋮ Fuzzy description logics and \(t\)-norm based fuzzy logics ⋮ Filters of residuated lattices and triangle algebras ⋮ Rough implication operator based on strong topological rough algebras ⋮ Aglianò-Montagna type decomposition of linear pseudo hoops and its applications ⋮ Finitary extensions of the nilpotent minimum logic and (almost) structural completeness ⋮ A semantic study of the first-order predicate logic with uncertainty involved ⋮ Dominance on strict triangular norms and Mulholland inequality ⋮ Single axioms for lower fuzzy rough approximation operators determined by fuzzy implications ⋮ A graded notion of functionality ⋮ Neighborhood semantics for modal many-valued logics ⋮ Extending fuzzy logics with many hedges ⋮ Monadic bounded hoops ⋮ Some types of generalized fuzzy filters of BL-algebras ⋮ Regular left-continuous t-norms ⋮ Cancellativity properties for t-norms and t-subnorms ⋮ The pseudo-linear semantics of interval-valued fuzzy logics ⋮ On vagueness, truth values and fuzzy logics ⋮ Distinguished algebraic semantics for t-norm based fuzzy logics: methods and algebraic equivalencies ⋮ A note on Trillas' CHC models ⋮ On (\(\in,\in \vee q\))-fuzzy filters of BL-algebras ⋮ Commutative integral bounded residuated lattices with an added involution ⋮ First-order t-norm based fuzzy logics with truth-constants: distinguished semantics and completeness properties ⋮ On the reflection invariance of residuated chains ⋮ Relational compositions in fuzzy class theory ⋮ Rotation-invariant t-norms: where triple rotation and rotation-annihilation meet ⋮ Supersound many-valued logics and Dedekind-MacNeille completions ⋮ EQ-algebras ⋮ On the continuity of residuals of triangular norms ⋮ On a class of left-continuous \(\text t\)-norms ⋮ \(R _{0}\) implication: Characteristics and applications
Cites Work
This page was built for publication: Monoidal t-norm based logic: Towards a logic for left-continuous t-norms
