%0 Journal Article %1 journals/tcs/Caleiro0V15 %A Caleiro, Carlos %A Marcos, João %A Volpe, Marco %D 2015 %J Theor. Comput. Sci. %K dblp %P 84-110 %T Bivalent semantics, generalized compositionality and analytic classic-like tableaux for finite-valued logics. %U http://dblp.uni-trier.de/db/journals/tcs/tcs603.html#Caleiro0V15 %V 603

@article{journals/tcs/Caleiro0V15, added-at = {2021-02-17T00:00:00.000+0100}, author = {Caleiro, Carlos and Marcos, João and Volpe, Marco}, biburl = {https://www.bibsonomy.org/bibtex/2230f4fadfdbec8e84ee78e9403b28ad7/dblp}, ee = {https://www.wikidata.org/entity/Q61593294}, interhash = {59844cdd4d88515ffbe1b4d98a83aa13}, intrahash = {230f4fadfdbec8e84ee78e9403b28ad7}, journal = {Theor. Comput. Sci.}, keywords = {dblp}, pages = {84-110}, timestamp = {2024-04-08T18:41:07.000+0200}, title = {Bivalent semantics, generalized compositionality and analytic classic-like tableaux for finite-valued logics.}, url = {http://dblp.uni-trier.de/db/journals/tcs/tcs603.html#Caleiro0V15}, volume = 603, year = 2015 }