106
click to vote
BIRTHDAY
2010
Springer
15 years 8 days ago
2010
Springer
We define the notions of a canonical inference rule and a canonical constructive system in the framework of strict single-conclusion Gentzen-type systems (or, equivalently, natural...