Funder
Council of Scientific and Industrial Research, India
Subject
Applied Mathematics,Artificial Intelligence,Theoretical Computer Science,Software
Reference42 articles.
1. A constructive analysis of RM;Avron;J. Symb. Log.,1987
2. The method of hypersequents in the proof theory of propositional non-classical logics;Avron,1996
3. Deciding the word problem in pure double Boolean algebras;Balbiani;J. Appl. Log.,2012
4. Rough belief change;Banerjee,2006
5. Rough consequence and rough algebra;Banerjee,1994
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献