DocumentCode :
2455764
Title :
Representation theorem of Ockham algebras
Author :
Garcia, P. ; Esteva, F.
Author_Institution :
ETSAB-Univ. Politecnica Catalunya, Barcelona, Spain
fYear :
1989
fDate :
29-31 May 1989
Firstpage :
14
Lastpage :
19
Abstract :
A representation theorem of Ockham algebras as subalgebras of direct products of copies of Bω is given. A necessary condition for an Ockham algebra to be subdirectly irreducible is also given. The congruence lattice of Bω is studied
Keywords :
formal logic; Ockham algebras; congruence lattice; direct products; necessary condition; representation theorem; subalgebras; Boolean algebra; Calculus; Equations; Filters; Gold; Lattices; Logic functions;
fLanguage :
English
Publisher :
ieee
Conference_Titel :
Multiple-Valued Logic, 1989. Proceedings., Nineteenth International Symposium on
Conference_Location :
Guangzhou
Print_ISBN :
0-8186-1947-3
Type :
conf
DOI :
10.1109/ISMVL.1989.37753
Filename :
37753
Link To Document :
https://search.ricest.ac.ir/dl/search/defaultta.aspx?DTC=49&DC=2455764
بازگشت