Browsing by Author "Rapporteur : AMROUNE, Abdelaziz"

Now showing 1 - 1 of 1
  • Thumbnail Image
    ItemOpen Access
    Treillis de Heyting et Systèmes Déductifs
    (University of M'sila, 2016-06-10) BOULANOUAR, Rania Djihad; Rapporteur : AMROUNE, Abdelaziz
    L'algèbre de Heyting est le modèle algébrique de la logique intuitionniste. L'étude des algèbres s'accompagne et détermine notre compréhension de ce que c'est la logique. Certes, c'est une approche de nature sémantique à la logique, mais qui est capable d'intégrer et donner des réponses aux problèmes plus proprement syntaxiques. D'autre part la théorie des systèmes déductifs a été fondée par A. Tarski [1930] et développée par le même auteur dans ses importants travaux [1956]. D. Hilbert [1923] a mis en évidence l'importance du calcul implicatif positif, dont l'étude au point de vue de l'algèbre a été développée par L. Henkin [1950]