Sito Web Italiano per la Filosofia
 Lo SWIF nasce dalla collaborazione tra diverse istituzioni
 
Vai al settore scolastico Vai al settore universitario, della ricerca e del mondo del lavoro Per la consultazione di dizionari, enciclopedie, banche dati, software... Vai alle pagine dedicate ai filosofie e alla filosofie Vai alla pagina dedicata agli incontri e alle conferenze in Italia Le ultime novita' dallo Swif e sullo Swif Vai a Hippias, al motore di ricerca interno allo Swif, e ad altri motori per Internet
 

HOME English
HOME Italiano

THE SWIF MAP OF LOGIC IN THE WWW

Welcome to the SWIF Map of Logic in the WWW, an annotated index of logical sites and resources throughout the World Wide Web.
This service can be exploited by two typologies of users. Those who understand Italian will find captions aimed at directing and speeding up their researches. Those who don't may simply skip the captions and use our Map as an unannotated index.

list of contents

Logic in the WWW: a general survey

 
Logic and Philosophy
Logic and Mathematics
Logic and Computer Science / AI
General Resources

Logic in the WWW: main fields of research and application

  Foundations of Mathematics Non Classical Logics Automated Reasoning Logic and AI
 

A complete list of specific contents

 

******************** 
    Automated Theorem Proving
    Belief Revision
    Category Theory
    Computational Logic
    Constructive Mathematics
    Formal Methods
    Formal Ontology
    Fuzzy Logic
    History of Logic
    Intuitionistic Logic
    Knowledge-Based Systems
    Linear Logic
    Logic Programming
    Modal Logic
    Model Theory
    Non Monotonic Logics
    Paraconsistent Logic
    Philosophy of Logic
    Proof Theory
    Quantum Logic
    Recursion Theory
    Relevant Logic
    Set Theory
    Substructural Logics
    Temporal Logic
    Theory Change

    Back to the Top
    HOME English
    HOME Italiano