Funder
Conselho Nacional de Desenvolvimento Científico e Tecnológico
Coordenação de Aperfeiçoamento de Pessoal de Nível Superior
FWF - START
Publisher
Springer Science and Business Media LLC
Subject
General Social Sciences,Philosophy
Reference34 articles.
1. Avigad, J. (2001). Algebraic proofs of cut elimination. The Journal of Logic and Algebraic Programming, 49(1–2), 15–30. https://doi.org/10.1016/S1567-8326(01)00009-1.
2. Avron, A. (1991). Hypersequents, logical consequence and intermediate logics for concurrency. Annals of Mathematics and Artificial Intelligence, 4, 225–248. https://doi.org/10.1007/BF01531058.
3. Avron, A. (1996). The method of hypersequents in the proof theory of propositional non-classical logics. In W. Hodges, M. Hyland, C. Steinhorn, & J. Truss (Eds.), Logic: From Foundations to Applications. New York: Clarendon Press.
4. Blasio, C., ao Marcos, J., & Wansing, H. (2017). An inferentially many-valued two dimensional notion of entailment. Bulletin of the Section of Logic, 46(3), 233–262.
5. Boudard, M., & Hermant, O. (2013). Polarizing double-negation translations. In 19th International conference on logic for programming, artificial intelligence, and reasoning, LPAR-19, Stellenbosch, South Africa, December 14–19, 2013, pp. 182–197.
Cited by
12 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献