Wyniki wyszukiwania

Sortuj według:

Ogranicz wyniki do:

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

Generalized Post algebras and their application to some infinitary many-valued logics

100%

Nguyen C.-H.

Instytut Matematyczny Polskiej Akademii Nauk

CONTENTS Introduction............................................................................................................................................................................... 5 Part I. A generalization of Post algebras............................................................................................................................. 7 1. Definition and characterization of generalized Post algebras............................................. 7 2. Post subalgebras and Post homomorphisms...................................................................... 15 3. Filters in the Post and semi-Post algebras. Quotient algebras......................................... 26 4. Post algebras of type ν................................................................................................................ 35 5. m-Representability of generalized Post algebras................................................................. 40 Part II. Infinitary propositional ν-valued languages........................................................................................................... 55 1. A fundamental formal system $S(ℒ^ν_m)$............................................................................ 56 2. Completeness of some formal systems based on languages $ℒ^ν_m$....................... 64 References............................................................................................................................................................................... 71

Ograniczanie wyników

1 Nguyen C.-H.

1 1973

Wyniki wyszukiwania

Generalized Post algebras and their application to some infinitary many-valued logics