Logo Sips
Accueil
Abécédaire
Recherche
Intranet
Contact

Système d'information en philosophie des sciences

Logo Sips
ImprimerEnvoyer le lien

ARTICLE

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

  • Pages : 201 à 212
  •  
  •  
  •  
  • Date de création : 04-01-2011
  • Dernière mise à jour : 02-11-2015

Mots-clés :

Résumé :

Anglais

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

 

Mots-clés :

Résumé :

Anglais

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

 
Haut de pageRetour à la page précédente