Wyniki wyszukiwania

1

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

Theorem-proving systems

100%

Orłowska E.

Instytut Matematyczny Polskiej Akademii Nauk

EN

CONTENTS Introduction.................................................................................................................... 6 Chapter I. Theorem-proving system § 1. Theory...................................................................................................................... 7 § 2. Fundamental theory $T_ƒ$ ................................................................................ 8 § 3. Theorem-proving system.................................................................................... 16 Chapter II. Theorem-proving process § 1. Diagram of a formula........................................................................................... 20 § 2. The set T of partial diagrams.............................................................................. 20 § 3. Properties of the set T of partial diagram......................................................... 22 § 4. Theorem-proving process........................................................................ 27 Chapter III. Properties of theorem-proving systems § 1. Existence and uniqueness of an unextendable process.............................. 32 § 2. Properties of the set of theorem-proving processes..................................... 33 § 3. C- systems............................................................................................................. 36 § 4. Equivalence of theorem-proving systems........................................................ 38 § 5. Theorem-proving algorithms.............................................................................. 43 References.................................................................................................................... 48

2

Kripke models with relative accessibility and their applications to inferences from incomplete information

96%

Orłowska E.

Banach Center Publications

|

1988

|

tom 21

|

nr 1

329-339

3

Helena Rasiowa, 1917-1994

49%

Bartol W., Orłowska E., Skowron A.

Banach Center Publications

|

1999

|

tom 46

|

nr 1

9-21

Ograniczanie wyników

2 Banach Center Publications

3 Orłowska E.

1 Bartol W.

1 Skowron A.

1 1999

1 1988

1 1973

Theorem-proving systems

Kripke models with relative accessibility and their applications to inferences from incomplete information

Helena Rasiowa, 1917-1994