Geodesic
Qu'est-ce la complétude structurale ?
Publications du Département de mathématiques (Lyon), Tome 16 (1979) no. 3-4, pp. 65-66.

Voir la notice de l'article provenant de la source Numdam

@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)},
     pages = {65--66},
     publisher = {Universit\'e Claude Bernard - Lyon 1},
     volume = {16},
     number = {3-4},
     year = {1979},
     mrnumber = {602654},
     zbl = {0474.03010},
     language = {fr},
     url = {http://geodesic.mathdoc.fr/item/PDML_1979__16_3-4_65_0/}
}
TY  - JOUR
AU  - Makinson, David
TI  - Qu'est-ce la complétude structurale ?
JO  - Publications du Département de mathématiques (Lyon)
PY  - 1979
SP  - 65
EP  - 66
VL  - 16
IS  - 3-4
PB  - Université Claude Bernard - Lyon 1
UR  - http://geodesic.mathdoc.fr/item/PDML_1979__16_3-4_65_0/
LA  - fr
ID  - PDML_1979__16_3-4_65_0
ER  - 
%0 Journal Article
%A Makinson, David
%T Qu'est-ce la complétude structurale ?
%J Publications du Département de mathématiques (Lyon)
%D 1979
%P 65-66
%V 16
%N 3-4
%I Université Claude Bernard - Lyon 1
%U http://geodesic.mathdoc.fr/item/PDML_1979__16_3-4_65_0/
%G fr
%F 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) no. 3-4, pp. 65-66. http://geodesic.mathdoc.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. | Zbl | MR

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