Publisher
Springer International Publishing
Reference30 articles.
1. Anderson, A.R., Belnap, N.D.: Entailment: The Logic of Relevance and Necessity, vol. I. Princeton University Press, Princeton (1975)
2. Arieli, O., Avron, A.: The value of the four values. Artif. Intell. 102(1), 97–141 (1998)
3. Kolkata, India;O Arieli,2015
4. Avron, A.: Simple consequence relations. Inf. Comput. 92(1), 105–139 (1991)
5. Avron, A.: Gentzen-type systems, resolution and tableaux. J. Autom. Reason. 10(2), 265–281 (1993)
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献