scientific article; zbMATH DE number 2085167

zbMath1054.03027MaRDI QIDQ4736390

Matt Fairtlough, Michael Mendler

Publication date: 9 August 2004

Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2277/22770063.htm

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

intuitionistic propositional logiccomputational type theorylax modality

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Logic in computer science (03B70) Second- and higher-order arithmetic and fragments (03F35) Subsystems of classical logic (including intuitionistic logic) (03B20)

Related Items (3)

A modal type theory for formalizing trusted communications ⋮ A semantic hierarchy for intuitionistic logic ⋮ Cut-free Gentzen calculus for multimodal CK

This page was built for publication: