Proofs for free
نویسندگان
چکیده
منابع مشابه
Contraction-free proofs and finitary games for Linear Logic
In the standard sequent presentations of Girard’s Linear Logic [10] (LL), there are two ”non-decreasing” rules, where the premises are not smaller than the conclusion, namely the cut and the contraction rules. It is a universal concern to eliminate the cut rule. We show that, using an admissible modification of the tensor rule, contractions can be eliminated, and that cuts can be simultaneously...
متن کاملAlgorithmic Structuring of Cut-free Proofs
The problem of algorithmic structuring of proofs in the sequent calculi LK and LKB LK where blocks of quanti ers can be introduced in one step is investigated where a distinction is made between linear proofs and proofs in tree form In this framework structuring coincides with the introduction of cuts into a proof The algorithmic solvability of this problem can be reduced to the question of k l...
متن کاملThe depth of intuitionistic cut free proofs
We prove a quadratic upper bound for the depth of cut free proofs in propositional intuitionistic logic formalized with Gentzen’s sequent calculus. We discuss bounds on the necessary number of reuses of left implication rules. We exhibit an example showing that this quadratic bound is optimal. As a corollary, this gives a new proof that propositional validity for intuitionistic logic is in PSPACE.
متن کاملAppendix: Alternative Proofs for the Type Ii Free Poisson Variables and for the Free Compression Results
We shall give here diierent proofs for two results in the paper of A. Nica and R. Speicher ((1]): 1) the type II realization of free Poisson variables; 2) the preservation of freeness among non-commutative random variables under compression with a free projection. While we had known the Poisson variables result for some time and decided to publish the proof after learning of the Nica-Speicher w...
متن کاملQuranic way of presenting proofs for God`s existence
Regardless of the view of those philosophers like Plantinga who see no need in any proof for the existence of God, scholars have presented four views on Quranic way of proving the existence of God including demonstration, awakening, implication and clear demonstration. Describing and criticizing the views in detail, the author has viewed differently. God has regarded the level of the addressee`...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Functional Programming
سال: 2012
ISSN: 0956-7968,1469-7653
DOI: 10.1017/s0956796812000056