Towards a Semantic Characterization of Cut-Elimination

Authors: Ciabattoni, Agata¹; Terui, Kazushige²

Source: Studia Logica, Volume 82, Number 1, February 2006 , pp. 95-119(25)

Publisher: Springer

Abstract:

Keywords: sequent calculus; cut-elimination; nonclassical logicss; substructural logics; phase semantics

Document Type: Research article

DOI: http://dx.doi.org/10.1007/s11225-006-6607-2

Affiliations: 1: Email: agata@logic.at 2: Email: terui@nii.ac.jp

Publication date: 2006-02-01

• In this: publication
• By this: publisher
• In this Subject: Philosophy
• By this author: Ciabattoni, Agata ;  Terui, Kazushige

Website © Publishing Technology. Article copyright remains with the publisher, society or author(s) as specified within the article.

• Terms and conditions
• Privacy policy
• Information for advertisers