On arithmetic in the Cantor-Łukasiewicz fuzzy set theory

DOI10.1007/S00153-005-0284-0zbMath1096.03064OpenAlexW1978704708MaRDI QIDQ2388435

Petr Hájek

Publication date: 13 September 2005

Published in: Archive for Mathematical Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s00153-005-0284-0

zbMATH Keywords

fuzzy set theoryinconsistencyŁukasiewicz logiccontradiction

Mathematics Subject Classification ID

Fuzzy logic; logic of vagueness (03B52) Theory of fuzzy sets, etc. (03E72) Many-valued logic (03B50)

Related Items (10)

Paths to triviality ⋮ Distinguishing non-standard natural numbers in a set theory within Łukasiewicz logic ⋮ Mathematical Fuzzy Logics ⋮ Introduction ⋮ Forcing in Łukasiewicz predicate logic ⋮ Logical consequence and the paradoxes ⋮ Triangular norm based predicate fuzzy logics ⋮ Universes of fuzzy sets and axiomatizations of fuzzy set theory. I: Model-based and axiomatic approaches ⋮ Foundations of a set theory for fuzzy sets. 40 years of development ⋮ Comprehension contradicts to the induction within Łukasiewicz predicate logic

Cites Work

• Globalization of intuitionistic set theory
• A lattice-valued set theory
• Metamathematics of fuzzy logic
• Fuzzy logic and fuzzy set theory
• The undecidability of Grišin's set theory
• Light affine set theory: A naive set theory of polynomial time
• A linear conservative extension of Zermelo-Fraenkel set theory
• Bemerkungen zum Komprehensionsaxiom. Dem Andenken an Heinrich Scholz gewidmet
• Intuitionistic fuzzy logic and intuitionistic fuzzy set theory
• Untersuchungen zur Mehrwertigen Mengenlehre. I
• Untersuchungen zur Mehrwertigen Mengenlehre. II
• Untersuchungen zur Mehrwertigen Mengenlehre. III
• Completeness of global intuitionistic set theory
• The liar paradox and fuzzy logic
• On the Consistency of the Axiom of Comprehension in the Lukasiewicz Infinite Valued Logic.
• The Axiom of Comprehension in Infinite Valued Logic.
• Ein Ansatz zur mehrwertigen Mengenlehre
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: On arithmetic in the Cantor-Łukasiewicz fuzzy set theory