On fuzzy type theory

DOI10.1016/j.fss.2004.03.027zbMath1068.03019OpenAlexW2090670604WikidataQ56083689 ScholiaQ56083689MaRDI QIDQ703370

Publication date: 11 January 2005

Published in: Fuzzy Sets and Systems (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.fss.2004.03.027

zbMATH Keywords

fuzzy logic higher-order logic type theory

Mathematics Subject Classification ID

Fuzzy logic; logic of vagueness (03B52)

Related Items

Right and Left Mappings in Equality Algebras, $n$-fold obstinate and $n$-fold fantastic (pre)filters of $EQ$-algebras, Integral prefilters and integral EQ-algebras, Fuzzy terms, The structure of generalized intermediate syllogisms, State pseudo equality algebras, On the difference between traditional and deductive fuzzy logic, A formal theory of intermediate quantifiers, Relations in fuzzy class theory: initial steps, Monadic $\mathbf L$-fuzzy quantifiers of the type $\langle 1^n,1\rangle $, A comprehensive theory of trichotomous evaluative linguistic expressions, The triple rotation method for constructing t-norms, Ideal theory on EQ-algebras, From Classical to Fuzzy Type Theory, On lifting quasi-filters and strong lifting quasi-filters in MV-algebras, Mining pure linguistic associations from numerical data, Mining information from time series in the form of sentences of natural language, Logical structure of fuzzy IF-THEN rules, Fuzzy class theory, State theory on bounded hyper EQ-algebras, Vagueness: where degree-based approaches are useful, and where we can do without, Internal states on equality algebras, Syllogisms and 5-square of opposition with intermediate quantifiers in fuzzy natural logic, Fuzzy logic with countable evaluated syntax revisited, On the structure of left-continuous t-norms that have a continuous contour line, A cut-free calculus for second-order Gödel logic, Maxima and minima in fuzzified linear orderings, Fuzzy quantifiers defined over fuzzy domains, States on EQ-algebras, Rational Pavelka logic: the best among three worlds?, Mathematical Fuzzy Logics, On good EQ-algebras, New kinds of hybrid filters of EQ-algebras, Reasoning about mathematical fuzzy logic and its future, Linguistic characterization of time series, Non-commutative first-order EQ-logics, A formal theory of generalized intermediate syllogisms, Commutative pseudo-equality algebras, Graded Generalized Hexagon in Fuzzy Natural Logic, Unnamed Item, The theory of intermediate quantifiers in fuzzy natural logic revisited and the model of ``many, Graded structures of opposition in fuzzy natural logic, Equality Logic, Rough sets and topology in AST: a study via higher-order fuzzy logic, EQ-algebras based on hyper EQ-algebras, Fuzzy intensional semantics, Elements of model theory in higher-order fuzzy logic, The lattice of prefilters of an EQ-algebra, Logical foundations of rule-based systems, Which logic is the real fuzzy logic?, Fuzzy sets and formal logics, Evaluative linguistic expressions vs. fuzzy categories, Triangular norm based predicate fuzzy logics, Algebraic and proof-theoretic characterizations of truth stressers for MTL and its extensions, Universes of fuzzy sets and axiomatizations of fuzzy set theory. I: Model-based and axiomatic approaches, Representable good EQ-algebras, On Fuzzy Logic I Many‐valued rules of inference, Variable-domain fuzzy sets. II: Apparatus, A graded approach to cardinal theory of finite fuzzy sets. II: Fuzzy cardinality measures and their relationship to graded equipollence, EQ-algebras with internal states, Residuated EQ-algebras may not be residuated lattices, Results on equality algebras, A theorem about infinite-valued sentential logic, On General Properties of Intermediate Quantifiers, Non-Archimedean fuzzy and probability logic, EQ-algebras, $\mathbf L$-fuzzy quantifiers of type $\langle 1\rangle $ determined by fuzzy measures, On modelling with words, Subtypes in fuzzy type theory, Formal analysis of Peterson's rules for checking validity of syllogisms with intermediate quantifiers, Type $\langle 1,1\rangle$ fuzzy quantifiers determined by fuzzy measures on residuated lattices. I: Basic definitions and examples, Analysis of generalized square of opposition with intermediate quantifiers, EQ-algebras from the point of view of generalized algebras with fuzzy equalities, Are fuzzy sets a reasonable tool for modeling vague phenomena?

Uses Software

ETPS

Cites Work