Intensional completeness in an extension of Gödel/Dummett logic
From MaRDI portal
Publication:1868240
DOI10.1023/A:1022937306253zbMath1015.03009MaRDI QIDQ1868240
Matt Fairtlough, Michael Mendler
Publication date: 27 April 2003
Published in: Studia Logica (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1023/a:1022937306253
Kripke models; intuitionistic logic; abstraction; Gödel-Dummett logic; propositions-as-types; intensional model theory; lax modality
03B45: Modal logic (including the logic of norms)
03B20: Subsystems of classical logic (including intuitionistic logic)