Coalgebraic Completeness-via-Canonicity - Inria - Institut national de recherche en sciences et technologies du numérique
Communication Dans Un Congrès Année : 2016

Coalgebraic Completeness-via-Canonicity

Fredrik Dahlqvist
  • Fonction : Auteur
  • PersonId : 999348
University College of London [London]

Résumé

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.

Domaines

Informatique [cs]
Fichier principal
Vignette du fichier
418352_1_En_11_Chapter.pdf (420.67 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)

Hal Ifip  : Connectez-vous pour contacter le contributeur

https://inria.hal.science/hal-01446026

Soumis le : mercredi 25 janvier 2017-15:24:12

Dernière modification le : mercredi 25 janvier 2017-15:31:58

Archivage à long terme le : mercredi 26 avril 2017-15:32:02

Télécharger pour visualiser

Dates et versions

hal-01446026 , version 1 (25-01-2017)

Licence

Paternité

Identifiants

Citer

Fredrik Dahlqvist. Coalgebraic Completeness-via-Canonicity. 13th International Workshop on Coalgebraic Methods in Computer Science (CMCS), Apr 2016, Eindhoven, Netherlands. pp.174-194, ⟨10.1007/978-3-319-40370-0_11⟩. ⟨hal-01446026⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

IFIP-LNCS IFIP IFIP-TC IFIP-TC1 IFIP-LNCS-9608 IFIP-WG1-3 IFIP-CMCS
34 Consultations
92 Téléchargements

Altmetric

Partager

More