Publisher
Springer International Publishing
Reference21 articles.
1. Avron, A.: Natural 3-valued logics: characterization and proof theory. J. Symb. Log. 56(1), 276–294 (1991)
2. Lecture Notes in Computer Science;M Baaz,1996
3. Beckert, B., Hähnle, R., Oel, P., Sulzmann, M.: The tableau-based theorem prover version 4.0. In: McRobbie, M.A., Slaney, J.K. (eds.) CADE 1996. LNCS, vol. 1104, pp. 303–307. Springer, Heidelberg (1996). https://doi.org/10.1007/3-540-61511-3_95
4. Episteme;ND Belnap,1977
5. Belnap, N.: A useful four-valued logic: how a computer should think. In: Anderson, A., Belnap, N., Dunn, J. (eds.) Entailment: The Logic of Relevance and Necessity, vol. 2, pp. 506–541. Princeton University Press (1992)
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献