EQ-algebra-based fuzzy type theory and its extensions
From MaRDI portal
Publication:2885176
DOI10.1093/jigpal/jzp087zbMath1243.03034OpenAlexW2133457869MaRDI QIDQ2885176
Publication date: 21 May 2012
Published in: Logic Journal of IGPL (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1093/jigpal/jzp087
Related Items
The structure of generalized intermediate syllogisms, State pseudo equality algebras, From Classical to Fuzzy Type Theory, Mining information from time series in the form of sentences of natural language, Internal states on equality algebras, On the Category of EQ-algebras, On good EQ-algebras, Reasoning about mathematical fuzzy logic and its future, Non-commutative first-order EQ-logics, A formal theory of generalized intermediate syllogisms, Commutative pseudo-equality algebras, The theory of intermediate quantifiers in fuzzy natural logic revisited and the model of ``many, Equality Logic, Rough sets and topology in AST: a study via higher-order fuzzy logic, Elements of model theory in higher-order fuzzy logic, Evaluative linguistic expressions vs. fuzzy categories, Monadic pseudo-equality algebras, On modelling with words, Subtypes in fuzzy type theory, Preideals in EQ-algebras, Analysis of generalized square of opposition with intermediate quantifiers, EQ-algebras from the point of view of generalized algebras with fuzzy equalities
Uses Software