On Virtues of Many-Valued (Fuzzy) Type Theories

DOI10.1007/978-3-642-15660-1_4zbMath1253.03050OpenAlexW114788661MaRDI QIDQ3145134

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

zbMATH Keywords

residuated latticefuzzy type theoryintermediate quantifiersmathematical fuzzy logicevaluative linguistic expressionsEQ-algebra

Mathematics Subject Classification ID

Fuzzy logic; logic of vagueness (03B52)

Related Items (2)

Elements of model theory in higher-order fuzzy logic ⋮ Subtypes in fuzzy type theory

Uses Software

• ETPS

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