Coalgebraic Completeness-via-Canonicity

Abstract : We present the technique of completeness-via-canonicity in a coalgebraic setting and apply it to both positive and boolean coalgebraic logics with relational semantics.
Type de document :
Communication dans un congrès
Ichiro Hasuo. 13th International Workshop on Coalgebraic Methods in Computer Science (CMCS), Apr 2016, Eindhoven, Netherlands. Lecture Notes in Computer Science, LNCS-9608, pp.174-194, 2016, Coalgebraic Methods in Computer Science. 〈10.1007/978-3-319-40370-0_11〉
Liste complète des métadonnées

Littérature citée [23 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/hal-01446026
Contributeur : Hal Ifip <>
Soumis le : mercredi 25 janvier 2017 - 15:24:12
Dernière modification le : mercredi 25 janvier 2017 - 15:31:58
Document(s) archivé(s) le : mercredi 26 avril 2017 - 15:32:02

Fichier

 Accès restreint
Fichier visible le : 2019-01-01

Connectez-vous pour demander l'accès au fichier

Licence


Distributed under a Creative Commons Paternité 4.0 International License

Identifiants

Citation

Fredrik Dahlqvist. Coalgebraic Completeness-via-Canonicity. Ichiro Hasuo. 13th International Workshop on Coalgebraic Methods in Computer Science (CMCS), Apr 2016, Eindhoven, Netherlands. Lecture Notes in Computer Science, LNCS-9608, pp.174-194, 2016, Coalgebraic Methods in Computer Science. 〈10.1007/978-3-319-40370-0_11〉. 〈hal-01446026〉

Partager

Métriques

Consultations de la notice

23