On White's Expansion of Lukasiewicz Logic

DOI10.1093/LOGCOM/EXP050zbMATH Open1215.03039OpenAlexW1981335251MaRDI QIDQ3553914FDOQ3553914

Petr Hájek

Publication date: 21 April 2010

Published in: Journal Of Logic And Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1093/logcom/exp050

zbMATH Keywords

Cantor-Łukasiewicz set theoryfull comprehensionŁukasiewicz fuzzy logic

Mathematics Subject Classification ID

Many-valued logic (03B50) Fuzzy logic; logic of vagueness (03B52) Nonclassical and second-order set theories (03E70)

Cited In (1)

• Forcing in Łukasiewicz predicate logic

This page was built for publication: On White's Expansion of Lukasiewicz Logic

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3553914)