Publisher
Springer International Publishing
Reference22 articles.
1. Andreoli, J.M.: Focussing and proof construction. Ann. Pure Appl. Logic 107(1), 131–163 (2001)
2. Avigad, J.: Algebraic proofs of cut elimination. J. Log. Algebr. Program. 49(1–2), 15–30 (2001)
3. Blackburn, P., Rijke, M.D., Venema, Y.: Modal Logic. Cambridge Tracts in Theoretical Computer Science, Cambridge University Press (2001)
4. Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence);A Ciabattoni,2013
5. Dowek, G.: On the definition of the classical connectives and quantifiers. Why is this a Proof? Festschrift for Luiz Carlos Pereira, vol. 27, pp. 228–238 (2016)
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. A Pure View of Ecumenical Modalities;Logic, Language, Information, and Computation;2021