{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,1]],"date-time":"2025-10-01T16:26:43Z","timestamp":1759336003807},"publisher-location":"Berlin\/Heidelberg","reference-count":12,"publisher":"Springer-Verlag","isbn-type":[{"type":"print","value":"354055789X"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/bfb0023773","type":"book-chapter","created":{"date-parts":[[2005,11,19]],"date-time":"2005-11-19T10:11:10Z","timestamp":1132395070000},"page":"272-277","source":"Crossref","is-referenced-by-count":4,"title":["Normal forms in infinite-valued logic: The case of one variable"],"prefix":"10.1007","author":[{"given":"Daniele","family":"Mundici","sequence":"first","affiliation":[]}],"member":"297","reference":[{"key":"20_CR1","first-page":"133","volume":"3","author":"A. L. Cauchy","year":"1816","unstructured":"A. L. CAUCHY, D\u00e9monstration d'un th\u00e9or\u00e8me curieux sur les nombres, Bull. Sc. Soc. Philomatique Paris, (3) 3 (1816) 133\u2013135. Reproduced in Exercices Math., 1 (1826)114\u2013116, and in Oeuvres, (2) 6 (1887) 146\u2013148.","journal-title":"Bull. Sc. Soc. Philomatique Paris, (3)"},{"key":"20_CR2","first-page":"238","volume-title":"Uniform notation tableau rules for multiple-valued logic","author":"R. H\u00e4hnle","year":"1991","unstructured":"R. H\u00c4HNLE, Uniform notation tableau rules for multiple-valued logic, Proc. 21th Int. Symp. on Multiple-Valued Logic, Victoria, B.C., Canada, IEEE Press, 1991, pp. 238\u2013245."},{"key":"20_CR3","volume-title":"An Introduction to the Theory of Numbers","author":"G. H. Hardy","year":"1979","unstructured":"G. H. HARDY, E. M. WRIGHT, \u201cAn Introduction to the Theory of Numbers\u201d, Fifth Edition, Oxford University Press, London, 1979.","edition":"Fifth Edition"},{"key":"20_CR4","doi-asserted-by":"crossref","first-page":"1","DOI":"10.2307\/2268660","volume":"16","author":"R. Mcnaughton","year":"1951","unstructured":"R. MCNAUGHTON, A theorem about infinite-valued sentential logic, Journal of Symbolic Logic, 16 (1951) 1\u201313.","journal-title":"Journal of Symbolic Logic"},{"key":"20_CR5","doi-asserted-by":"crossref","first-page":"145","DOI":"10.1016\/0304-3975(87)90083-1","volume":"52","author":"D. Mundici","year":"1987","unstructured":"D. MUNDICI, Satisfiability in many-valued sentential logic is NP-complete, Theoretical Computer Science, 52 (1987) 145\u2013153.","journal-title":"Theoretical Computer Science"},{"key":"20_CR6","first-page":"230","volume-title":"Improving tableau deduction in multiple-valued logic","author":"N. V. Murray","year":"1991","unstructured":"N. V. MURRAY, E. ROSENTHAL, Improving tableau deduction in multiple-valued logic, Proc. 21th Int. Symp. on Multiple-Valued Logic, Victoria, B.C., Canada, IEEE, 1991, pp. 230\u2013237."},{"key":"20_CR7","doi-asserted-by":"crossref","first-page":"274","DOI":"10.1007\/3-540-12920-0_25","volume":"166","author":"A. Mycroft","year":"1984","unstructured":"A. MYCROFT, Logic programs and many-valued logic, Lecture Notes in Computer Science, 166 (1984) 274\u2013286.","journal-title":"Lecture Notes in Computer Science"},{"key":"20_CR8","doi-asserted-by":"crossref","unstructured":"P. O'HEARN, Z. STACHNIAK, Resolution framework for finitely-valued first-order logic, Journal of Symbolic Computation, to appear.","DOI":"10.1016\/S0747-7171(10)80002-1"},{"key":"20_CR9","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1090\/S0002-9947-1958-0094299-1","volume":"87","author":"A. Rose","year":"1958","unstructured":"A. ROSE, J. B. ROSSER, Fragments of many-valued statement calculi, Trans. Amer. Math. Soc., 87 (1958) 1\u201353.","journal-title":"Trans. Amer. Math. Soc."},{"key":"20_CR10","doi-asserted-by":"crossref","first-page":"190","DOI":"10.1007\/3-540-16780-3_90","volume":"230","author":"P. Schmitt","year":"1986","unstructured":"P. SCHMITT, Computational aspects of three-valued logic, Lecture Notes in Computer Science, 230 (1986) 190\u2013198.","journal-title":"Lecture Notes in Computer Science"},{"key":"20_CR11","unstructured":"A. TARSKI, J. LUKASIEWICZ, Investigations into the Sentential Calculi, In: \u201cLogic, Semantics, Metamathematics\u201d, Oxford University Press, 1956, pp. 38\u201359. Reprinted by Hackett Publishing Company, 1983."},{"key":"20_CR12","doi-asserted-by":"crossref","DOI":"10.1007\/978-94-015-6942-2","volume-title":"Theory of Logical Calculi","author":"R. Wojcicki","year":"1988","unstructured":"R. WOJCICKI, \u201cTheory of Logical Calculi\u201d, Kluwer Academic Publishers, Dordrecht, 1988."}],"container-title":["Lecture Notes in Computer Science","Computer Science Logic"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0023773.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,12,9]],"date-time":"2020-12-09T21:50:33Z","timestamp":1607550633000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0023773"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["354055789X"],"references-count":12,"URL":"https:\/\/doi.org\/10.1007\/bfb0023773","relation":{},"subject":[]}}