EQ-algebra-based fuzzy type theory and its extensions

DOI10.1093/jigpal/jzp087zbMath1243.03034OpenAlexW2133457869MaRDI QIDQ2885176

Vilém Novák

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

zbMATH Keywords

residuated latticefuzzy type theorymathematical fuzzy logicEQ-algebra

Mathematics Subject Classification ID

Fuzzy logic; logic of vagueness (03B52) Other algebras related to logic (03G25)

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

• TPS
• ETPS