Brève description / annotation

Introduction générale Notations et conventions 1 LES CONNECTEURS PROPOSITIONNELS 1.1 Introduction - 1.2 LOGIQUE BASÉE SUR LA SÉMANTIQUE - 1.3 LOGIQUE BASÉE SUR L'AXIOMATIQUE HILBERTIENNE - 1.4 Logiques classique, minimale, intuitionniste et autre - 1.5 Équivalence de systèmes axiomatiques - 1.6 Relation entre axiomatique hilbertienne et sémantique - 1.7 LOGIQUE BASÉE SUR LA NOTION DE CONSÉQUENCE - 1.8 Relation entre conséquence et sémantique - 1.9 Relation entre conséquence et axiomatique hilbertienne - 1.10 LOGIQUE BASÉE SUR LES SÉQUENTSMULTIPLES - 1.11 Sémantique des séquents multiples. Méthode des contre-exemples - 1.12 Relation entre séquents multiples et sémantique - 1.13 Relation entre séquents multiples et axiomatique hilbertienne - 1.14 Relation entre séquents multiples et conséquence - 1.15 LOGIQUE BASÉE SUR LES SÉQUENTS SIMPLES - 1.16 Relation entre séquents simples et sémantique - 1.17 Relation entre séquents simples et axiomatique hilbertienne - 1.18 Relation entre séquents simples et conséquence - 1.19 Relation entre séquents simples et séquents multiples - 1.20 LOGIQUE BASÉE SUR LA DÉDUCTION - 1.21 Relation entre déduction et séquents simples 2 Les quantificateurs 2.1 Introduction - 2.2 LOGIQUE BASÉE SUR LA SÉMANTIQUE - 2.3 LOGIQUE BASÉE SUR L'AXIOMATIQUE HILBERTIENNE - 2.4 Équivalence de systèmes axiomatiques - 2.5 Relation entre axiomatique hilbertienne et sémantique - 2.6 LOGIQUE BASÉE SUR LA NOTION DE CONSÉQUENCE - 2.7 Relation entre conséquence et sémantique - 2.8 Relation entre conséquence et axiomatique hilbertienne - 2.9 LOGIQUE BASÉE SUR LES SÉQUENTSMULTIPLES - 2.10 Sémantique des séquents multiples. Méthode des contre-exemples - 2.11 Relation entre séquents multiples et sémantique - 2.12 Relation entre séquents multiples et axiomatique hilbertienne - 2.13 Relation entre séquents multiples et conséquence - 2.14 LOGIQUE BASÉE SUR LES SÉQUENTS SIMPLES - 2.15 Relation entre séquents simples et sémantique - 2.16 Relation entre séquents simples et axiomatique hilbertienne - 2.17 Relation entre séquents simples et conséquence - 2.18 Relation entre séquents simples et séquents multiples - 2.19 LOGIQUE BASÉE SUR LA DÉDUCTION - 2.20 Relation entre déduction et séquents simples 3 L'ÉGALITÉ 3.1 Introduction - 3.2 LOGIQUE BASÉE SUR LA SÉMANTIQUE - 3.3 LOGIQUE BASÉE SUR L'AXIOMATIQUE HILBERTIENNE - 3.4 Équivalence de systèmes axiomatiques - 3.5 Relation entre axiomatique hilbertienne et sémantique - 3.6 LOGIQUE BASÉE SUR LA NOTION DE CONSÉQUENCE - 3.7 Relation entre conséquence et sémantique - 3.8 Relation entre conséquence et axiomatique hilbertienne - 3.9 LOGIQUE BASÉE SUR LES SÉQUENTSMULTIPLES - 3.10 Sémantique des séquents multiples. Méthode des contre-exemples - 3.11 Relation entre séquents multiples et sémantique - 3.12 Relation entre séquents multiples et axiomatique hilbertienne - 3.13 Relation entre séquents multiples et conséquence - 3.14 LOGIQUE BASÉE SUR LES SÉQUENTS SIMPLES ET RELATIONS AVEC LES AUTRES APPROCHES - 3.15 LOGIQUE BASÉE SUR LA DÉDUCTION - 3.16 Relation entre déduction et séquents simples A Compléments à la partie 1 B Compléments à la partie 2 C Compléments à la partie 3 D Le constructivisme E Prérequis ensemblistes et autres Bibliographie

Détails