Harmonising natural deduction

DOI10.1007/s11229-007-9197-2zbMath1183.03006OpenAlexW1977394669MaRDI QIDQ948984

Barry Hartley Slater

Publication date: 16 October 2008

Published in: Synthese (Search for Journal in Brave)

Full work available at URL: http://research-repository.uwa.edu.au/en/publications/harmonising-natural-deduction(047cd01a-38f1-403f-afb5-5210a8e64e14).html

zbMATH Keywords

harmonyrelevancenatural deductionepsilon calculus

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) Cut-elimination and normal-form theorems (03F05)

Cites Work

• Unnamed Item
• Unnamed Item
• Heyting predicate calculus with epsilon symbol
• Harmony and autonomy in classical logic
• Paraconsistent logic from a modal viewpoint
• Cut Elimination in a Gentzen-Style ε-Calculus Without Identity
• Cut Elimination in ε‐Calculi

This page was built for publication: Harmonising natural deduction