On Virtues of Many-Valued (Fuzzy) Type Theories
From MaRDI portal
Publication:3145134
DOI10.1007/978-3-642-15660-1_4zbMath1253.03050MaRDI QIDQ3145134
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
residuated lattice; fuzzy type theory; intermediate quantifiers; mathematical fuzzy logic; evaluative linguistic expressions; EQ-algebra
03B52: Fuzzy logic; logic of vagueness
Related Items
Uses Software