Qu'est-ce la complétude structurale ?
Publications du Département de mathématiques (Lyon) (1979)
- Volume: 16, Issue: 3-4, page 65-66
- ISSN: 0076-1656
Access Full Article
top
How to cite
topMakinson, David. "Qu'est-ce la complétude structurale ?." Publications du Département de mathématiques (Lyon) 16.3-4 (1979): 65-66. <http://eudml.org/doc/273357>.
@article{Makinson1979,
author = {Makinson, David},
journal = {Publications du Département de mathématiques (Lyon)},
keywords = {structural propositional calculi; structurally complete consequence operation},
language = {fre},
number = {3-4},
pages = {65-66},
publisher = {Université Claude Bernard - Lyon 1},
title = {Qu'est-ce la complétude structurale ?},
url = {http://eudml.org/doc/273357},
volume = {16},
year = {1979},
}
TY - JOUR
AU - Makinson, David
TI - Qu'est-ce la complétude structurale ?
JO - Publications du Département de mathématiques (Lyon)
PY - 1979
PB - Université Claude Bernard - Lyon 1
VL - 16
IS - 3-4
SP - 65
EP - 66
LA - fre
KW - structural propositional calculi; structurally complete consequence operation
UR - http://eudml.org/doc/273357
ER -
References
top- [1] Pogorzelski, W.A., Structural completeness of the propositional calculus, Bull. Acad. Polon. Sci., Série Math. Astron. Phys.19 (1971) 349-351. Zbl0214.00704MR302398
- [2] Tokarz, M., Connections between some notions of completeness of structural propositional calculi, Studia Logica32 (1973) 77-89. Zbl0345.02037MR344110
NotesEmbed ?
topYou 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.