{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T22:24:09Z","timestamp":1725488649253},"publisher-location":"Basel","reference-count":27,"publisher":"Birkh\u00e4user Basel","isbn-type":[{"type":"print","value":"9783764383534"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-7643-8354-1_10","type":"book-chapter","created":{"date-parts":[[2007,8,7]],"date-time":"2007-08-07T08:45:57Z","timestamp":1186476357000},"page":"175-194","source":"Crossref","is-referenced-by-count":4,"title":["Two\u2019s Company: \u201cThe Humbug of Many Logical Values\u201d"],"prefix":"10.1007","author":[{"given":"Carlos","family":"Caleiro","sequence":"first","affiliation":[]},{"given":"Walter","family":"Carnielli","sequence":"additional","affiliation":[]},{"given":"Marcelo E.","family":"Coniglio","sequence":"additional","affiliation":[]},{"given":"Jo\u00e3o","family":"Marcos","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"10_CR1","unstructured":"D. Batens, A bridge between two-valued and many-valued semantic systems: n-tuple semantics, Proceedings of the XII International Symposium on Multiple-Valued Logic, IEEE Computer Science Press, 1982, pp. 318\u2013322."},{"key":"10_CR2","first-page":"8","volume-title":"Modern Uses of Multiple-Valued Logic","author":"N. D. Belnap","year":"1977","unstructured":"N. D. Belnap, A useful four-valued logic, Modern Uses of Multiple-Valued Logic (J. M. Dunn, ed.), D. Reidel Publishing, Boston, 1977, pp. 8\u201337."},{"key":"10_CR3","first-page":"73","volume-title":"Logica\u201994, Proceedings of the VIII International Symposium","author":"J.-Y. B\u00e9ziau","year":"1994","unstructured":"J.-Y. B\u00e9ziau, Universal Logic, Logica\u201994, Proceedings of the VIII International Symposium (T. Childers and O. Majers, eds.), Czech Academy of Science, Prague, CZ, 1994, pp. 73\u201393."},{"key":"10_CR4","first-page":"105","volume":"18","author":"J.-Y. B\u00e9ziau","year":"1998","unstructured":"J.-Y. B\u00e9ziau, Recherches sur la logique abstraite: les logiques normales, Acta Universitatis Wratislaviensis no. 2023, Logika 18 (1998), 105\u2013114.","journal-title":"Recherches sur la logique abstraite: les logiques normales"},{"issue":"176","key":"10_CR5","first-page":"373","volume":"44","author":"J.-Y. B\u00e9ziau","year":"2001","unstructured":"J.-Y. B\u00e9ziau, Sequents and bivaluations, Logique et Analyse (N.S.) 44 (2001), no. 176, 373\u2013394.","journal-title":"Logique et Analyse"},{"key":"10_CR6","unstructured":"C. Caleiro, W. A. Carnielli, M. E. Coniglio, and J. Marcos, Dyadic semantics for many-valued logics, Preprint available at: http:\/\/wslc.math.ist.utl.pt\/ftp\/pub\/CaleiroC\/03-CCCM-dyadic2.pdf."},{"key":"10_CR7","unstructured":"C. Caleiro, W. A. Carnielli, M. E. Coniglio, and J. Marcos, How many logical values are there? Dyadic semantics for many-valued logics, Preprint."},{"key":"10_CR8","unstructured":"C. Caleiro, W. A. Carnielli, M. E. Coniglio, and J. Marcos, Suszko\u2019s Thesis and dyadic semantics, Preprint available at: http:\/\/wslc.math.ist.utl.pt\/ftp\/pub\/CaleiroC\/03-CCCM-dyadic1.pdf."},{"key":"10_CR9","first-page":"841","volume-title":"Proceedings of the International Conference on Artificial Intelligence (IC-AI\u20192001)","author":"C. Caleiro","year":"2001","unstructured":"C. Caleiro and J. Marcos, Non-truth-functional fibred semantics, Proceedings of the International Conference on Artificial Intelligence (IC-AI\u20192001), held in Las Vegas, USA, June 2001 (H. R. Arabnia, ed.), vol. II, CSREA Press, Athens GA, USA, 2001, pp. 841\u2013847. http:\/\/wslc.math.ist.utl.pt\/ftp\/pub\/CaleiroC\/01-CM-fiblog10.ps."},{"key":"10_CR10","doi-asserted-by":"publisher","first-page":"473","DOI":"10.2307\/2274395","volume":"52","author":"W. A. Carnielli","year":"1987","unstructured":"W. A. Carnielli, Systematization of the finite many-valued logics through the method of tableaux, The Journal of Symbolic Logic 52 (1987), 473\u2013493.","journal-title":"The Journal of Symbolic Logic"},{"key":"10_CR11","doi-asserted-by":"crossref","unstructured":"W. A. Carnielli and M. Lima-Marques, Society semantics for multiple-valued logics, Advances in Contemporary Logic and Computer Science (W. A. Carnielli and I. M. L. D\u2019Ottaviano, eds.), Contemporary Mathematics Series, vol. 235, American Mathematical Society, 1999, pp. 33\u201352.","DOI":"10.1090\/conm\/235\/03464"},{"key":"10_CR12","first-page":"848","volume-title":"Proceedings of the 2001 International Conference on Artificial Intelligence (IC-AI\u20192001)","author":"W. A. Carnielli","year":"2001","unstructured":"W. A. Carnielli and J. Marcos, Tableaux for logics of formal inconsistency, Proceedings of the 2001 International Conference on Artificial Intelligence (IC-AI\u20192001), held in Las Vegas, USA, June 2001 (H. R. Arabnia, ed.), vol. II, CSREA Press, Athens GA, USA, 2001, pp. 848\u2013852. http:\/\/logica.rug.ac.be\/~joao\/Publications\/Congresses\/tableauxLFIs.pdf."},{"key":"10_CR13","doi-asserted-by":"crossref","first-page":"115","DOI":"10.12775\/LLP.2000.008","volume":"8","author":"W. A. Carnielli","year":"2000","unstructured":"W. A. Carnielli, J. Marcos, and S. de Amo, Formal inconsistency and evolutionary databases, Logic and Logical Philosophy 8 (2000), 115\u2013152. http:\/\/www.cle.unicamp.br\/e-prints\/abstract_6.htm.","journal-title":"Logic and Logical Philosophy"},{"key":"10_CR14","first-page":"3790","volume":"257","author":"N. C. A. Costa da","year":"1963","unstructured":"N. C. A. da Costa, Calculs propositionnels pour les syst\u00e8mes formels inconsistants, Comptes Rendus d\u2019Academie des Sciences de Paris 257 (1963), 3790\u20133792.","journal-title":"Comptes Rendus d\u2019Academie des Sciences de Paris"},{"key":"10_CR15","doi-asserted-by":"publisher","first-page":"621","DOI":"10.1305\/ndjfl\/1093888132","volume":"18","author":"N. C. A. Costa da","year":"1977","unstructured":"N. C. A. da Costa and E. H. Alves, A semantical analysis of the calculi Cn, Notre Dame Journal of Formal Logic 18 (1977), 621\u2013630.","journal-title":"Notre Dame Journal of Formal Logic"},{"key":"10_CR16","first-page":"272","volume":"3","author":"N. C. A. Costa da","year":"1996","unstructured":"N. C. A. da Costa, J.-Y. B\u00e9ziau, and O. A. S. Bueno, Malinowski and Suszko on many-valued logics: On the reduction of many-valuedness to two-valuedness, Modern Logic 3 (1996), 272\u2013299.","journal-title":"Modern Logic"},{"issue":"1","key":"10_CR17","doi-asserted-by":"publisher","first-page":"21","DOI":"10.3166\/jancl.13.21-46","volume":"13","author":"V. L. Fern\u00e1ndez","year":"2003","unstructured":"V. L. Fern\u00e1ndez and M. E. Coniglio, Combining valuations with society semantics, Journal of Applied Non-Classical Logics 13 (2003), no. 1, 21\u201346. http:\/\/www.cle.unicamp.br\/e-prints\/abstract_11.html.","journal-title":"Journal of Applied Non-Classical Logics"},{"key":"10_CR18","volume-title":"Oxford Logic Guides","author":"G. Malinowski","year":"1993","unstructured":"G. Malinowski, Many-Valued Logics, Oxford Logic Guides 25, Clarendon Press, Oxford, 1993."},{"key":"10_CR19","volume-title":"Possible-Translations Semantics (in Portuguese)","author":"J. Marcos","year":"1999","unstructured":"J. Marcos, Possible-Translations Semantics (in Portuguese), Master\u2019s thesis, State University of Campinas, Brazil, 1999. http:\/\/www.cle.unicamp.br\/students\/J.Marcos\/"},{"key":"10_CR20","doi-asserted-by":"crossref","first-page":"244","DOI":"10.1016\/S0049-237X(08)71542-8","volume-title":"Truth, Syntax and Modality","author":"D. Scott","year":"1973","unstructured":"D. Scott, Background to formalisation, Truth, Syntax and Modality (H. Leblanc, ed.), North-Holland, Amsterdam, 1973, pp. 244\u2013273."},{"key":"10_CR21","doi-asserted-by":"crossref","unstructured":"D. Scott, Completeness and axiomatizability in many-valued logic, Proceedings of Tarski Symposium (L. Henkin et. al., ed.), Proceedings of Symposia in Pure Mathematics, vol.25, Berkeley 1971, 1974, pp. 411\u2013436.","DOI":"10.1090\/pspum\/025\/0363802"},{"key":"10_CR22","first-page":"173","volume":"18","author":"A. M. Sette","year":"1973","unstructured":"A. M. Sette, On the propositional calculus P 1, Mathematica Japonicae 18 (1973), 173\u2013180.","journal-title":"Mathematica Japonicae"},{"key":"10_CR23","doi-asserted-by":"crossref","unstructured":"R. Suszko, Abolition of the Fregean Axiom, Logic Colloquium: Symposium on Logic held at Boston, 1972\u201373 (R. Parikh, ed.), Lecture Notes in Mathematics, vol. 453, Springer-Verlag, 1972, pp. 169\u2013239.","DOI":"10.1007\/BFb0064874"},{"key":"10_CR24","first-page":"87","volume":"4","author":"R. Suszko","year":"1975","unstructured":"R. Suszko, Remarks on \u0141ukasiewicz\u2019s three-valued logic, Bulletin of the Section of Logic 4 (1975), 87\u201390.","journal-title":"Bulletin of the Section of Logic"},{"key":"10_CR25","doi-asserted-by":"publisher","first-page":"373","DOI":"10.1007\/BF02120672","volume":"36","author":"R. Suszko","year":"1977","unstructured":"R. Suszko, The Fregean axiom and Polish mathematical logic in the 1920\u2019s, Studia Logica 36 (1977), 373\u2013380.","journal-title":"Studia Logica"},{"issue":"2","key":"10_CR26","doi-asserted-by":"publisher","first-page":"299","DOI":"10.1023\/A:1005020217249","volume":"60","author":"M. Tsuji","year":"1998","unstructured":"M. Tsuji, Many-valued logics and Suszko\u2019s Thesis revisited, Studia Logica 60 (1998), no. 2, 299\u2013309.","journal-title":"Studia Logica"},{"key":"10_CR27","first-page":"333","volume":"17","author":"R. W\u00f3jcicki","year":"1969","unstructured":"R. W\u00f3jcicki, Logical matrices strongly adequate for structural sentential calculi, Bulletin de l\u2019Academie Polonaise des Sciences, S\u00e9rie des Sciences Math\u00e9matiques, Astronomiques et Physiques 17 (1969), 333\u2013335.","journal-title":"Bulletin de l\u2019Academie Polonaise des Sciences"}],"container-title":["Logica Universalis"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-7643-8354-1_10.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,23]],"date-time":"2020-11-23T10:19:39Z","timestamp":1606126779000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-7643-8354-1_10"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783764383534"],"references-count":27,"URL":"https:\/\/doi.org\/10.1007\/978-3-7643-8354-1_10","relation":{},"subject":[]}}