Qu'est-ce la complétude structurale ?
Makinson, David
Publications du Département de mathématiques (Lyon), Tome 16 (1979), p. 65-66 / Harvested from Numdam
Access to full text
Full (PDF)
Full (DJVU)
Publié le : 1979-01-01
@article{PDML_1979__16_3-4_65_0,
     author = {Makinson, David},
     title = {Qu'est-ce la compl\'etude structurale ?},
     journal = {Publications du D\'epartement de math\'ematiques (Lyon)},
     volume = {16},
     year = {1979},
     pages = {65-66},
     mrnumber = {602654},
     zbl = {0474.03010},
     language = {fr},
     url = {http://dml.mathdoc.fr/item/PDML_1979__16_3-4_65_0}
}

Makinson, David. Qu'est-ce la complétude structurale ?. Publications du Département de mathématiques (Lyon), Tome 16 (1979) pp. 65-66. http://gdmltest.u-ga.fr/item/PDML_1979__16_3-4_65_0/

[1] Pogorzelski, W.A., Structural completeness of the propositional calculus, Bull. Acad. Polon. Sci., Série Math. Astron. Phys. 19 (1971) 349-351. | MR 302398 | Zbl 0214.00704

[2] Tokarz, M., Connections between some notions of completeness of structural propositional calculi, Studia Logica 32 (1973) 77-89. | MR 344110 | Zbl 0345.02037