On equality and natural numbers in Cantor-Lukasiewicz set theory

DOI10.1093/jigpal/jzq019zbMath1283.03086OpenAlexW1994979480MaRDI QIDQ4925160

Petr Hájek

Publication date: 11 June 2013

Published in: Logic Journal of IGPL (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1093/jigpal/jzq019

zbMATH Keywords

undecidabilityincompletenessinfinite-valued logicŁukasiewicz logicCantor set theoryfull comprehension

Mathematics Subject Classification ID

Fuzzy logic; logic of vagueness (03B52) Theory of fuzzy sets, etc. (03E72) Undecidability and degrees of sets of sentences (03D35) Many-valued logic (03B50) Gödel numberings and issues of incompleteness (03F40)

Related Items

Fuzzy sets and formal logics ⋮ Fuzzy Logic and the Linz Seminar: Themes and Some Personal Reminiscences