Soddisfacibilità costruttiva

Francesco Ciraulo

La Matematica nella Società e nella Cultura. Rivista dell'Unione Matematica Italiana (2008)

  • Volume: 1, Issue: 2, page 275-278
  • ISSN: 1972-7356

How to cite

top

Ciraulo, 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
  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. Zbl0965.03072MR1791370DOI10.2307/2586694
  2. JONSSON, B. and TARSKI, A., Boolean algebras with operators. Part I, American Journal of Mathematics, 73 (4) (1951), 891-939. Zbl0045.31505MR44502DOI10.2307/2372123
  3. SAMBIN, G., Pretopologies and completeness proofs, Journal of Symbolic Logic, 60 (1995), 861-878. Zbl0839.03022MR1348998DOI10.2307/2275761
  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). MR536648

NotesEmbed ?

top

You must be logged in to post comments.