On White?s Expansion of Lukasiewicz Logic

Result code in IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F67985807%3A_____%2F10%3A00345010" target="_blank" >RIV/67985807:_____/10:00345010 - isvavai.cz</a>
Result on the web
—
DOI - Digital Object Identifier
—

Result language
angličtina
Original language name
On White?s Expansion of Lukasiewicz Logic
Original language description
A variant of Lukasiewicz logic defined in a remark in White's 1979 paper on the consistency of the axiom of comprehension in the infinite-valued predicate logic of Lukasiewicz is studied; it is shown that the logic in question is an interesting expansionof Lukasiewicz logic which deserves further investigation together with its further expansions. Several formulas are proved in it and some model theory is offered. In the Appendix A, it is shown that a set theory with full comprehension over this logic(claimed consistent by White) is contradictory.
Czech name
—
Czech description
—

Type
J<sub>x</sub> - Unclassified - Peer-reviewed scientific article (Jimp, Jsc and Jost)
CEP classification
BA - General mathematics
OECD FORD branch
—

Project
<a href="/en/project/GEICC%2F08%2FE018" target="_blank" >GEICC/08/E018: Logical Models of Reasoning with Vague Information</a><br>
Continuities
Z - Vyzkumny zamer (s odkazem do CEZ)

Publication year
2010
Confidentiality
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů

Similar results(10)