Bounded Sequent Calculi for Non-classical Logics via Hypersequents-Reference-Cited by-同舟云学术

Bounded Sequent Calculi for Non-classical Logics via Hypersequents

Published:2019 Issue: Volume: Page:94-110
ISSN:0302-9743
Container-title:Lecture Notes in Computer Science
language:
Short-container-title:

Author:

Ciabattoni Agata,Lang Timo,Ramanayake Revantha

Publisher

Springer International Publishing

Link

http://link.springer.com/content/pdf/10.1007/978-3-030-29026-9_6

Reference23 articles.

1. Avron, A.: A constructive analysis of RM. J. Symbol. Logic 52(4), 939–951 (1987)

2. Avron, A.: Hypersequents, logical consequence and intermediate logics for concurrency. Ann. Math. Artif. Intell. 4(3–4), 225–248 (1991)

3. Avron, A.: The method of hypersequents in the proof theory of propositional non-classical logics. In: Logic: From Foundations to Applications (Staffordshire, 1993), pp. 1–32. Oxford Sci. Publ., Oxford Univ. Press, New York (1996)

4. Bezhanishvili, N., Ghilardi, S.: The bounded proof property via step algebras and step frames. Ann. Pure Appl. Logic 165(12), 1832–1863 (2014)

5. Bezhanishvili, N., Ghilardi, S., Lauridsen, F.M.: One-step heyting algebras and hypersequent calculi with the bounded proof property. J. Logic Comput. 27(7), 2135–2169 (2016)

Cited by 5 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Syntactic Completeness of Proper Display Calculi;ACM Transactions on Computational Logic;2022-10-20

2. Proof Theory of Riesz Spaces and Modal Riesz Spaces;Logical Methods in Computer Science;2022-02-17

3. Decidability and Complexity in Weakening and Contraction Hypersequent Substructural Logics;2021 36th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS);2021-06-29

4. BOUNDED-ANALYTIC SEQUENT CALCULI AND EMBEDDINGS FOR HYPERSEQUENT LOGICS;The Journal of Symbolic Logic;2021-06

5. Extended Kripke lemma and decidability for hypersequent substructural logics;Proceedings of the 35th Annual ACM/IEEE Symposium on Logic in Computer Science;2020-07-08