{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,5]],"date-time":"2025-06-05T12:10:03Z","timestamp":1749125403076,"version":"3.41.0"},"reference-count":32,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[2001,8,1]],"date-time":"2001-08-01T00:00:00Z","timestamp":996624000000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2001,8,1]],"date-time":"2001-08-01T00:00:00Z","timestamp":996624000000},"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":[[2001,8]]},"DOI":"10.1023\/a:1010687609134","type":"journal-article","created":{"date-parts":[[2002,12,23]],"date-time":"2002-12-23T03:31:49Z","timestamp":1040614309000},"page":"141-156","source":"Crossref","is-referenced-by-count":5,"title":["Distributivity in \u0141\u21350 and Other Sentential Logics"],"prefix":"10.1007","volume":"27","author":[{"given":"Kenneth","family":"Harris","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Branden","family":"Fitelson","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"323440_CR1","unstructured":"Anderson, A. and Belnap, N.: Entailment: The Logic of Relevance and Necessity, Princeton University Press, 1975."},{"issue":"4","key":"323440_CR2","first-page":"140","volume":"21","author":"G. Beavers","year":"1992","unstructured":"Beavers, G.: Distribution in \u0141ukasiewicz logics, Bull. Sect. Logic\n21(4) (1992), 140-146.","journal-title":"Bull. Sect. Logic"},{"key":"323440_CR3","doi-asserted-by":"crossref","unstructured":"Belnap, N.: Life in the undistributed middle, in P. Schroeder-Heister and K. Do\u0161en (eds.), Substructural Logics, Clarendon Press, 1993.","DOI":"10.1093\/oso\/9780198537779.003.0002"},{"key":"323440_CR4","first-page":"355","volume":"27","author":"R. Brady","year":"1984","unstructured":"Brady, R.: Natural deduction systems for some quantified relevant logics, Logique et Analyse\n27 (1984), 355-377.","journal-title":"Logique et Analyse"},{"key":"323440_CR5","first-page":"55","volume":"87","author":"C. Chang","year":"1958","unstructured":"Chang, C.: Proof of an axiom of \u0141ukasiewicz, Trans. Amer. Math. Soc.\n87 (1958), 55-56.","journal-title":"Trans. Amer. Math. Soc."},{"key":"323440_CR6","first-page":"74","volume":"93","author":"C. Chang","year":"1959","unstructured":"Chang, C.: A new proof of the completeness of the \u0141ukasiewicz axioms, Trans. Amer. Math. Soc.\n93 (1959), 74-80.","journal-title":"Trans. Amer. Math. Soc."},{"issue":"1","key":"323440_CR7","doi-asserted-by":"crossref","first-page":"79","DOI":"10.1023\/A:1004991931741","volume":"58","author":"R. Cignoli","year":"1997","unstructured":"Cignoli, R. and Mundici, D.: An elementary proof of Chang's completeness theorem for the infinite-valued calculus of \u0141ukasiewicz, Studia Logica\n58(1) (1997), 79-97.","journal-title":"Studia Logica"},{"key":"323440_CR8","unstructured":"Davey, B. and Priestley, H.: Introduction to Lattices and Order, Cambrige University Press, 1990."},{"key":"323440_CR9","doi-asserted-by":"crossref","unstructured":"Dunn, J.: Relevance logic and entailment, in D. Gabbay and F. Guenther (eds.), Handbook of Philosophical Logic, Vol. III., D. Reidel, 1986.","DOI":"10.1007\/978-94-009-5203-4_3"},{"key":"323440_CR10","doi-asserted-by":"crossref","first-page":"443","DOI":"10.1007\/BF01371632","volume":"42","author":"J. Kalman","year":"1983","unstructured":"Kalman, J.: Condensed detachment as a rule of inference, Studia Logica\n42 (1983), 443-451.","journal-title":"Studia Logica"},{"key":"323440_CR11","unstructured":"Kneale, W. and Kneale, M.: The Development of Logic, Clarendon Press, 1962."},{"key":"323440_CR12","doi-asserted-by":"crossref","first-page":"115","DOI":"10.1112\/plms\/s2-25.1.115","volume":"25","author":"C. Langford","year":"1926","unstructured":"Langford,C.: Analytical completeness of postulate sets, Proc. London Math. Soc.\n25 (1926), 115-142.","journal-title":"Proc. London Math. Soc."},{"key":"323440_CR13","unstructured":"\u0141ukasiewicz, J.: Selected Works, North-Holland, 1970."},{"key":"323440_CR14","unstructured":"McCune, W.: Personal (email) communication, 2000."},{"key":"323440_CR15","series-title":"Technical Report","volume-title":"A Davis-Putnam program and its application to finite first-order model search: Quasigroup existence problems","author":"W. McCune","year":"1994","unstructured":"McCune, W.: A Davis-Putnam program and its application to finite first-order model search: Quasigroup existence problems, Technical Report, Agronne National Laboratory, Argonne, IL, 1994."},{"key":"323440_CR16","series-title":"ANL-94\/6, Technical Report","doi-asserted-by":"crossref","DOI":"10.2172\/10129052","volume-title":"OTTER 3.0 reference manual and guide","author":"W. McCune","year":"1994","unstructured":"McCune, W.: OTTER 3.0 reference manual and guide, ANL-94\/6, Technical Report, Argonne National Laboratory, Argonne, IL, 1994."},{"key":"323440_CR17","first-page":"54","volume":"87","author":"C. Meredith","year":"1998","unstructured":"Meredith, C.: The dependence of an axiom of \u0141ukasiewicz, Trans. Amer. Math. Soc.\n87 (1998), 54.","journal-title":"Trans. Amer. Math. Soc."},{"key":"323440_CR18","doi-asserted-by":"crossref","first-page":"169","DOI":"10.2307\/2273798","volume":"50","author":"H. Ono","year":"1990","unstructured":"Ono, H. and Komori, Y.: Logics without the contraction rule, J. Symbolic Logic\n50 (1990), 169-201.","journal-title":"J. Symbolic Logic"},{"key":"323440_CR19","doi-asserted-by":"crossref","unstructured":"Prior, A.: Formal Logic, 2nd edn, Clarendon Press, 1960.","DOI":"10.1305\/ndjfl\/1093956750"},{"key":"323440_CR20","unstructured":"Read, S.: Relevant Logic, Basil Blackwell, 1988."},{"key":"323440_CR21","unstructured":"Restall, G.: An Introduction to Substructural Logics, Routledge, 2000."},{"key":"323440_CR22","first-page":"1183","volume":"243","author":"A. Rose","year":"1956","unstructured":"Rose, A.: Formalisation du calcul propositionnel implicatif \u00e0 \u21350 valeurs de \u0141ukasiewicz, C.R. Acad. Sci. Paris\n243 (1956), 1183-1185.","journal-title":"C.R. Acad. Sci. Paris"},{"key":"323440_CR23","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1090\/S0002-9947-1958-0094299-1","volume":"87","author":"A. Rose","year":"1958","unstructured":"Rose, A. and Rosser, J.: Fragments of many-valued statement calculi, Trans. Amer. Math. Soc.\n87 (1958), 1-53.","journal-title":"Trans. Amer. Math. Soc."},{"key":"323440_CR24","doi-asserted-by":"crossref","unstructured":"Scott, D.: Completeness and axiomatizability in many-valued logic, in Proceedings of the Tarski Symposium (Proc. Sympos. Pure Math., Vol. XXV, Univ. California, Berkeley, Calif., 1971), Amer. Math. Soc., 1974.","DOI":"10.1090\/pspum\/025\/0363802"},{"key":"323440_CR25","unstructured":"Staney, J.: MAGIC, Matrix Generator for Implication Connectives: Release 2.1 notes and guide, TR-ARP-11-95, Technical Report, Automated Reasoning Project, Australian National University, 1995."},{"key":"323440_CR26","doi-asserted-by":"crossref","unstructured":"Urquhart, A.: Many-valued logic, in: D. Gabbay and F. Guenther (eds.), Handbook of Philosophical Logic, Vol. III, D. Reidel, 1986.","DOI":"10.1007\/978-94-009-5203-4_2"},{"issue":"3","key":"323440_CR27","doi-asserted-by":"crossref","first-page":"223","DOI":"10.1007\/BF00252178","volume":"16","author":"R. Veroff","year":"1996","unstructured":"Veroff, R.: Using hints to increase the effectiveness of an automated reasoning program: Case studies, J. Automated Reasoning\n16(3) (1996), 223-239.","journal-title":"J. Automated Reasoning"},{"key":"323440_CR28","unstructured":"Wajsberg, M.: Logical Works, Polish Academy of Sciences, 1997."},{"issue":"2","key":"323440_CR29","doi-asserted-by":"crossref","first-page":"133","DOI":"10.1016\/0898-1221(94)00220-F","volume":"29","author":"L. Wos","year":"1995","unstructured":"Wos, L.: The resonance strategy, Comput. Math. Appl.\n29(2) (1995), 133-178.","journal-title":"Comput. Math. Appl."},{"key":"323440_CR30","unstructured":"Wos, L.: The Automation of Reasoning: An Experimenter's Notebook with OTTER Tutorial, Academic Press, 1996."},{"key":"323440_CR31","series-title":"Technical Report","volume-title":"The application of automated reasoning to proof translation and to finding proofs with specified properties: A case study in many-valued sentential calculus","author":"L. Wos","year":"1991","unstructured":"Wos, L. and McCune, W.: The application of automated reasoning to proof translation and to finding proofs with specified properties: A case study in many-valued sentential calculus, Technical Report, Argonne National Laboratory, Argonne, IL, 1991."},{"key":"323440_CR32","doi-asserted-by":"crossref","unstructured":"Wos, L. and Pieper, G. W.: A Fascinating Country in the World of Computing: Your Guide to Automated Reasoning, World Scientific, 1999.","DOI":"10.1142\/9789812817952"}],"container-title":["Journal of Automated Reasoning"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1010687609134.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1023\/A:1010687609134\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1010687609134.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,5]],"date-time":"2025-06-05T11:35:23Z","timestamp":1749123323000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1023\/A:1010687609134"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2001,8]]},"references-count":32,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2001,8]]}},"alternative-id":["323440"],"URL":"https:\/\/doi.org\/10.1023\/a:1010687609134","relation":{},"ISSN":["0168-7433","1573-0670"],"issn-type":[{"type":"print","value":"0168-7433"},{"type":"electronic","value":"1573-0670"}],"subject":[],"published":{"date-parts":[[2001,8]]}}}