111 search results - page 1 / 23 » From Proofs to Focused Proofs: A Modular Proof of Focalizati... |
CSL
2007
Springer
14 years 5 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...
ENTCS
2010
13 years 11 months ago
2010
Focalization property is a deep outcome of linear logic proof theory, putting to the foreground the role of polarity in logic. It resulted an important advances in various fields, ...
CSL
2007
Springer
14 years 5 months ago
2007
Springer
A focused proof system provides a normal form to cut-free proofs that structures the application of invertible and non-invertible inference rules. The focused proof system of Andre...
ICLP
2010
Springer
14 years 2 months ago
2010
Springer
The proof-theoretic approach to logic programming has benefited from the
JAR
2010
13 years 9 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...