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.
- T-norm-based logics with an independent involutive negation (Q869112) (← links)
- Truth values on generalizations of some commutative fuzzy structures (Q869115) (← links)
- Disjunctive elimination rule and its application in MTL (Q869116) (← links)
- On the failure of standard completeness in \(\Pi\)MTL for infinite theories (Q876492) (← links)
- A fuzzy logic for the revised drastic product t-norm. (Q877760) (← links)
- Fuzzy logic with countable evaluated syntax revisited (Q878970) (← links)
- On the structure of left-continuous t-norms that have a continuous contour line (Q879013) (← links)
- Residuated lattices and lattice effect algebras (Q879018) (← links)
- A fuzzy logic system based on Schweizer-Sklar t-norm (Q882701) (← links)
- Filters of \(R_{0}\)-algebras (Q885587) (← links)
- Fuzzy inequational logic (Q892182) (← links)
- Chain conditions on BL-algebras (Q894676) (← links)
- Trakhtenbrot theorem and first-order axiomatic extensions of MTL (Q897476) (← links)
- On BCK algebras. II: New algebras. The ordinal sum (product) of two bounded BCK algebras (Q931448) (← links)
- Generalized fuzzy filters of BL-algebras (Q933002) (← links)
- States on \(R_{0}\) algebras (Q937268) (← links)
- Logics with disjunction and proof by cases (Q938238) (← links)
- On \(v\)-filters and normal \(v\)-filters of a residuated lattice with a weak \(vt\)-operator (Q942325) (← links)
- Some kinds of \((\in, \in \vee q)\)-interval-valued fuzzy ideals of BCI-algebras (Q942336) (← links)
- Density elimination (Q944384) (← links)
- Applications of interval valued \(t\)-norms (\(t\)-conorms) to fuzzy \(n\)-ary sub-hypergroups. (Q955735) (← links)
- A characterization of interval-valued residuated lattices (Q962651) (← links)
- Probability measures in the logic of nilpotent minimum (Q965904) (← links)
- Algebras for Galois-style connections and their discrete duality (Q969585) (← links)
- Implicational (semilinear) logics. I: A new hierarchy (Q971883) (← links)
- An axiomatic approach of fuzzy rough sets based on residuated lattices (Q980104) (← links)
- Residuated lattices of size \(\leq 12\) (Q981681) (← links)
- The generalized truth degree of quantitative logic in the logic system \(\mathcal L_n^*\) (\(n\)-valued NM-logic system) (Q988221) (← links)
- Representable good EQ-algebras (Q989677) (← links)
- Fuzzy description logics and \(t\)-norm based fuzzy logics (Q990977) (← links)
- Filters of residuated lattices and triangle algebras (Q991237) (← links)
- Rough implication operator based on strong topological rough algebras (Q991905) (← links)
- Aglianò-Montagna type decomposition of linear pseudo hoops and its applications (Q995635) (← links)
- Some types of generalized fuzzy filters of BL-algebras (Q1004852) (← links)
- Regular left-continuous t-norms (Q1006336) (← links)
- Cancellativity properties for t-norms and t-subnorms (Q1006740) (← links)
- The pseudo-linear semantics of interval-valued fuzzy logics (Q1007878) (← links)
- On vagueness, truth values and fuzzy logics (Q1015491) (← links)
- Distinguished algebraic semantics for t-norm based fuzzy logics: methods and algebraic equivalencies (Q1024552) (← links)
- A note on Trillas' CHC models (Q1028906) (← links)
- On (\(\in,\in \vee q\))-fuzzy filters of BL-algebras (Q1031974) (← links)
- Commutative integral bounded residuated lattices with an added involution (Q1035650) (← links)
- First-order t-norm based fuzzy logics with truth-constants: distinguished semantics and completeness properties (Q1035653) (← links)
- On the reflection invariance of residuated chains (Q1035657) (← links)
- Relational compositions in fuzzy class theory (Q1037921) (← links)
- Rotation-invariant t-norms: where triple rotation and rotation-annihilation meet (Q1038001) (← links)
- Supersound many-valued logics and Dedekind-MacNeille completions (Q1042436) (← links)
- EQ-algebras (Q1043290) (← links)
- On the continuity of residuals of triangular norms (Q1049061) (← links)
- A new axiomatization for involutive monoidal t-norm-based logic (Q1349201) (← links)
