Rankings
Publications
Sources
Publishers
Scholars
Organizations
About
Login
Register
Home
Publications
Cut-Elimination and a Permutation-Free Sequent Calculus for Intuitionistic Logic
Home
Publications
Cut-Elimination and a Permutation-Free Sequent Calculus for Intuitionistic Logic
Cut-Elimination and a Permutation-Free Sequent Calculus for Intuitionistic Logic
RD
Roy Dyckhoff
Roy Dyckhoff
Luis Pinto
Luis Pinto
Publisher Website
Google Scholar
Cite
Download
Share
Download
1 January 1998
journal article
Published by
Springer Science and Business Media LLC
in
Studia Logica
Vol. 60
(1)
,
107-118
https://doi.org/10.1023/a:1005099619660
Abstract
No abstract available
Keywords
CUT ELIMINATION
PATH
PERMUTATION
CORRESPONDENCE
CALCULUS
DEDUCTION
THEOREM
SEQUENT
DERSHOWITZ
Cited by 20 articles