Skip to Main content Skip to Navigation
New interface
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
Contributor : Fabien DELORME Connect in order to contact the contributor
Submitted on : Tuesday, July 27, 2021 - 1:20:45 PM
Last modification on : Wednesday, October 20, 2021 - 9:58:21 AM


  • HAL Id : hal-03301181, version 1


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⟩



Record views