Defining Formal Explanation in Classical Logic by Substructural Derivability

Fiche du document

Date

5 juillet 2021

Discipline
Périmètre
Langue
Identifiants
Collection

Archives ouvertes



Citer ce document

Francesca Poggiolesi et al., « Defining Formal Explanation in Classical Logic by Substructural Derivability », HAL-SHS : philosophie, ID : 10670/1.g130gw


Métriques


Partage / Export

Résumé 0

International audience

document thumbnail

Par les mêmes auteurs

Sur les mêmes sujets

Sur les mêmes disciplines

Exporter en