Système d’information en philosophie des sciences
Information system on philosophy of science

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.

 

Haut de page

Retour à la page précédente

Mentions légales © SIPS, 2021.
Dernière mise à jour : Vendredi 03 décembre 2021