A generalization of a formalized theory of fields of sets on non-classical logics

Helena Rasiowa. A generalization of a formalized theory of fields of sets on non-classical logics. 1964. <http://eudml.org/doc/268342>.

@book{HelenaRasiowa1964,
abstract = {Contents Introduction.................................................................................................................................................. 3 § 1. System $\mathcal \{S\}$ of a propositional calculus...................................................................... 4 § 2. System $\mathcal \{S\}*$..................................................................................................................... 5 § 3. $\mathcal \{S\}*$-algebras.................................................................................................................. 9 § 4. The algebra of set designations of $\mathcal \{S\}*$.................................................................... 11 § 5. Models of the system $\mathcal \{S\}*$............................................................................................ 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 $\mathcal \{S\}$-algebras based on $\mathcal \{S\}$-logic.................. 26 References................................................................................................................................................. 29},
author = {Helena Rasiowa},
language = {eng},
title = {A generalization of a formalized theory of fields of sets on non-classical logics},
url = {http://eudml.org/doc/268342},
year = {1964},
}

TY - BOOK
AU - Helena Rasiowa
TI - A generalization of a formalized theory of fields of sets on non-classical logics
PY - 1964
AB - Contents Introduction.................................................................................................................................................. 3 § 1. System $\mathcal {S}$ of a propositional calculus...................................................................... 4 § 2. System $\mathcal {S}*$..................................................................................................................... 5 § 3. $\mathcal {S}*$-algebras.................................................................................................................. 9 § 4. The algebra of set designations of $\mathcal {S}*$.................................................................... 11 § 5. Models of the system $\mathcal {S}*$............................................................................................ 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 $\mathcal {S}$-algebras based on $\mathcal {S}$-logic.................. 26 References................................................................................................................................................. 29
LA - eng
UR - http://eudml.org/doc/268342
ER -