Weak Implicational Logics Related to the Lambek Calculus—Gentzen versus Hilbert Formalisms

Retour à la page précédente
Envoyer le lien

Article

    • Pages : 201 à 212
    •  
    •  
    • ISBN : 978-1-4020-9083-7
    •  
    • Date de création : 04-01-2011
    • Dernière mise à jour : 02-11-2015

    Résumé

    Anglais

    Introduction; – Preliminaries; – The Associative Case; – The Non-Associative Case; – Hilbert-Style Formalism.

    Mots-clés

    Rationalisme