Skip to Main content Skip to Navigation
Conference papers

Provability and Countermodels in Go?del-Dummett Logics

Didier Galmiche 1 Yakoub Salhi 2
1 TYPES - Logic, proof Theory and Programming
LORIA - Laboratoire Lorrain de Recherche en Informatique et ses Applications
Document type :
Conference papers
Complete list of metadata

https://hal-univ-artois.archives-ouvertes.fr/hal-03301181
Contributor : Fabien Delorme <>
Submitted on : Tuesday, July 27, 2021 - 1:20:45 PM
Last modification on : Thursday, September 9, 2021 - 3:10:29 PM

Identifiers

  • HAL Id : hal-03301181, version 1

Citation

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⟩

Share

Metrics

Record views

7