Author:
Volpe Marco,Marcos João,Caleiro Carlos
Publisher
Springer Berlin Heidelberg
Reference12 articles.
1. Avron, A., Lev, I.: Non-deterministic multiple-valued structures. Journ. of Logic and Computation 15, 241–261 (2005)
2. Boolos, G.: Don’t eliminate cut. Journ. of Phil. Logic 13, 373–378 (1984)
3. Caleiro, C., Carnielli, W., Coniglio, M.E., Marcos, J.: Two’s company: The humbug of many logical values. In: Béziau, J.-Y. (ed.) Log. Universalis, pp. 169–189. Birkhäuser Verlag, Basel (2005)
4. Lecture Notes in Computer Science;C. Caleiro,2009
5. Caleiro, C., Marcos, J.: Many-valuedness meets bivalence: Using logical values in an effective way. J. of Multiple-Valued Log. and Soft Comp. 18 (2012)
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献