Publisher
Springer Science and Business Media LLC
Subject
Applied Mathematics,Logic
Reference12 articles.
1. Avron, A.: Non-deterministic semantics for logics with a consistency operator. Int. J. Approx. Reason. 45(2), 271–287 (2007)
2. Caleiro, C., Carnielli, W., Coniglio, M.E., Marcos, J.: Two’s company: “the humbug of many logical values”. In: Béziau, J.-Y. (ed.) Logica Universalis, pp. 169–189. Birkhäuser Verlag, Basel, Switzerland (2005)
3. Caleiro, C., Marcos, J.: Many-valuedness meets bivalence: Using logical values in an effective way. J. Mult. Valued Log. Soft Comput. 19(1–3), 51–70 (2012)
4. Caleiro, C., Marcos, J., Volpe, M.: Bivalent semantics, generalized compositionality and analytic classic-like tableaux for finite-valued logics. Theoret. Comput. Sci. 603, 84–110 (2015)
5. Carnielli, W.: Polynomial ring calculus for many-valued logics. In: Werner, B. (ed.) Proceedings of the 35th International Symposium on Multiple-Valued Logic, pp. 20–25. IEEE Computer Society (2005)
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献