The following pages link to On fuzzy type theory (Q703370):
Displaying 50 items.
- Fuzzy terms (Q277347) (← links)
- The structure of generalized intermediate syllogisms (Q279323) (← links)
- Mining information from time series in the form of sentences of natural language (Q324683) (← links)
- Internal states on equality algebras (Q344089) (← links)
- Syllogisms and 5-square of opposition with intermediate quantifiers in fuzzy natural logic (Q346769) (← links)
- On good EQ-algebras (Q409738) (← links)
- Reasoning about mathematical fuzzy logic and its future (Q419039) (← links)
- A formal theory of generalized intermediate syllogisms (Q423141) (← links)
- Elements of model theory in higher-order fuzzy logic (Q695272) (← links)
- Are fuzzy sets a reasonable tool for modeling vague phenomena? (Q812583) (← links)
- On the difference between traditional and deductive fuzzy logic (Q835115) (← links)
- A formal theory of intermediate quantifiers (Q835126) (← links)
- Relations in fuzzy class theory: initial steps (Q835181) (← links)
- Monadic \(\mathbf L\)-fuzzy quantifiers of the type \(\langle 1^n,1\rangle \) (Q835184) (← links)
- A comprehensive theory of trichotomous evaluative linguistic expressions (Q835271) (← links)
- Logical structure of fuzzy IF-THEN rules (Q853465) (← 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)
- Representable good EQ-algebras (Q989677) (← links)
- EQ-algebras (Q1043290) (← links)
- \(\mathbf L\)-fuzzy quantifiers of type \(\langle 1\rangle \) determined by fuzzy measures (Q1043324) (← links)
- A cut-free calculus for second-order Gödel logic (Q1677040) (← links)
- Maxima and minima in fuzzified linear orderings (Q1677832) (← links)
- Linguistic characterization of time series (Q1697330) (← links)
- Non-commutative first-order EQ-logics (Q1697347) (← links)
- Commutative pseudo-equality algebras (Q1701928) (← links)
- EQ-algebras based on hyper EQ-algebras (Q1743766) (← links)
- EQ-algebras with internal states (Q1797925) (← links)
- The lattice of prefilters of an EQ-algebra (Q2013846) (← links)
- Fuzzy sets and formal logics (Q2014418) (← links)
- Evaluative linguistic expressions vs. fuzzy categories (Q2014420) (← links)
- Variable-domain fuzzy sets. II: Apparatus (Q2036807) (← links)
- A graded approach to cardinal theory of finite fuzzy sets. II: Fuzzy cardinality measures and their relationship to graded equipollence (Q2036809) (← links)
- Residuated EQ-algebras may not be residuated lattices (Q2041255) (← links)
- Formal analysis of Peterson's rules for checking validity of syllogisms with intermediate quantifiers (Q2092450) (← links)
- Integral prefilters and integral EQ-algebras (Q2122478) (← links)
- Ideal theory on EQ-algebras (Q2142772) (← links)
- State theory on bounded hyper EQ-algebras (Q2156456) (← links)
- The theory of intermediate quantifiers in fuzzy natural logic revisited and the model of ``many'' (Q2219168) (← links)
- Graded structures of opposition in fuzzy natural logic (Q2228352) (← links)
- Rough sets and topology in AST: a study via higher-order fuzzy logic (Q2233205) (← links)
- Triangular norm based predicate fuzzy logics (Q2270233) (← links)
- Algebraic and proof-theoretic characterizations of truth stressers for MTL and its extensions (Q2270235) (← links)
- Results on equality algebras (Q2292942) (← links)
- Subtypes in fuzzy type theory (Q2328911) (← links)
- Type \(\langle 1,1\rangle\) fuzzy quantifiers determined by fuzzy measures on residuated lattices. I: Basic definitions and examples (Q2350482) (← links)
- Analysis of generalized square of opposition with intermediate quantifiers (Q2350484) (← links)
- EQ-algebras from the point of view of generalized algebras with fuzzy equalities (Q2351584) (← links)
- The triple rotation method for constructing t-norms (Q2372297) (← links)
- Mining pure linguistic associations from numerical data (Q2379290) (← links)
