EQ-algebra-based fuzzy type theory and its extensions

DOI10.1093/JIGPAL/JZP087zbMATH Open1243.03034OpenAlexW2133457869MaRDI QIDQ2885176FDOQ2885176

Authors: Vilém Novák 

Publication date: 21 May 2012

Published in: Logic Journal of the IGPL (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1093/jigpal/jzp087

Recommendations

• Fuzzy type theory, descriptions, and partial functions
• On fuzzy type theory
• EQ-algebras from the point of view of generalized algebras with fuzzy equalities
• Fuzzy type theory with partial functions
• Algebras with fuzzy equalities
• EQ-algebras based on fuzzy hyper EQ-filters
• Extended-order algebras and fuzzy implicators
• scientific article; zbMATH DE number 908719
• Extended fuzzy equational logic
• scientific article; zbMATH DE number 7599953

zbMATH Keywords

fuzzy type theorymathematical fuzzy logicresiduated latticeEQ-algebra

Mathematics Subject Classification ID

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

Cited In (29)

• The theory of intermediate quantifiers in fuzzy natural logic revisited and the model of ``many
• Preideals in EQ-algebras
• Title not available (Why is that?)
• Fuzzy type theory with partial functions
• On modelling with words
• Reasoning about mathematical fuzzy logic and its future
• The structure of generalized intermediate syllogisms
• On the Category of EQ-algebras
• Rough sets and topology in AST: a study via higher-order fuzzy logic
• Non-commutative first-order EQ-logics
• A formal theory of generalized intermediate syllogisms
• Representable good EQ-algebras
• Evaluative linguistic expressions vs. fuzzy categories
• On fuzzy type theory
• EQ-algebras from the point of view of generalized algebras with fuzzy equalities
• Elements of model theory in higher-order fuzzy logic
• From classical to fuzzy type theory
• Results on equality algebras
• Mining information from time series in the form of sentences of natural language
• Equality logic
• Subtypes in fuzzy type theory
• Commutative pseudo-equality algebras
• Internal states on equality algebras
• On Virtues of Many-Valued (Fuzzy) Type Theories
• On good EQ-algebras
• Monadic pseudo-equality algebras
• Analysis of generalized square of opposition with intermediate quantifiers
• EQ-algebras
• State pseudo-equality algebras

Uses Software

• TPS
• ETPS

This page was built for publication: EQ-algebra-based fuzzy type theory and its extensions

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2885176)