Mathematical fuzzy logic -- what it can learn from Mostowski and Rasiowa

DOI10.1007/s11225-006-9002-0zbMath1112.03017OpenAlexW2040935399MaRDI QIDQ865044

Petr Hájek

Publication date: 13 February 2007

Published in: Studia Logica (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s11225-006-9002-0

zbMATH Keywords

many-valued logicmathematical fuzzy logicMostowskiRasiowa

Mathematics Subject Classification ID

Fuzzy logic; logic of vagueness (03B52) History of mathematical logic and foundations (03-03) Many-valued logic (03B50)

Related Items

Trakhtenbrot theorem and first-order axiomatic extensions of MTL

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Observations on non-commutative fuzzy logic
• Arithmetical complexity of fuzzy predicate logics -- a survey
• An algebraic approach to non-classical logics
• Metamathematics of fuzzy logic
• Monoidal t-norm based logic: Towards a logic for left-continuous t-norms
• Compactness of fuzzy logics.
• Triangular norm based predicate fuzzy logics
• What is mathematical fuzzy logic
• Axiomatizability of some many valued predicate calculi
• Hoops and Fuzzy Logic
• Kripke‐style semantics for many‐valued logics
• An Example of a Non‐Axiomatizable Many Valued Logic
• Fuzzy sets
• Proofs of non-deducibility in intuitionistic functional calculus