Intensional completeness in an extension of Gödel/Dummett logic
type: Item
instance of: scholarly article
title: Intensional completeness in an extension of Gödel/Dummett logic
zbMATH Open document ID: 1015.03009
DOI: 10.1023/A:1022937306253
author: Matt Fairtlough
author: Michael Mendler
published in: Studia Logica
publication date: 2003-04-27T00:00:00Z
Mathematics Subject Classification ID: 03B20
Mathematics Subject Classification ID: 03B45
zbMATH DE Number: 1901325
zbMATH Keywords: intuitionistic logic
zbMATH Keywords: lax modality
zbMATH Keywords: abstraction
zbMATH Keywords: Gödel-Dummett logic
zbMATH Keywords: propositions-as-types
zbMATH Keywords: intensional model theory
zbMATH Keywords: Kripke models
MaRDI profile type: Publication
full work available at URL: a:1022937306253
OpenAlex ID: W2029180694
description: scientific article; zbMATH DE number 1901325