Author:
Murray Neil V.,Rosenthal Erik
Subject
General Computer Science,Theoretical Computer Science
Reference21 articles.
1. The Foundations of Mathematics;Beth,1965
2. Tautology testing with a generalized matrix reduction method;Bibel;Theoret. Comput. Sci.,1979
3. Systematization of finite many-valued logics through the method of tableaux;Carnielli;J. Symbolic Logic,1987
4. On the lengths of proofs in the propositional calculus;Cook,1974
5. Preliminary report: NM3 – a three-valued monotonic formalism;Doherty,1990
Cited by
6 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献