Intensional completeness in an extension of Gödel/Dummett logic

DOI10.1023/A:1022937306253zbMath1015.03009OpenAlexW2029180694MaRDI 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

zbMATH Keywords

Kripke modelsintuitionistic logicabstractionGödel-Dummett logicpropositions-as-typesintensional model theorylax modality

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Subsystems of classical logic (including intuitionistic logic) (03B20)

This page was built for publication: Intensional completeness in an extension of Gödel/Dummett logic