Nested sequent calculi for normal conditional logics
Résumé
no abstract
Article Dans Une Revue
Journal of Logic and Computation
Année : 2015
William Domingues Vinhas : Connectez-vous pour contacter le contributeur
https://amu.hal.science/hal-01479542
Soumis le : mardi 28 février 2017-20:38:52
Dernière modification le : vendredi 27 septembre 2024-16:19:21
Dates et versions
Identifiants
- HAL Id : hal-01479542 , version 1
Citer
Régis Alenda, Nicola Olivetti, Pozzato G.L.. Nested sequent calculi for normal conditional logics. Journal of Logic and Computation, 2015. ⟨hal-01479542⟩
Collections
60
Consultations
0
Téléchargements