Generalized Post algebras and their application to some infinitary many-valued logics
Cat-Ho Nguyen
- Publisher: Instytut Matematyczny Polskiej Akademi Nauk(Warszawa), 1973
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 ............................................................................ 56 2. Completeness of some formal systems based on languages ....................... 64References............................................................................................................................................................................... 71
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 -
Citations in EuDML Documents
top
You must be logged in to post comments.
To embed these notes on your page include the following JavaScript code on your page where you want the notes to appear.
