Structures and Deduction – the Quest for the Essence of Proofs ( satellite workshop of ICALP 2005 ) Paola
نویسندگان
چکیده
This paper shows how derivations in (a variation of) SKS can be translated into proof nets. Since an SKS derivation contains more information about a proof than the corresponding proof net, we observe a loss of information which can be understood as “eliminating bureaucracy”. Technically this is achieved by cut reduction on proof nets. As an intermediate step between the two extremes, SKS derivations and proof nets, we will see nets representing derivations in “Formalism A”.
منابع مشابه
Structures and Deduction – the Quest for the Essence of Proofs ( satellite workshop of ICALP 2005 )
This paper shows how derivations in (a variation of) SKS can be translated into proof nets. Since an SKS derivation contains more information about a proof than the corresponding proof net, we observe a loss of information which can be understood as “eliminating bureaucracy”. Technically this is achieved by cut reduction on proof nets. As an intermediate step between the two extremes, SKS deriv...
متن کاملتأملی نو در نظریه عینیت ذات و صفات الهی
Critical investigation of Identity of essence and attributes of GodThe quality of the relationship between essence and attributes of God is one of the most important issues among islamic thinkers. One of the most important theories in this field is the theory of Identity of essence and attributes of God that divided in turn into two branches,I mean, external identification and conceptual ...
متن کاملProof Nets for Intuitionistic Logic
Until the beginning of the 20th century, there was no way to reason formally about proofs. In particular, the question of proof equivalence had never been explored. When Hilbert asked in 1920 for an answer to this very question in his famous program, people started looking for proof formalizations. Natural deduction and sequent calculi, which were invented by Gentzen in 1935, quickly became two...
متن کاملThe place of hadith and its efficiency in Islamic ethics
The efficacies of hadith in Islamic ethics is concerned with the authenticity and inauthenticity of ethical hadiths. The authenticity of ethical ahadith is deeply connected to the problem of tolerance in the proofs of sunan which has led to the two views of tolerance and intolerance. In this paper, it has been argued that ethics and jurisprudence are two distinct fields and one can not agree wi...
متن کاملThe logical structures of theological proofs, with an emphasis on the proof of love to God
This article has no abstract.
متن کامل