Author:
Goranko Valentin,Pulcini Gabriele,Skura Tomasz
Reference108 articles.
1. Anderson, A.R., and N.D. Belnap. 1975. Entailment, vol. 1. Princeton: Princeton University Press.
2. Avron, A. 1984. Relevance entailment: semantics and formal systems. Journal of Symbolic Logic 49: 334–342.
3. Avron, A. 1990. Relevance and paraconsistency - a new approach Part II: The formal systems. Notre Dame Journal of Formal Logic 31: 169–202.
4. Berger, G., and H. Tompits. 2013. On axiomatic rejection for the description logic ALC. In Proceedings of KDPD 2013, vol. 8439. Lecture notes in computer science, 65–82. Berlin: Springer.
5. Bonatti, P. 1993. A Gentzen system for non-theorems. Technical report, Technische Universität Wien, Institut für Informationssysteme.
Cited by
12 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献