The functional interpretation of logical deduction

MaRDI QIDQ3091729zbMATH OpenFDO

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

Publication date 13 September 2011

Full work available at URL http://ebooks.worldscinet.com/ISBN/9789814360968/toc.shtml

zbMATH Keywords

labeled deductive system

Mathematics Subject Classification ID

Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Modal logic (including the logic of norms) (03B45) Proof theory in general (including proof-theoretic semantics) (03F03) Functionals in proof theory (03F10)

Recommendations

• Natural deduction, hybrid systems and modal logics
• scientific article; zbMATH DE number 1749009
• scientific article; zbMATH DE number 970633
• scientific article; zbMATH DE number 1421197
• A new basic set of transformations between proofs

Cited in

(9)

• Adding logic to the toolbox of molecular biology
• A new basic set of transformations between proofs
• scientific article; zbMATH DE number 5521986 (Why is no real title available?)
• scientific article; zbMATH DE number 1163389 (Why is no real title available?)
• Functional Interpretation of Logics for ‘Generally’
• The Functional Interpretation of the Existential Quantifier
• Modal functional (``Dialectica) interpretation
• The Rule of Existential Generalisation and Explicit Substitution
• The functional interpretation of direct computations

This page was built for publication: The functional interpretation of logical deduction

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