Links to Other Sites

This page contains some links with Web pages related with the proper topics of our Research Area.

• Institutions' Web pages

a. Science Foundations

Foundations of Mathematics (FOM) international forum with automated e-mail list: http://www.cs.nyu.edu/mailman/listinfo/fom/

b. Formal Logic

Square of Oppositions
http://www.square-of-opposition.org

c. Formal Philosophy and Formal Ontology

Metaphysics Research Laboratory at Stanford University: http://mally.stanford.edu//index.html

Buffalo University Formal Ontology Sites: http://www.buffalo.edu/cas/philosophy/faculty/fields/metaphysics/meta_ontology.html

http:/ncor.us

KBS - Ontology Projects Worldwide: http://www.cs.utexas.edu/users/mfkb/related.html

Ontological Foundations of Knowledge Engineering at Italian Laboratory of Applied Ontology (LOA-CNR): http://www.loa.istc.cnr.it/

Sito italiano di ontologia e ontologia formale continuamente aggiornato
http://www.ontology.co

 

• Authors' Web pages

Prof. Edward Nelson: http://www.math.princeton.edu/~nelson

Prof. Harvey Friedman: https://u.osu.edu/friedman.8/

Prof. Giuseppe Longo: http://www.di.ens.fr/~longo