Three faces of natural deduction

DOI10.1007/BFB0027402MaRDI QIDQ4610312zbMATH OpenOpenAlexFDO

Authors G. E. Mints

Publication date 15 January 2019

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/bfb0027402

zbMATH Keywords

intuitionistic logiclinear logicnatural deductionsequent calculusinference rule

Mathematics Subject Classification ID

Proof theory in general (including proof-theoretic semantics) (03F03) Cut-elimination and normal-form theorems (03F05) Subsystems of classical logic (including intuitionistic logic) (03B20) Mechanization of proofs and logical operations (03B35) Combinatory logic and lambda calculus (03B40) Proof-theoretic aspects of linear logic and other substructural logics (03F52)

Cites work

• scientific article; zbMATH DE number 4027425 (Why is no real title available?)
• scientific article; zbMATH DE number 15881 (Why is no real title available?)
• scientific article; zbMATH DE number 42059 (Why is no real title available?)
• scientific article; zbMATH DE number 48365 (Why is no real title available?)
• scientific article; zbMATH DE number 510785 (Why is no real title available?)
• scientific article; zbMATH DE number 515728 (Why is no real title available?)
• scientific article; zbMATH DE number 1114347 (Why is no real title available?)
• scientific article; zbMATH DE number 1169377 (Why is no real title available?)
• scientific article; zbMATH DE number 2079018 (Why is no real title available?)
• scientific article; zbMATH DE number 949290 (Why is no real title available?)
• scientific article; zbMATH DE number 3411008 (Why is no real title available?)
• scientific article; zbMATH DE number 3074068 (Why is no real title available?)
• Axiomatization of a Skolem function in intuitionistic logic
• Closed categories and the theory of proofs
• Coherence in closed categories
• Combinatory logic. With two sections by William Craig.
• Computational interpretations of linear logic
• Constructivism in mathematics. An introduction. Volume II
• Finite investigations of transfinite derivations
• Lambda calculus and intuitionistic linear logic
• Linear logic
• Metamathematical investigation of intuitionistic arithmetic and analysis. With contributions by C. A. Smorynski, J. I. Zucker and W. A. Howard
• Natural deduction for intuitionistic linear logic
• Normal deduction in the intuitionistic linear logic
• Normalization as a homomorphic image of cut-elimination
• On natural deduction
• THE JUDGEMENT CALCULUS FOR INTUITIONISTIC LINEAR LOGIC: PROOF THEORY AND SEMANTICS
• The correspondence between cut-elimination and normalization
• The lambda calculus, its syntax and semantics
• Untersuchungen über das logische Schliessen. I

This page was built for publication: Three faces of natural deduction

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