Variable declarations in natural deduction

DOI10.1016/j.apal.2006.05.009zbMath1115.03078OpenAlexW2024619312MaRDI QIDQ861825

Daniel J. Velleman

Publication date: 2 February 2007

Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.apal.2006.05.009

zbMATH Keywords

natural deductionvariable proviso

Mathematics Subject Classification ID

Classical first-order logic (03B10) Structure of proofs (03F07)

Related Items

A web-based toolkit for mathematical word processing applications with semantics

Cites Work

• Constructivism in mathematics. An introduction. Volume I
• Untersuchungen über das logische Schliessen. I
• A Brief History of Natural Deduction
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item