Publication:4394918
From MaRDI portal
zbMath0911.03012MaRDI QIDQ4394918
Ruy J. G. B. de Queiroz, Dov M. Gabbay
Publication date: 11 June 1998
modal logic; abstraction; naming; Curry-Howard functional interpretation; labelled natural deduction for modal necessity; mathematical theory of deduction; names for arbitrary objects
03B45: Modal logic (including the logic of norms)
Related Items
Unnamed Item, The Functional Interpretation of Direct Computations, Natural Deduction for Equality: The Missing Entity, On reduction rules, meaning-as-use, and proof-theoretic semantics, Intuitionistic hybrid logic