Wyniki wyszukiwania

1

Artykuł dostępny w postaci pełnego tekstu - kliknij by otworzyć plik

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

100%

Rasiowa H.

Instytut Matematyczny Polskiej Akademii Nauk

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

2

On constructible falsity in the constructive logic with strong negation

48%

Białynicki-Birula A., Rasiowa H.

Colloquium Mathematicum

|

1958

|

tom 6

|

nr 1

287-310

3

An introduction to algorithmic logic. Metamathematical investigations in the theory of programs

43%

Banachowski L., Kreczmar A., Mirkowska G., Rasiowa H., Sławicki A.

Banach Center Publications

|

1977

|

tom 2

|

nr 1

7-99

4

On existential theorems in non-classical functional calculi

42%

Rasiowa H., Sikorski R.

Fundamenta Mathematicae

|

1955

|

tom 41

|

nr 1

21-28

5

On the isomorphism of Lindenbaum algebras with fields of sets

42%

Rasiowa H., Sikorski R.

Colloquium Mathematicum

|

1957-1958

|

tom 5

|

nr 2

143-158

6

Errata to the paper "On the ε-theorems" (Fund. Math. 43, p. 156-165)

42%

Rasiowa H.

Fundamenta Mathematicae

|

1957

|

tom 44

|

nr 3

333

7

Algebraic Treatment of the Functional Calculi of Heyting and Lewis

42%

Rasiowa H.

Fundamenta Mathematicae

|

1951

|

tom 38

|

nr 1

99-126

8

Algebraic treatment of the notion of satisfiability

36%

Rasiowa H., Sikorski R.

Fundamenta Mathematicae

|

1953

|

tom 40

|

nr 1

62-95

9

A proof of the completeness theorem of Grödel

36%

Rasiowa H., Sikorski R.

Fundamenta Mathematicae

|

1950

|

tom 37

|

nr 1

193-200

10

A proof of the Skolem-Löwenheim Theorem

36%

Rasiowa H., Sikorski R.

Fundamenta Mathematicae

|

1951

|

tom 38

|

nr 1

230-232

11

A proof of the compactness theorem for arithmetical classes

36%

Rasiowa H.

Fundamenta Mathematicae

|

1952

|

tom 39

|

nr 1

8-14

12

N-lattices and constructive logic with strong negation

36%

Rasiowa H.

Fundamenta Mathematicae

|

1958-1959

|

tom 46

|

nr 1

61-80

13

An application of lattices to logic

31%

Rasiowa H., Sikorski R.

Fundamenta Mathematicae

|

1955

|

tom 42

|

nr 1

83-100

14

On the Gentzen theorem

31%

Rasiowa H., Sikorski R.

Fundamenta Mathematicae

|

1959-1960

|

tom 48

|

nr 1

59-69

15

Algebraic models of axiomatic theories

30%

Rasiowa H.

Fundamenta Mathematicae

|

1955

|

tom 41

|

nr 2

291-310

16

Preface, Contents

25%

Mirkowska G., Rasiowa H.

Banach Center Publications

|

1988

|

tom 21

|

nr 1

1-8

17

On the ε-theorems

24%

Rasiowa H.

Fundamenta Mathematicae

|

1956

|

tom 43

|

nr 2

156-165

Ograniczanie wyników

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

On constructible falsity in the constructive logic with strong negation

An introduction to algorithmic logic. Metamathematical investigations in the theory of programs

On existential theorems in non-classical functional calculi

On the isomorphism of Lindenbaum algebras with fields of sets

Errata to the paper "On the ε-theorems" (Fund. Math. 43, p. 156-165)

Algebraic Treatment of the Functional Calculi of Heyting and Lewis

Algebraic treatment of the notion of satisfiability

A proof of the completeness theorem of Grödel

A proof of the Skolem-Löwenheim Theorem

A proof of the compactness theorem for arithmetical classes

N-lattices and constructive logic with strong negation

An application of lattices to logic

On the Gentzen theorem

Algebraic models of axiomatic theories

Preface, Contents

On the ε-theorems