Publisher
Springer International Publishing
Reference34 articles.
1. Chlebowski, S. (2018). Sequent calculi for SCI. Studia Logica, 106(3), 541–564.
2. Chlebowski, S., & Leszczyńska-Jasion, D. (2018). Sequent calculi for SCI. Bulletin of the Section of Logic, 106(3), 541–564.
3. Ciabattoni, A. (2004). Automated generation of analytic calculi for logics with linearity. In J. Marcinkowski & A. Tarlecki (Eds.), CSL 2004, LNCS (Vol. 3210, pp. 503–517). Heidelberg: Springer.
4. Czelakowski, J. (1981). Equivalential logics (I). Studia Logica, 40(3), 227–236.
5. Czelakowski, J. (1981). Equivalential logics (II). Studia Logica, 40(4), 355–372.