From Classical to Fuzzy Type Theory

DOI10.1007/978-3-319-09719-0_16zbMath1330.03063OpenAlexW2188892352MaRDI 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-algebraresiduated latticefuzzy type theorymathematical fuzzy logicIMTL-algebraEQ-algebrahigher-order fuzzy logic\(\delta\)-operation

Mathematics Subject Classification ID

Uses Software

• ETPS

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• 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

This page was built for publication: From Classical to Fuzzy Type Theory