Tableaux de Smullyan, ensembles de Hintikka et tout ça : un point de vue algébrique
Mathématiques et Sciences Humaines (1974)
- Volume: 48, page 21-27
- ISSN: 0987-6936
Access Full Article
top
Abstract
topHow to cite
topEytan, M.. "Tableaux de Smullyan, ensembles de Hintikka et tout ça : un point de vue algébrique." Mathématiques et Sciences Humaines 48 (1974): 21-27. <http://eudml.org/doc/94146>.
@article{Eytan1974,
abstract = {On se propose de donner une interprétation algébrique (en calcul des propositions classiques) des notions d'arbres, d'ensembles de Hintikka, de la méthode des tableaux de Beth-Hintikka Smullyan.},
author = {Eytan, M.},
journal = {Mathématiques et Sciences Humaines},
language = {fre},
pages = {21-27},
publisher = {Ecole Pratique des hautes études, Centre de mathématique sociale et de statistique},
title = {Tableaux de Smullyan, ensembles de Hintikka et tout ça : un point de vue algébrique},
url = {http://eudml.org/doc/94146},
volume = {48},
year = {1974},
}
TY - JOUR
AU - Eytan, M.
TI - Tableaux de Smullyan, ensembles de Hintikka et tout ça : un point de vue algébrique
JO - Mathématiques et Sciences Humaines
PY - 1974
PB - Ecole Pratique des hautes études, Centre de mathématique sociale et de statistique
VL - 48
SP - 21
EP - 27
AB - On se propose de donner une interprétation algébrique (en calcul des propositions classiques) des notions d'arbres, d'ensembles de Hintikka, de la méthode des tableaux de Beth-Hintikka Smullyan.
LA - fre
UR - http://eudml.org/doc/94146
ER -
References
top- [1] Bourbaki N., Topologie générale, chap. 1 : « Structures topologiques », Paris, Hermann, 1965. MR244924
- [2] Beth E., Formal methods, Dordrecht, Reidel, 1962. Zbl0105.24503
- [3] Hintikka J., « Form and content in quantification theory », Acta Philosophica Finnica, 8 (1955), pp. 57-55. Zbl0067.00103MR69779
- [4] Lambek J., « Deductive systems and categories III », Lecture notes in mathematics274, pp. 57-82, Berlin, Springer,1972. Zbl0244.18006MR349356
- [5] Lawvere W. « Adjointness in foundations », Dialectica23 (1967), pp. 281-296. Zbl0341.18002
- [6] Rasiowa H., Sikorski R., « The mathematics of metamathematics, Varsovie », Polska Akademia Nauk, 1963. Zbl0122.24311MR163850
- [7] Smullyan R., First-order logic, Berlin, Springer, 1968. Zbl0172.28901MR243994
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.