Cut-elimination and normal forms of sequent derivations

Author(s)

• Mint︠s︡, Grigori
• Pollard, Carl Jesse
• Stanford University. Center for the Study of Language and Information

Bibliographic Information

Cut-elimination and normal forms of sequent derivations

Grigori Mints

（Report (Center for the Study of Language and Information (U.S.)), no. CSLI-94-193）

Center for the Study of Language and Information (CSLI), c1994

Note

"November 1994"

Includes bibliographical references

Contents of Works

• Normal forms for sequent derivations
• Indexed systems of sequents and cut-elimination
• Normalization as an epsilon substitution process

Details

• NCID: BA76212757
• Country Code: us
• Title Language Code: eng
• Text Language Code: eng
• Place of Publication: Stanford, Calif.
• Pages/Volumes: 15, 27, 9 p.
• Size: 28 cm
• Parent Bibliography ID:
  • BA10949995