Soddisfacibilità costruttiva
La Matematica nella Società e nella Cultura. Rivista dell'Unione Matematica Italiana (2008)
- Volume: 1, Issue: 2, page 275-278
- ISSN: 1972-7356
Access Full Article
topHow to cite
topCiraulo, Francesco. "Soddisfacibilità costruttiva." La Matematica nella Società e nella Cultura. Rivista dell'Unione Matematica Italiana 1.2 (2008): 275-278. <http://eudml.org/doc/290527>.
@article{Ciraulo2008,
author = {Ciraulo, Francesco},
journal = {La Matematica nella Società e nella Cultura. Rivista dell'Unione Matematica Italiana},
language = {ita},
month = {8},
number = {2},
pages = {275-278},
publisher = {Unione Matematica Italiana},
title = {Soddisfacibilità costruttiva},
url = {http://eudml.org/doc/290527},
volume = {1},
year = {2008},
}
TY - JOUR
AU - Ciraulo, Francesco
TI - Soddisfacibilità costruttiva
JO - La Matematica nella Società e nella Cultura. Rivista dell'Unione Matematica Italiana
DA - 2008/8//
PB - Unione Matematica Italiana
VL - 1
IS - 2
SP - 275
EP - 278
LA - ita
UR - http://eudml.org/doc/290527
ER -
References
top- COQUAND, T., SADOCCO, S., SAMBIN, G. and SMITH, J., Formal topologies on the set of first-order formulae, Journal of Symbolic Logic, 65 (2000), 1183-1192. Zbl0965.03072MR1791370DOI10.2307/2586694
- JONSSON, B. and TARSKI, A., Boolean algebras with operators. Part I, American Journal of Mathematics, 73 (4) (1951), 891-939. Zbl0045.31505MR44502DOI10.2307/2372123
- SAMBIN, G., Pretopologies and completeness proofs, Journal of Symbolic Logic, 60 (1995), 861-878. Zbl0839.03022MR1348998DOI10.2307/2275761
- SAMBIN, G., The Basic Picture. A Structural Basis for Constructive Topology (including two papers with P. Martin-Lof and with V. Capretta), Oxford University Press, to appear in 2008.
- TAKEUTI, G., Proof Theory, North-Holland (1975). MR536648
NotesEmbed ?
topTo embed these notes on your page include the following JavaScript code on your page where you want the notes to appear.