Wyniki wyszukiwania

1

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

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

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

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

An algebraic approach to the Heyting-Brouwer predicate calculus

42%

Rauszer C.

Fundamenta Mathematicae

|

1977

|

tom 96

|

nr 2

127-135

5

Preface, Contents

22%

Rauszer C.

Banach Center Publications

|

1993

|

tom 28

|

nr 1

1-7

Ograniczanie wyników

2 Banach Center Publications

2 Fundamenta Mathematicae

5 Rauszer C.

1 Ono H.

1 1993

1 1982

1 1980

1 1977

1 1974

An algebraic and Kripke-style approach to a certain extension of intuitionistic logic

Semi-Boolean algebras and their applications to intuitionistic logic with dual operations

On an algebraic and Kripke semantics for intermediate logics

An algebraic approach to the Heyting-Brouwer predicate calculus

Preface, Contents