On Virtues of Many-Valued (Fuzzy) Type Theories

DOI10.1007/978-3-642-15660-1_4zbMATH Open1253.03050OpenAlexW114788661MaRDI QIDQ3145134FDOQ3145134

Authors: Vilém Novák 

Publication date: 14 December 2012

Published in: Quantitative Logic and Soft Computing 2010 (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-15660-1_4

Recommendations

• On fuzzy type theory
• Many-Valuation, Modality, and Fuzziness
• A minimalistic many-valued theory of types
• Fuzzy type theory, descriptions, and partial functions
• scientific article; zbMATH DE number 3273876
• From classical to fuzzy type theory
• EQ-algebra-based fuzzy type theory and its extensions
• scientific article; zbMATH DE number 1139130
• Fuzzy type theory with partial functions
• scientific article; zbMATH DE number 7599953

zbMATH Keywords

fuzzy type theoryintermediate quantifiersmathematical fuzzy logicresiduated latticeevaluative linguistic expressionsEQ-algebra

Mathematics Subject Classification ID

Fuzzy logic; logic of vagueness (03B52)

Cited In (4)

• On fuzzy type theory
• Elements of model theory in higher-order fuzzy logic
• From classical to fuzzy type theory
• Subtypes in fuzzy type theory

Uses Software

• ETPS

This page was built for publication: On Virtues of Many-Valued (Fuzzy) Type Theories

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