DMF-algebras: representation and topological characterization
Negri, Maurizio
Bollettino dell'Unione Matematica Italiana, Tome 1-A (1998), p. 369-390 / Harvested from Biblioteca Digitale Italiana di Matematica
Access to full text
Full (PDF)
Full (DjVu)

Gli insiemi parziali sono coppie A,B di sottoinsiemi di X, dove A∩B≠0. Gli insiemi parziali su X costituiscono una DMF-algebra, ossia un'algebra di De Morgan in cui la negazione ha un solo punto fisso. Dimostriamo che ogni DMF-algebra è isomorfa a un campo di insiemi parziali. Utilizzando gli insiemi parziali su X come aperti, introduciamo il concetto di spazio topologico parziale su X. Infine associamo ad ogni DMF-algebra A uno spazio topologico parziale i cui clopen compatti costituiscono un campo d'insiemi parziali isomorfo ad A.

Publié le : 1998-06-01
@article{BUMI_1998_8_1B_2_369_0,
     author = {Maurizio Negri},
     title = {DMF-algebras: representation and topological characterization},
     journal = {Bollettino dell'Unione Matematica Italiana},
     volume = {1-A},
     year = {1998},
     pages = {369-390},
     zbl = {0907.06011},
     mrnumber = {1638155},
     language = {en},
     url = {http://dml.mathdoc.fr/item/BUMI_1998_8_1B_2_369_0}
}

Negri, Maurizio. DMF-algebras: representation and topological characterization. Bollettino dell'Unione Matematica Italiana, Tome 1-A (1998) pp. 369-390. http://gdmltest.u-ga.fr/item/BUMI_1998_8_1B_2_369_0/

[1] Bialynicki-Birula, A.-Rasiowa, H., On the representation of quasi-Boolean algebras, Bull. Acad. Polon. Sci. Cl. III, 5 (1957), 259-61. | MR 87628 | Zbl 0082.01403

[2] Boicescu, V.-Filipoiu, A.-Georgescu, G.-Rudeanu, S., Lukasiewicz-Moisil Algebras, North-Holland (1991). | MR 1112790 | Zbl 0726.06007

[3] Cleave, J. P., A Study of Logics, Oxford (1991). | MR 1149599 | Zbl 0763.03003

[4] Negri, M., Three valued semantics and DMF-algebras, Boll. Un. Mat. Ital. (7), 10-B (1996), 733-60. | MR 1411525 | Zbl 0882.03019

[5] Stone, M. H., Topological representations of distributive lattices and Brouwerian logics, Casopis pest. Mat., 67 (1937), 1-25.