351 search results - page 5 / 71 » Classical proof forestry |
OL
2008
13 years 7 months ago
2008
: This short article offers economically intuitive proofs of the Euler equation and the maximum principle based on one of the best known results in economics, namely that the margi...
CSL
2003
Springer
14 years 23 days ago
2003
Springer
System SKS is a set of rules for classical propositional logic presented in the calculus of structures. Like sequent systems and unlike natural deduction systems, it has an explici...
LICS
2010
IEEE
13 years 6 months ago
2010
IEEE
This work belongs to a wider effort aimed at eliminating syntactic bureaucracy from proof systems. In this paper, we present a novel cut elimination procedure for classical propos...
COMBINATORICS
2004
13 years 7 months ago
2004
We give a combinatorial proof of a q-analogue of the classical formula for the sum of cubes.
JCT
2011
13 years 2 months ago
2011
Our recent paper [5] provides extensions to two classical determinantal results of Bressoud and Wei, and of Koike. The proofs in that paper were algebraic. The present paper conta...