A generalization of a formalized theory of fields of sets on non-classical logics
Helena Rasiowa
GDML_Books, (1964), p.

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

EUDML-ID : urn:eudml:doc:268342
@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/