Sequent and Hypersequent calculi

D. M. Gabbay, G. Metcalfe, N. Olivetti

Research output: Contribution to journal › Article › peer-review

41 Citations (Scopus)

Original language	English
Pages (from-to)	578-613
Number of pages	36
Journal	ACM Transactions on Computational Logic
Volume	6
Issue number	3
Publication status	Published - 2005

Cite this

@article{f0cecbae76a847108c79973b891c0a36,

title = "Sequent and Hypersequent calculi",

author = "Gabbay, {D. M.} and G. Metcalfe and N. Olivetti",

year = "2005",

language = "English",

volume = "6",

pages = "578--613",

journal = "ACM Transactions on Computational Logic",

issn = "1529-3785",

publisher = "Association for Computing Machinery (ACM)",

number = "3",

}