Author:
Avron Arnon,Zamansky Anna
Reference93 articles.
1. Almukdad A. and D. Nelson, Constructible falsity and inexact predicates, Journal of Symbolic Logic, 49:231–333, 1984.
2. Arieli O. and A. Avron, Reasoning with Logical Bilattices, Journal of Logic, Language and Information, 5:25–63, 1996.
3. S. Artemov, H. Barringer, A.S. d’Avila Garcez, L.C. Lamb and J. Woods, We Will Show Them! Essays in Honour of Dov Gabbay, vol. 1, College Publications, 2005.
4. Avron, A., Simple consequence relations, Information and Computation, 92:105–139, 1991.
5. Avron, A., Gentzen-Type Systems, Resolution and Tableaux, Journal of Automated Reasoning, 10:265–281, 1993.
Cited by
91 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献