Cut-Elimination and a Permutation-Free Sequent Calculus for Intuitionistic Logic

Roy Dyckhoff; Luis Pinto

doi:10.1023/a:1005099619660

Verified recordOpen access

Cut-Elimination and a Permutation-Free Sequent Calculus for Intuitionistic Logic

Roy Dyckhoff, Luis Pinto

Studia Logica1998doi:10.1023/a:1005099619660

Citation graph

Abstract

No public abstract is available from the verified source records.

Open public full text

Rights: UNKNOWN · other-oa · Source: journal-auto-sync:external:CROSSREF_ISSN

Authors

Roy Dyckhoff#1 Luis Pinto#2

Institutions

No ROR-resolved institution is linked to this work yet.

Provenance

crossref

Confidence 100%

unpaywall

Confidence 95%

datacite

Confidence 0%

Referenced works

View all references →

No local reference links have been materialized yet.

Cited by

View all cited-by records →

No local citing links have been materialized yet.

External reference records

Unresolved referenced work

Kept as external metadata until matched

10.1093/logcom/2.3.297

10.1093/logcom/2.3.297 · 1992

Unresolved referenced work

Kept as external metadata until matched

Unresolved referenced work

Kept as external metadata until matched

10.1007/bf01270628

10.1007/bf01270628 · 1994

10.1017/cbo9780511629150.011

10.1016/0304-3975(82)90026-3

10.1016/0304-3975(82)90026-3 · 1982

10.1090/mmono/067

10.2307/2275431

10.2307/2275431 · 1992

Unresolved referenced work

Kept as external metadata until matched

Unresolved referenced work

Kept as external metadata until matched

Unresolved referenced work

Kept as external metadata until matched

Unresolved referenced work

Cut-Elimination and a Permutation-Free Sequent Calculus for Intuitionistic Logic

Referenced works

Cited by

External reference records

Additional external references