AI helps you reading Science

AI generates interpretation videos

AI extracts and analyses the key points of the paper to generate videos automatically


pub
Go Generating

AI Traceability

AI parses the academic lineage of this thesis


Master Reading Tree
Generate MRT

Permutability of proofs in intuitionistic sequent calculi

Theor. Comput. Sci., no. 1-2 (1999): 141-155

Cited by: 59|Views4
EI
Full Text
Bibtex

Abstract

We prove a folklore theorem, that two derivations in a cut-free sequent calculus for intuitionistic propositional logic (based on Kleene's G3 ) are inter-permutable (using a set of basic “permutation reduction rules” derived from Kleene's work in 1952) iff they determine the same natural deduction. The basic rules form a confluent and wea...More

Code:

Data:

Your rating :
0

 

Tags
Comments
小科