David Makinson on Classical Methods for Non-Classical Problems.

Fiche du document

Auteurs
Date

2014

Discipline
Type de document
Périmètre
Langue
Identifiants
Source

HAL-SHS : philosophie

Collection

Archives ouvertes

Organisation

Centre pour la communication scientifique directe

Mots-clés En Fr

Logic David Makinson. Logique David Makinson

Sujets proches En

Argumentation Dialectic (Logic) Deduction (Logic) Deductive logic Logic, Deductive

Citer ce document

Xavier Parent et al., « David Makinson on Classical Methods for Non-Classical Problems. », HAL-SHS : philosophie, ID : 10670/1.yob4ds

Métriques

Partage / Export

Résumé En

An intuitionistic basis for input/output logic.

document thumbnail

Par les mêmes auteurs

Sur les mêmes sujets

Sur les mêmes disciplines

Exporter en