A Family of Gödel Hybrid Logics

Didier Galmiche; Yakoub Salhi

doi:10.1016/j.jal.2010.08.008

Article Dans Une Revue Journal of Applied Logic Année : 2010

A Family of Gödel Hybrid Logics

(1) , (1)

1

Didier Galmiche

Fonction : Auteur
PersonId : 746081
IdHAL : didier-galmiche

Logic, proof Theory and Programming

Yakoub Salhi

Fonction : Auteur
PersonId : 991063
IdHAL : yakoub-salhi
ORCID : 0000-0003-0100-4428
IdRef : 151187339

Logic, proof Theory and Programming

Mots clés

Hybrid logic Fuzzy logic Gödel logic Intermediate logics Sequent-of-relations

Domaines

Logique en informatique [cs.LO]

Didier Galmiche : Connectez-vous pour contacter le contributeur

https://hal.science/hal-00579877

Soumis le : vendredi 25 mars 2011-12:14:40

Dernière modification le : vendredi 24 mars 2023-14:52:54

Dates et versions

hal-00579877 , version 1 (25-03-2011)

Identifiants

HAL Id : hal-00579877 , version 1
DOI : 10.1016/j.jal.2010.08.008

Citer

Didier Galmiche, Yakoub Salhi. A Family of Gödel Hybrid Logics. Journal of Applied Logic, 2010, 8 (4), pp.371-385. ⟨10.1016/j.jal.2010.08.008⟩. ⟨hal-00579877⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

CNRS INRIA UNIV-LORRAINE LORIA

88 Consultations

0 Téléchargements

A Family of Gödel Hybrid Logics

Mots clés

Domaines

Dates et versions

Identifiants

Citer

Exporter

Collections

Altmetric

Partager