3552 search results - page 20 / 711 » Proof theory in the abstract |
178
Voted
CSL
2007
Springer
16 years 7 days ago
2007
Springer
Abstract. Probably the most significant result concerning cut-free sequent calculus proofs in linear logic is the completeness of focused proofs. This completeness theorem has a n...
161
click to vote
FASE
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. Coalgebra has in recent years been recognized as the framework of choice for the treatment of reactive systems at an appropriate level of generality. Proofs about the rea...
151
click to vote
MKM
2007
Springer
16 years 6 days ago
2007
Springer
We address some aspects of a proposed system architecture for mathematical assistants, integrating calculations and deductions by common infrastructure within the Isabelle theorem ...