hal-00579877, version 1

A Family of Gödel Hybrid Logics

Didier Galmiche () ¹, Yakoub Salhi () ¹

Journal of Applied Logic 8, 4 (2010) 371-385

• 1 :  TYPES (LORIA)
• INRIA – CNRS : UMR7503 – Université Henri Poincaré - Nancy I – Université Nancy II – Institut National Polytechnique de Lorraine (INPL)

• Domaine : Informatique/Logique en informatique
• Mots-clés : Hybrid logic – Fuzzy logic – Gödel logic – Intermediate logics – Sequent-of-relations

• hal-00579877, version 1
• http://hal.archives-ouvertes.fr/hal-00579877
• oai:hal.archives-ouvertes.fr:hal-00579877
• Contributeur : Didier Galmiche <>
• Soumis le : Vendredi 25 Mars 2011, 12:14:40
• Dernière modification le : Jeudi 26 Mai 2011, 10:58:39