3552 search results - page 20 / 711 » Proof theory in the abstract |
74
Voted
MLQ
2006
15 years 1 months ago
2006
125
click to vote
CSL
2007
Springer
15 years 8 months 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...
238
Voted
TAGT
1998
Springer
15 years 6 months ago
1998
Springer
109
Voted
FASE
2005
Springer
15 years 7 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...
112
Voted
MKM
2007
Springer
15 years 8 months 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 ...