A Cut-Free Sequent Calculus for Bi-intuitionistic Logic-Reference-Cited by-同舟云学术

A Cut-Free Sequent Calculus for Bi-intuitionistic Logic

Published:2007 Issue: Volume: Page:90-106
ISSN:0302-9743
Container-title:Lecture Notes in Computer Science
language:
Short-container-title:

Author:

Buisman Linda,Goré Rajeev

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/978-3-540-73099-6_9

Reference20 articles.

1. Avron, A.: The method of hypersequents in the proof theory of propositional non-classical logics. In: Proc. Logic Colloquium, Keele, UK, 1993, pp. 1–32, OUP (1996)

2. Buisman, L., Goré, R.: A cut-free sequent calculus for bi-intuitionistic logic: extended version (2007), http://arxiv.org/abs/0704.1707

3. Crolard, T.: Subtractive logic. Theor. Comp. Sci. 254(1–2), 151–185 (2001)

4. Czermak, J.: A remark on Gentzen’s calculus of sequents. NDJFL 18(3) (1977)

5. Dragalin, A.: Mathematical Intuitionism: Introduction to Proof Theory. In: Translations of Mathematical Monographs, vol. 68, Cambridge Univ. Press, Cambridge (1988)

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

1. Symmetric and conflated intuitionistic logics;Logic Journal of the IGPL;2024-03-01

2. Explicit analyses of proof/refutation interaction for constructible falsity and Heyting–Brouwer logic;Journal of Logic and Computation;2020-10-02

3. ANALYTIC CUT AND INTERPOLATION FOR BI-INTUITIONISTIC LOGIC;The Review of Symbolic Logic;2016-12-06

4. Stipulation and Symmetrical Consequence;Springer Proceedings in Mathematics & Statistics;2015

5. On the Blok-Esakia Theorem;Leo Esakia on Duality in Modal and Intuitionistic Logics;2014