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
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ć.