From Display Calculi to Deep Nested Sequent Calculi: Formalised for Full Intuitionistic Linear Logic

DOI10.1007/978-3-662-44602-7_20zbMath1418.03179OpenAlexW117036793MaRDI QIDQ3190166

Rajeev Goré, Ranald Clouston, Alwen Tiu, Jeremy E. Dawson

Publication date: 15 September 2014

Published in: Advanced Information Systems Engineering (Search for Journal in Brave)

Full work available at URL: https://hal.inria.fr/hal-01402048/file/978-3-662-44602-7_20_Chapter.pdf

Mathematics Subject Classification ID

Proof-theoretic aspects of linear logic and other substructural logics (03F52)

Related Items

A formally verified cut-elimination procedure for linear nested sequents for tense logic

This page was built for publication: From Display Calculi to Deep Nested Sequent Calculi: Formalised for Full Intuitionistic Linear Logic