David Makinson on Classical Methods for Non-Classical Problems. - Archive ouverte HAL Accéder directement au contenu
Article Dans Une Revue Springer, Outstanding contribution to Logic. Année : 2014

David Makinson on Classical Methods for Non-Classical Problems.

Dov M. Gabbay
  • Fonction : Auteur
  • PersonId : 852877
Leendert van Der Torre
  • Fonction : Auteur
  • PersonId : 911348

Résumé

An intuitionistic basis for input/output logic.

Domaines

Philosophie
Fichier non déposé

Dates et versions

hal-01054375 , version 1 (06-08-2014)

Identifiants

  • HAL Id : hal-01054375 , version 1

Citer

Xavier Parent, Dov M. Gabbay, Leendert van Der Torre. David Makinson on Classical Methods for Non-Classical Problems.. Springer, Outstanding contribution to Logic., 2014, 3, p. ⟨hal-01054375⟩

Collections

CNRS UNIV-AMU CGGG
70 Consultations
0 Téléchargements

Partager

Gmail Facebook X LinkedIn More