Preferencje help
Widoczny [Schowaj] Abstrakt
Liczba wyników
Cover of the book
Tytuł książki

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

Autorzy
Seria
Rozprawy Matematyczne tom/nr w serii: 42 wydano: 1964
Zawartość
Warianty tytułu
Abstrakty
EN

Contents
Introduction.................................................................................................................................................. 3
§ 1. System $\mathscr{S}$ of a propositional calculus...................................................................... 4
§ 2. System $\mathscr{S}*$..................................................................................................................... 5
§ 3. $\mathscr{S}*$-algebras.................................................................................................................. 9
§ 4. The algebra of set designations of $\mathscr{S}*$.................................................................... 11
§ 5. Models of the system $\mathscr{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 $\mathscr{S}$-algebras based on $\mathscr{S}$-logic.................. 26
References................................................................................................................................................. 29
Słowa kluczowe
Tematy
Miejsce publikacji
Warszawa
Copyright
Seria
Rozprawy Matematyczne tom/nr w serii: 42
Liczba stron
30
Liczba rozdzia³ów
Opis fizyczny
Rozprawy Matematyczne, Tom XLII
Daty
wydano
1964
Twórcy
autor
Bibliografia
Języki publikacji
EN
Uwagi
Identyfikator YADDA
bwmeta1.element.desklight-a58c75cc-7fba-408c-a39e-d8f1356d756f
Identyfikatory
Kolekcja
DML-PL
Zawartość książki

rozwiń roczniki

JavaScript jest wyłączony w Twojej przeglądarce internetowej. Włącz go, a następnie odśwież stronę, aby móc w pełni z niej korzystać.