1128 search results - page 9 / 226 » Classical Natural Deduction |
103
click to vote
SYNTHESE
2010
15 years 1 months ago
2010
This paper is aimed at understanding one central aspect of Bolzano’s views on deductive knowledge: what it means for a proposition and for a term to be known a priori. I argue t...
133
Voted
TBILLC
2007
Springer
15 years 9 months ago
2007
Springer
111
Voted
CIE
2007
Springer
15 years 9 months ago
2007
Springer
Abstract. When defined with general elimination/application rules, natural deduction and λ-calculus become closer to sequent calculus. In order to get real isomorphism, normalisa...
145
Voted
FROCOS
2009
Springer
15 years 10 months ago
2009
Springer
Deduction modulo consists in applying the inference rules of a deductive system modulo a rewrite system over terms and formulæ. This is equivalent to proving within a so-called co...
145
Voted
JAR
2010
15 years 1 months ago
2010
Meta-logics and type systems based on intuitionistic logic are commonly used for specifying natural deduction proof systems. We shall show here that linear logic can be used as a m...