Przejdź do menu głównego
Przejdź do treści
PL
|
EN
Pełnotekstowe zasoby PLDML oraz innych baz dziedzinowych są już dostępne w nowej Bibliotece Nauki.
Zapraszamy na
https://bibliotekanauki.pl
Szukaj
Przeglądaj
Pomoc
O nas
test
Ograniczanie wyników
Czasopisma
2
Banach Center Publications
2
Fundamenta Mathematicae
Autorzy
5
Rauszer C.
1
Ono H.
Lata
1
1993
1
1982
1
1980
1
1977
1
1974
Preferencje
Polski
English
Język
Widoczny
[Schowaj]
Abstrakt
10
20
50
100
Liczba wyników
Znaleziono wyników: 5
Liczba wyników na stronie
10
20
50
100
Strona
/ 1
Wyniki wyszukiwania
Sortuj według:
trafności
tytułu publikacji
daty malejąco
daty rosnąco
tytułu czasopisma
nazwiska pierwszego autora
Ogranicz wyniki do:
we wszystkich polach
w tytułach publikacji
w tytułach czasopism
w nazwiskach autorów
w słowach kluczowych
w cytowaniach
Strona
/ 1
1
Dostęp do pełnego tekstu lokalnie
An algebraic and Kripke-style approach to a certain extension of intuitionistic logic
100%
Rauszer C.
Instytut Matematyczny Polskiej Akademii Nauk
EN
CONTENTS Introduction............................................................................... 5 Chapter I. Semi-Boolean algebras 1. Semi-Boolean algebras....................................... 8 2. Q-filters in semi-Boolean algebras............................ 11 3. Extensions of semi-Boolean algebras...................... 15 Chapter II. Algebraic and semantic models for Heyting-Brouwer logic 1. Preliminaries.......................................................... 17 2. Algebraic structures....................................................... 21 3. Completeness theorems............................................. 23 4. Deduction theorems...................................................... 24 5. Saturated H-B theories................................................. 26 6. Craig interpolation lemma........................................... 29 7. Theory of falsity............................................................... 31 8. Kripke-style models....................................................... 34 9. Canonical structures..................................................... 39 10. Connections between a-models and k-models.... 42 Chapter III. Model theory for Heyting-Brouwer logic 1. Ultraproducts.......................................................... 45 2. Model extension theorem............................................. 47 3. Connections between H-B logic and DI logic........... 56 References....................................................................................... 59 List of symbols................................................................................. 60 List of definitions............................................................................. 61
2
Dostęp do pełnego tekstu na zewnętrznej witrynie WWW
Semi-Boolean algebras and their applications to intuitionistic logic with dual operations
48%
Rauszer C.
Fundamenta Mathematicae
|
1973-1974
|
tom
83
|
nr
3
219-249
3
Dostęp do pełnego tekstu na zewnętrznej witrynie WWW
On an algebraic and Kripke semantics for intermediate logics
43%
Ono H.
,
Rauszer C.
Banach Center Publications
|
1982
|
tom
9
|
nr
1
431-438
4
Dostęp do pełnego tekstu na zewnętrznej witrynie WWW
An algebraic approach to the Heyting-Brouwer predicate calculus
42%
Rauszer C.
Fundamenta Mathematicae
|
1977
|
tom
96
|
nr
2
127-135
5
Dostęp do pełnego tekstu na zewnętrznej witrynie WWW
Preface, Contents
22%
Rauszer C.
Banach Center Publications
|
1993
|
tom
28
|
nr
1
1-7
Strona
/ 1
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ć.