scientific article; zbMATH DE number 1163389

zbMath0911.03012MaRDI QIDQ4394918

Ruy J. G. B. de Queiroz, Dov M. Gabbay

Publication date: 11 June 1998

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

zbMATH Keywords

modal logicabstractionnamingCurry-Howard functional interpretationlabelled natural deduction for modal necessitymathematical theory of deductionnames for arbitrary objects

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45)

Related Items (5)

Unnamed Item ⋮ The Functional Interpretation of Direct Computations ⋮ Intuitionistic hybrid logic ⋮ On reduction rules, meaning-as-use, and proof-theoretic semantics ⋮ Natural Deduction for Equality: The Missing Entity

This page was built for publication: