From Classical to Fuzzy Type Theory

DOI10.1007/978-3-319-09719-0_16zbMath1330.03063MaRDI QIDQ3454816

Vilém Novák

Publication date: 27 November 2015

Published in: Studies in Universal Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-319-09719-0_16

zbMATH Keywords

MV-algebra; residuated lattice; fuzzy type theory; mathematical fuzzy logic; IMTL-algebra; EQ-algebra; higher-order fuzzy logic; \(\delta\)-operation

Mathematics Subject Classification ID

03B52: Fuzzy logic; logic of vagueness

03G25: Other algebras related to logic

06D35: MV-algebras

Uses Software

• ETPS

Cites Work

• Reasoning about mathematical fuzzy logic and its future
• EQ-logics: non-commutative fuzzy logics based on fuzzy equality
• On fuzzy type theory
• A comprehensive theory of trichotomous evaluative linguistic expressions
• Procedural semantics for hyperintensional logic. Foundations and applications of transparent intensional logic
• Distinguished algebraic semantics for t-norm based fuzzy logics: methods and algebraic equivalencies
• EQ-algebras
• Metamathematics of fuzzy logic
• Monoidal t-norm based logic: Towards a logic for left-continuous t-norms
• Triangular norms
• Algebraic foundations of many-valued reasoning
• An introduction to mathematical logic and type theory: To truth through proof.
• Formal systems of fuzzy logic and their fragments
• The logic of inexact concepts
• EQ-algebra-based fuzzy type theory and its extensions
• On Fuzzy Logic I Many‐valued rules of inference
• Fuzzy Logics with Noncommutative Conjuctions
• A theory of prepositional types
• Fuzzy sets
• A partial functions version of Church's simple theory of types
• Completeness in the theory of types
• Discovering the world with fuzzy logic
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item