Pages that link to "Item:Q1349199"
From MaRDI portal
The following pages link to Monoidal t-norm based logic: Towards a logic for left-continuous t-norms (Q1349199):
Displaying 50 items.
- On a class of left-continuous \(\text t\)-norms (Q1867636) (← links)
- \(R _{0}\) implication: Characteristics and applications (Q1867637) (← links)
- Observations on the monoidal t-norm logic (Q1867661) (← links)
- A triangular-norm-based propositional fuzzy logic (Q1873678) (← links)
- A characterization of truth-functions in the nilpotent minimum logic (Q1885724) (← links)
- A formal study of linearity axioms for fuzzy orderings (Q1885730) (← links)
- On elementary equivalence in fuzzy predicate logics (Q1935367) (← links)
- Monadic bounded residuated lattices (Q1943692) (← links)
- Simple characterization of strict residuated lattices with an involutive negation (Q1955481) (← links)
- Characterization of uninorms on bounded lattices (Q2013775) (← links)
- Ideals and involutive filters in generalizations of fuzzy structures (Q2013844) (← links)
- The lattice of prefilters of an EQ-algebra (Q2013846) (← links)
- Topological characterizations of generalized fuzzy rough sets (Q2013857) (← links)
- Fuzzy sets and formal logics (Q2014418) (← links)
- On transitive modal many-valued logics (Q2035340) (← links)
- Dominance on continuous Archimedean triangular norms and generalized Mulholland inequality (Q2035386) (← links)
- Solutions to two open problems in topological residuated lattices (Q2035408) (← links)
- On finite MTL-algebras that are representable as poset products of Archimedean chains (Q2041249) (← links)
- Lattice-based sum of t-norms on bounded lattices (Q2042882) (← links)
- Strictly join irreducible varieties of BL-algebras: the missing pieces (Q2049269) (← links)
- The existence of states based on Glivenko semihoops (Q2085584) (← links)
- Micanorm aggregation operators: basic logico-algebraic properties (Q2100423) (← links)
- Projectivity in (bounded) commutative integral residuated lattices (Q2108529) (← links)
- Architecture-guided test resource allocation via logic (Q2117254) (← links)
- Modules with fusion and implication based over distributive lattices: representation and duality (Q2122479) (← links)
- Characterization of residuated lattices via multipliers (Q2161522) (← links)
- Some results on Noetherian and Artinian BL-algebras (Q2195670) (← links)
- Logics of left variable inclusion and Płonka sums of matrices (Q2219088) (← links)
- Rotation logics (Q2219165) (← links)
- Constructing uninorms via closure operators on a bounded lattice (Q2219365) (← links)
- Lindström theorems in graded model theory (Q2220488) (← links)
- Some further results about uninorms on bounded lattices (Q2237121) (← links)
- Distributivity of \(N\)-ordinal sum fuzzy implications over \(t\)-norms and \(t\)-conorms (Q2237148) (← links)
- On some subvarieties of \(IMTn\)-algebras and the partitions of the \(m\)-cube. (Q2257977) (← links)
- Hypersequent and display calculi -- a unified perspective (Q2259013) (← links)
- Compatible deductive systems of pulexes (Q2260323) (← links)
- Generalized continuous and left-continuous t-norms arising from algebraic semantics for fuzzy logics (Q2269796) (← links)
- Fuzzy logics from substructural perspective (Q2270232) (← links)
- Triangular norm based predicate fuzzy logics (Q2270233) (← links)
- On expansions of WNM t-norm based logics with truth-constants (Q2270234) (← links)
- Algebraic and proof-theoretic characterizations of truth stressers for MTL and its extensions (Q2270235) (← links)
- MTL-algebras arising from partially ordered groups (Q2270238) (← links)
- On triangular norms and uninorms definable in Ł\(\Pi \frac{1}{2}\) (Q2270383) (← links)
- Generalized rough approximations in Ł\(\Pi \frac{1}{2}\) (Q2270414) (← links)
- On the representation of fuzzy rules (Q2270417) (← links)
- MNiBLoS: a SMT-based solver for continuous t-norm based logics and some of their modal expansions (Q2282273) (← links)
- Relational division in rank-aware databases (Q2282883) (← links)
- Invariance to ordinal transformations in rank-aware databases (Q2291768) (← links)
- Results on equality algebras (Q2292942) (← links)
- On linear varieties of MTL-algebras (Q2317504) (← links)
