Contents Introduction.................................................................................................................................................. 3 § 1. System of a propositional calculus...................................................................... 4 § 2. System ..................................................................................................................... 5 § 3. -algebras.................................................................................................................. 9 § 4. The algebra of set designations of .................................................................... 11 § 5. Models of the system ............................................................................................ 13 § G. Completeness theorem................................................................................................................... 17 § 7. Formalized theory of fields of sets.................................................................................................. 20 § 8. Classical elementary theory of Boolean algebras....................................................................... 23 § 9. Elementary theories of -algebras based on -logic.................. 26 References................................................................................................................................................. 29
@book{bwmeta1.element.desklight-a58c75cc-7fba-408c-a39e-d8f1356d756f,
author = {Helena Rasiowa},
title = {A generalization of a formalized theory of fields of sets on non-classical logics},
series = {GDML\_Books},
year = {1964},
language = {en},
url = {http://dml.mathdoc.fr/item/bwmeta1.element.desklight-a58c75cc-7fba-408c-a39e-d8f1356d756f}
}
Helena Rasiowa. A generalization of a formalized theory of fields of sets on non-classical logics. GDML_Books (1964), http://gdmltest.u-ga.fr/item/bwmeta1.element.desklight-a58c75cc-7fba-408c-a39e-d8f1356d756f/