Normal natural deduction proofs (in classical logic)
type: Item
instance of: scholarly article
title: Normal natural deduction proofs (in classical logic)
zbMATH Open document ID: 0954.03015
DOI: 10.1023/A:1005091418752
author: Wilfried Sieg
author: John Byrnes
published in: Studia Logica
publication date: 2000-09-04T00:00:00Z
Mathematics Subject Classification ID: 03B35
Mathematics Subject Classification ID: 03F05
Mathematics Subject Classification ID: 68T15
Mathematics Subject Classification ID: 03B10
zbMATH DE Number: 1501368
zbMATH Keywords: natural deduction calculi
zbMATH Keywords: automated theorem proving
zbMATH Keywords: normal form
zbMATH Keywords: classical predicate logic
zbMATH Keywords: proof search
describes a project that uses: Nuprl
MaRDI profile type: Publication
Recommended article: Mechanizing Mathematical Reasoning
Recommended article: Natural deduction in normal modal logic
Recommended article: Normal derivability in classical natural deduction
Recommended article: Q3007254
Recommended article: Natural deduction for non-classical logics
Recommended article: Q5559220
Recommended article: Natural deduction based upon strict implication for normal modal logics
Recommended article: Normality, non-contamination and logical depth in classical natural deduction
Recommended article: Normalization theorems for full first order classical natural deduction
Recommended article: Gentzen's Proof of Normalization for Natural Deduction
description: scientific article; zbMATH DE number 1501368