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 : mardi 5 décembre 2023-18:08:07
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
54
Consultations
0
Téléchargements