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

inference ruleintuitionistic logiclinear logicnatural deductionsequent calculus

Mathematics Subject Classification ID

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

Cites work

• 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
• 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?)
• 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 correspondence between cut-elimination and normalization
• THE JUDGEMENT CALCULUS FOR INTUITIONISTIC LINEAR LOGIC: PROOF THEORY AND SEMANTICS
• 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)