{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,28]],"date-time":"2025-10-28T00:24:37Z","timestamp":1761611077572,"version":"3.41.0"},"reference-count":22,"publisher":"Springer Science and Business Media LLC","issue":"1-2","license":[{"start":{"date-parts":[[1998,4,1]],"date-time":"1998-04-01T00:00:00Z","timestamp":891388800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[1998,4,1]],"date-time":"1998-04-01T00:00:00Z","timestamp":891388800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Journal of Automated Reasoning"],"published-print":{"date-parts":[[1998,4]]},"DOI":"10.1023\/a:1005905025531","type":"journal-article","created":{"date-parts":[[2002,12,22]],"date-time":"2002-12-22T00:10:48Z","timestamp":1040515848000},"page":"167-190","source":"Crossref","is-referenced-by-count":4,"title":["Informational Logic as a Tool for Automated Reasoning"],"prefix":"10.1007","volume":"20","author":[{"given":"Paola","family":"Forcheri","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Paolo","family":"Gentilini","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Maria Teresa","family":"Molfino","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"146980_CR1","unstructured":"Avenhaus, J. and Madlener, K.: Term rewriting and equational reasoning, in Formal Techniques in Artificial Intelligence, North-Holland, Amsterdam, 1990, pp. 1\u201343."},{"key":"146980_CR2","doi-asserted-by":"crossref","unstructured":"Boyer, R. S. and Moore, J. S.: Proving theorems about LISP functions, JACM (1975), 129\u2013144.","DOI":"10.1145\/321864.321875"},{"key":"146980_CR3","doi-asserted-by":"crossref","unstructured":"Holldobler, S. and Thielsher, M.: Computing change and specificity with equational logic programs, Annals Math. Artificial Intelligence (1995), pp. 99\u2013133.","DOI":"10.1007\/BF01530895"},{"key":"146980_CR4","unstructured":"Gentilini, P., Forcheri, P., and Molfino, M. T.: Conjectural provability logic based on logical information measures, Bulletin of Symbolic Logic (1997), 29\u201330."},{"key":"146980_CR5","doi-asserted-by":"crossref","unstructured":"Gardenfors, P.: Three levels of inductive inference, in D. Prawtz, B. Skyrms and D. Westerthal (eds), Logic, Methodology and Philosophy of Science IX, North-Holland, 1994, pp. 427\u2013449.","DOI":"10.1016\/S0049-237X(06)80055-8"},{"key":"146980_CR6","volume-title":"Handbook of Logic in AI and Logic Programming","author":"D. Dubois","year":"1994","unstructured":"Dubois, D., Lang, J. and Prade, H.: Possibilistic logic, in Dov M. Gabbey, C. J. Hogger and J. A. Robinson (eds), Handbook of Logic in AI and Logic Programming, Clarendon Press, Oxford, 1994."},{"key":"146980_CR7","first-page":"491","volume-title":"Logic and Algebra","author":"P. Forcheri","year":"1996","unstructured":"Forcheri, P., Gentilini, P. and Molfino, M. T.: Research in automated deduction as a basis for a probabilistic proof-theory, in P. Agliano' and A. Ursini (eds), Logic and Algebra, Dekker, New York, 1996, pp. 491\u2013527."},{"key":"146980_CR8","volume-title":"Information Theory and Reliable Communication","author":"R. Gallager","year":"1968","unstructured":"Gallager, R.: Information Theory and Reliable Communication, John Wiley and Sons, New York, 1968."},{"key":"146980_CR9","doi-asserted-by":"crossref","first-page":"225","DOI":"10.1007\/s001530050043","volume":"35","author":"F. Montagna","year":"1996","unstructured":"Montagna, F., Simi, G. and Sorbi, A.: Logic and probabilistic systems, Archive of Mathematical Logic\n35 (1996), 225\u2013261.","journal-title":"Archive of Mathematical Logic"},{"key":"146980_CR10","doi-asserted-by":"crossref","first-page":"209","DOI":"10.1007\/s001530050042","volume":"35","author":"F. Montagna","year":"1996","unstructured":"Montagna, F.: An algebraic treatment of quantifier-free systems of arithmetic, Archive of Math-ematical Logic\n35 (1996), 209\u2013224.","journal-title":"Archive of Math-ematical Logic"},{"key":"146980_CR11","doi-asserted-by":"crossref","first-page":"311","DOI":"10.1016\/0004-3702(90)90019-V","volume":"46","author":"J. Y. Halpern","year":"1990","unstructured":"Halpern, J. Y.: An analysis of first-order logics of probability, Artificial Intelligence\n46 (1990), 311\u2013350.","journal-title":"Artificial Intelligence"},{"key":"146980_CR12","first-page":"536","volume":"38","author":"P. Gentilini","year":"1992","unstructured":"Gentilini, P.: Provability logic in the Gentzen formulation of arithmetic, Z. Math. Log. Grund-lagen. Math.\n38 (1992), 536\u2013550.","journal-title":"Z. Math. Log. Grund-lagen. Math."},{"key":"146980_CR13","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/0304-3975(87)90045-4","volume":"50","author":"J. Y. Girard","year":"1987","unstructured":"Girard, J. Y.: Linear logic, TCS\n50 (1987), 1\u2013102.","journal-title":"TCS"},{"key":"146980_CR14","doi-asserted-by":"crossref","unstructured":"Smorynski, C.: The incompleteness theorems, in J. Barwise (ed.), Handbook of Mathematical Logic, North-Holland, Amsterdam, 1977, pp.000\u2013000.","DOI":"10.1016\/S0049-237X(08)71123-6"},{"key":"146980_CR15","unstructured":"Gentilini, P.: Informational proof-theory, in Centro F. Enriquez (ed), Proc. Int. Conf. on Logic Methodology and Philosophy of Science, Florence, 1995, p. 47."},{"key":"146980_CR16","doi-asserted-by":"crossref","unstructured":"Krajicek, J. and Pudlak, P.: The number of proof lines and the size of proofs in first-order logic, Arch. Math. Logic (1988), 69\u201384.","DOI":"10.1007\/BF01625836"},{"key":"146980_CR17","volume-title":"Mathematical Foundations of Information Theory","author":"A. I. Khinchin","year":"1957","unstructured":"Khinchin, A. I.: Mathematical Foundations of Information Theory, Dover Publications, New York, 1957."},{"key":"146980_CR18","volume-title":"Handbook of Logic in AI and Logic Programming","author":"H. E. Kyburg","year":"1994","unstructured":"Kyburg, H. E.: Uncertainty logics, in Dov M. Gabbay, C. J. Hogger and J. A. Robinson (eds), Handbook of Logic in AI and Logic Programming Vol. 3, Clarendon Press, Oxford, 1994."},{"key":"146980_CR19","doi-asserted-by":"crossref","first-page":"29","DOI":"10.1090\/S0002-9947-1973-0432416-X","volume":"177","author":"R. J. Parikh","year":"1973","unstructured":"Parikh, R. J.: Some results on the length of proofs, Trans. Amer. Math. Soc.\n177 (1973) 29\u201336.","journal-title":"Trans. Amer. Math. Soc."},{"key":"146980_CR20","volume-title":"Handbook of Logic in AI and Logic Programming","author":"D. Perlis","year":"1994","unstructured":"Perlis, D. and Subrahmanian, V. S.: Meta-languages, reflection principles and self-reference, in Dov M. Gabbay, C. J. Hogger, and J. A. Robinson (eds), Handbook of Logic in AI and Logic Programming Vol. 2, Clarendon Press, Oxford, 1994."},{"key":"146980_CR21","doi-asserted-by":"crossref","unstructured":"Scott, D. and Krauss, P.: Assigning probabilities to logical formula, in J. Hintikka and P. Suppes (eds), Aspects of Inductive Logic, North-Holland, Amsterdam, 1966.","DOI":"10.1016\/S0049-237X(08)71672-0"},{"key":"146980_CR22","unstructured":"Takeuti, G. Proof Theory, North-Holland, Amsterdam, 1987."}],"container-title":["Journal of Automated Reasoning"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1005905025531.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1023\/A:1005905025531\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1005905025531.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,5]],"date-time":"2025-06-05T11:41:35Z","timestamp":1749123695000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1023\/A:1005905025531"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1998,4]]},"references-count":22,"journal-issue":{"issue":"1-2","published-print":{"date-parts":[[1998,4]]}},"alternative-id":["146980"],"URL":"https:\/\/doi.org\/10.1023\/a:1005905025531","relation":{},"ISSN":["0168-7433","1573-0670"],"issn-type":[{"type":"print","value":"0168-7433"},{"type":"electronic","value":"1573-0670"}],"subject":[],"published":{"date-parts":[[1998,4]]}}}