Provability and Countermodels in Go?del-Dummett Logics - Archive ouverte HAL Access content directly
Conference Papers Year : 2007

Provability and Countermodels in Go?del-Dummett Logics

Didier Galmiche
Logic, proof Theory and Programming
Yakoub Salhi
Centre de Recherche en Informatique de Lens

Domains

Computer Science [cs] Artificial Intelligence [cs.AI]

Fabien DELORME  : Connect in order to contact the contributor

https://hal-univ-artois.archives-ouvertes.fr/hal-03301181

Submitted on : Tuesday, July 27, 2021-1:20:45 PM

Last modification on : Friday, March 24, 2023-2:53:22 PM

Not file

Dates and versions

hal-03301181 , version 1 (27-07-2021)

Identifiers

  • HAL Id : hal-03301181 , version 1

Cite

Didier Galmiche, Yakoub Salhi. Provability and Countermodels in Go?del-Dummett Logics. International Workshop on Disproving: Non-theorems, Non-validity, Non-Provability - DISPROVING'07, 2007, Bremen, Germany. ⟨hal-03301181⟩

Export

BibTeX TEI Dublin Core DC Terms EndNote Datacite

Collections

UNIV-ARTOIS CNRS INRIA INRIA-MECSCI UNIV-LORRAINE LORIA CRIL
8 View
0 Download

Share

Gmail Facebook Twitter LinkedIn More