The method of hypersequents in the proof theory of propositional non-classical logics. (English) Zbl 0861.03043
Hodges, Wilfrid (ed.) et al., Logic: from foundations to applications. European logic colloquium, Keele, UK, July 20–29, 1993. Oxford: Clarendon Press. 1-32 (1996).
The paper is mainly a survey of the author’s previous results on cut-free formulations of non-classical logics in terms of hypersequents \(S_1|S_2|\dots |S_n\) interpreted as \(S_1\vee \dots \vee S_n\) or \(\square S_1\vee \dots \vee \square S_n\).
For the entire collection see [Zbl 0851.00045].
For the entire collection see [Zbl 0851.00045].
Reviewer: G.Mints (Stanford)
MSC:
| 03F03 | Proof theory in general (including proof-theoretic semantics) |
