Provability and Countermodels in Go?del-Dummett Logics - Université d'Artois Access content directly
Conference Papers Year : 2007

Provability and Countermodels in Go?del-Dummett Logics

Didier Galmiche
Yakoub Salhi
No 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⟩
11 View
0 Download

Share

Gmail Facebook X LinkedIn More