scientific article; zbMATH DE number 1980937

MaRDI QIDQ4428311zbMATH OpenFDO

Authors José Espírito Santo

Publication date 15 September 2003

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

Mathematics Subject Classification ID

Combinatory logic and lambda calculus (03B40) Cut-elimination and normal-form theorems (03F05)

Recommendations

• A sequent calculus isomorphic to Gentzen's natural deduction
• Natural deduction and sequent calculus for intuitionistic relevant logic
• Sequent calculi and bidirectional natural deduction: on the proper basis of proof-theoretic semantics
• Translations from natural deduction to sequent calculus
• Yet another bijection between sequent calculus and natural deduction
• Sequent calculus in natural deduction style
• A natural deduction and its corresponding sequent calculus for positive contraction-less relevant logic
• 2-Sequent Calculus: Intuitionism and Natural Deduction
• Proofs, upside down. A functional correspondence between natural deduction and the sequent calculus
• scientific article; zbMATH DE number 1330453

Cited in

(8)

• scientific article; zbMATH DE number 1670856 (Why is no real title available?)
• Proofs, upside down. A functional correspondence between natural deduction and the sequent calculus
• Completing Herbelin’s Programme
• scientific article; zbMATH DE number 2079018 (Why is no real title available?)
• Extended Natural Deduction Images of Conversions from the System of Sequents
• Refocusing Generalised Normalisation
• Partial proof terms in the study of idealized proof search
• The \(\lambda \)-calculus and the unity of structural proof theory

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 Q4428311)