Towards a canonical classical natural deduction system
type: Item
instance of: scholarly article
title: Towards a canonical classical natural deduction system
zbMATH Open document ID: 1296.03011
author: José Espírito Santo
published in: Annals of Pure and Applied Logic
publication date: 2013-04-15T00:00:00Z
Mathematics Subject Classification ID: 03B40
Mathematics Subject Classification ID: 03B05
Mathematics Subject Classification ID: 03F07
Mathematics Subject Classification ID: 68N18
zbMATH DE Number: 6154064
zbMATH Keywords: classical logic
zbMATH Keywords: sequent calculus
zbMATH Keywords: natural deduction
zbMATH Keywords: control operators
zbMATH Keywords: let-expressions
zbMATH Keywords: eta-reduction
zbMATH Keywords: proof theory
MaRDI profile type: Publication
full work available at URL: j.apal.2012.05.008
OpenAlex ID: W2074659429
DOI: 10.1016/J.APAL.2012.05.008
description: scientific article; zbMATH DE number 6154064