Soddisfacibilità costruttiva
Ciraulo, Francesco
La Matematica nella Società e nella Cultura. Rivista dell'Unione Matematica Italiana, Tome 1 (2008), p. 275-278 / Harvested from Biblioteca Digitale Italiana di Matematica
Access to full text
Full (PDF)
Full (DjVu)
Publié le : 2008-08-01
@article{RIUMI_2008_1_1_2_275_0,
     author = {Francesco Ciraulo},
     title = {Soddisfacibilit\`a costruttiva},
     journal = {La Matematica nella Societ\`a e nella Cultura. Rivista dell'Unione Matematica Italiana},
     volume = {1},
     year = {2008},
     pages = {275-278},
     language = {it},
     url = {http://dml.mathdoc.fr/item/RIUMI_2008_1_1_2_275_0}
}

Ciraulo, Francesco. Soddisfacibilità costruttiva. La Matematica nella Società e nella Cultura. Rivista dell'Unione Matematica Italiana, Tome 1 (2008) pp. 275-278. http://gdmltest.u-ga.fr/item/RIUMI_2008_1_1_2_275_0/

[1] 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. | MR 1791370 | Zbl 0965.03072

[2] Jonsson, B. and Tarski, A., Boolean algebras with operators. Part I, American Journal of Mathematics, 73 (4) (1951), 891-939. | MR 44502 | Zbl 0045.31505

[3] Sambin, G., Pretopologies and completeness proofs, Journal of Symbolic Logic, 60 (1995), 861-878. | MR 1348998 | Zbl 0839.03022

[4] 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.

[5] Takeuti, G., Proof Theory, North-Holland (1975). | MR 536648