Variable declarations in natural deduction
type: Item
instance of: scholarly article
title: Variable declarations in natural deduction
zbMATH Open document ID: 1115.03078
author: Daniel J. Velleman
published in: Annals of Pure and Applied Logic
publication date: 2007-02-02T00:00:00Z
review text: The version of natural deduction for the first-order logic without equality proposed here (call it D) seems to be very similar to the ordinary (Gentzen-Prawitz) version of natural deduction (call it G) except for Fitch format. Every deduction in D is a deduction in G; every deduction in G becomes a deduction in D after inserting ``declare \(v\)'' before the first (uppermost) occurrence of the variable \(v\) in every branch. Most part of the paper consists of comments addressed mainly to readers having little experience with the use of variables in mathematics or programming.
Mathematics Subject Classification ID: 03F07
Mathematics Subject Classification ID: 03B10
zbMATH DE Number: 5121376
zbMATH Keywords: natural deduction
zbMATH Keywords: variable proviso
reviewed by: G. E. Mints
MaRDI profile type: Publication
full work available at URL: j.apal.2006.05.009
OpenAlex ID: W2024619312
cites work: Q3987173
cites work: Q4355889
cites work: Q5829776
cites work: Q4052071
cites work: Q5815602
cites work: Untersuchungen über das logische Schliessen. I
cites work: Q5732647
cites work: A Brief History of Natural Deduction
cites work: Q5797033
cites work: Q3241190
cites work: Constructivism in mathematics. An introduction. Volume I
cites work: Q4716271
DOI: 10.1016/J.APAL.2006.05.009
Recommended article: Deduction and Declarative Programming
Recommended article: Q4794047
Recommended article: Decidable variables for constructive logics
Recommended article: Pseudo-distributive laws and axiomatics for variable binding
Recommended article: Variables as resource in separation logic
Recommended article: A note on decidability of variables in intuitionistic propositional logic
Recommended article: Q3030232
Recommended article: Q3838814
Recommended article: Sequent calculus in natural deduction style
Recommended article: Detecting global variables in denotational specifications
description: scientific article; zbMATH DE number 5121376