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

Cat-Ho Nguyen

  • Publisher: Instytut Matematyczny Polskiej Akademi Nauk(Warszawa), 1973

Abstract

top
CONTENTSIntroduction............................................................................................................................................................................... 5Part 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................................................................. 40Part II. Infinitary propositional ν-valued languages........................................................................................................... 55   1. A fundamental formal system S ( ℒ m ν ) ............................................................................ 56   2. Completeness of some formal systems based on languages ℒ m ν ....................... 64References............................................................................................................................................................................... 71

How to cite

top

Cat-Ho Nguyen. Generalized Post algebras and their application to some infinitary many-valued logics. Warszawa: Instytut Matematyczny Polskiej Akademi Nauk, 1973. <http://eudml.org/doc/268352>.

@book{Cat1973,
author = {Cat-Ho Nguyen},
language = {eng},
location = {Warszawa},
publisher = {Instytut Matematyczny Polskiej Akademi Nauk},
title = {Generalized Post algebras and their application to some infinitary many-valued logics},
url = {http://eudml.org/doc/268352},
year = {1973},
}

TY - BOOK
AU - Cat-Ho Nguyen
TI - Generalized Post algebras and their application to some infinitary many-valued logics
PY - 1973
CY - Warszawa
PB - Instytut Matematyczny Polskiej Akademi Nauk
LA - eng
UR - http://eudml.org/doc/268352
ER -

NotesEmbed ?

top

You must be logged in to post comments.