scientific article; zbMATH DE number 1163389

MaRDI QIDQ4394918zbMATH OpenFDO

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

Publication date 11 June 1998

zbMATH Keywords

abstractionCurry-Howard functional interpretationlabelled natural deduction for modal necessitymathematical theory of deductionmodal logicnames for arbitrary objectsnaming

Mathematics Subject Classification ID

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

Recommendations

• The functional interpretation of logical deduction
• Modalities without worlds
• A judgmental reconstruction of modal logic
• Possible-worlds semantics for modal notions conceived as predicates

Cited in

(8)

• On reduction rules, meaning-as-use, and proof-theoretic semantics
• Intuitionistic hybrid logic
• A Constructive Presentation for the Modal Connective of Necessity (□)
• The Functional Interpretation of the Existential Quantifier
• Modal functional (``Dialectica) interpretation
• The functional interpretation of direct computations
• Natural Deduction for Equality: The Missing Entity
• scientific article; zbMATH DE number 970632 (Why is no real title available?)

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4394918)