{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,1,30]],"date-time":"2024-01-30T21:10:03Z","timestamp":1706649003407},"reference-count":24,"publisher":"Duke University Press","issue":"3","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Notre Dame J. Formal Logic"],"published-print":{"date-parts":[[2002,7,1]]},"DOI":"10.1305\/ndjfl\/1074290715","type":"journal-article","created":{"date-parts":[[2004,1,19]],"date-time":"2004-01-19T15:26:47Z","timestamp":1074526007000},"source":"Crossref","is-referenced-by-count":7,"title":["Shortest Axiomatizations of Implicational S4 and S5"],"prefix":"10.1215","volume":"43","author":[{"given":"Zachary","family":"Ernst","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Branden","family":"Fitelson","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Kenneth","family":"Harris","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Larry","family":"Wos","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"73","reference":[{"key":"1","doi-asserted-by":"publisher","unstructured":"Anderson, A. R., and N. D. Belnap, \"The pure calculus of entailment\", <i>The Journal of S<\/i>ymbolic Logic, vol. 27 (1962), pp. 19\u201352.","DOI":"10.2307\/2963676"},{"key":"2","unstructured":"Anderson, A. R., and N. D. Belnap, <i>Entailment. V<\/i>olume I. The Logic of Relevance and Necessity, Princeton University Press, Princeton, 1975."},{"key":"3","doi-asserted-by":"publisher","unstructured":"Curry, H. B., \"Review of H\"acking's `What is strict implication?', 1963.","DOI":"10.2307\/2271336"},{"key":"4","unstructured":"Ernst, Z., B. Fitelson, K. Harris, and L. Wos, \"A concise axiomatization of $\\mathit{RM}_{\\rightarrow}$\", <i>University of \\L\u00f3<\/i>dz. Department of Logic. Bulletin of the Section of Logic, vol. 30 (2001), pp. 191\u201394."},{"key":"5","doi-asserted-by":"publisher","unstructured":"Hacking, I., \u201cWhat is strict implication?\u201d <i>The Journal of S<\/i>ymbolic Logic, vol. 28 (1963), pp. 51\u201371.","DOI":"10.2307\/2271336"},{"key":"6","doi-asserted-by":"publisher","unstructured":"Kalman, J. A., \"Condensed detachment as a rule of inference\", <i>Studia L<\/i>ogica, vol. 42 (1983), pp. 443\u201351 (1984).","DOI":"10.1007\/BF01371632"},{"key":"7","doi-asserted-by":"crossref","unstructured":"Kripke, S., \"The problem of entailment\", <i>The Journal of S<\/i>ymbolic Logic, vol. 24 (1959), p. 324.","DOI":"10.2307\/2964568"},{"key":"8","unstructured":"Lemmon, E. J., C. A. Meredith, D. Meredith, A. N. Prior, and I. Thomas, <i>Calculi of P<\/i>ure Strict Implication, Canterbury University College, Christchurch, 1957."},{"key":"9","doi-asserted-by":"crossref","unstructured":"McCune, W., \" Otter\" 3.0 Reference Manual and Guide\", Technical Report ANL-94\/6, Argonne National Laboratory, Argonne, IL, 1994.","DOI":"10.2172\/10129052"},{"key":"10","doi-asserted-by":"publisher","unstructured":"McCune, W., R. Veroff, and R. Padmanabhan, \"Yet another single law for lattices\". forthcoming in <i>Algebra Universalis<\/i>.","DOI":"10.1007\/s00012-003-1832-2"},{"key":"11","doi-asserted-by":"publisher","unstructured":"Meredith, C. A., and A. N. Prior, \"Investigations into implicational <b>S<\/b>5\", <i>Zeitschrift f\u00fcr mathematische L<\/i>ogik und Grundlagen der Mathematik, vol. 10 (1964), pp. 203\u201320.","DOI":"10.1002\/malq.19640101305"},{"key":"12","doi-asserted-by":"publisher","unstructured":"Meyer, R. K., and R. Z. Parks, \"Independent axioms for the implicational fragment of S\"oboci\u0144ski's three-valued logic, <i>Zeitschrift f\u00fcr mathematische L<\/i>ogik Grundlagen Mathematik, vol. 18 (1972), pp. 291\u201395.","DOI":"10.1002\/malq.19720181903"},{"key":"13","doi-asserted-by":"publisher","unstructured":"Parks, R. Z., \"A note on R\"-Mingle and Soboci\\' nski's three-valued logic, <i>Notre D<\/i>ame Journal of Formal Logic, vol. 13 (1972), pp. 227\u201328.","DOI":"10.1305\/ndjfl\/1093894720"},{"key":"14","unstructured":"Prior, A. N., <i>Formal L<\/i>ogic, Clarendon Press, Oxford, 1962."},{"key":"15","unstructured":"Slaney, J., \" MaGIC\": Matrix Generator for Implication Connectives\", Technical Report TR-ARP-11-95, Research School of Information Science and Engineer and Centre for Information Science Research, Australian National University, 1995."},{"key":"16","doi-asserted-by":"publisher","unstructured":"Ulrich, D., \"Strict implication in a sequence of extensions of <b>S<\/b>4\", <i>Zeitschrift f\u00fcr mathematische L<\/i>ogik und Grundlagen der Mathematik, vol. 27 (1981), pp. 201\u201312.","DOI":"10.1002\/malq.19810271304"},{"key":"17","doi-asserted-by":"publisher","unstructured":"Veroff, R., \"Using hints to increase the effectiveness of an automated reasoning program: C\"ase studies, <i>Journal of A<\/i>utomated Reasoning, vol. 16 (1996), pp. 223\u201339.","DOI":"10.1007\/BF00252178"},{"key":"18","doi-asserted-by":"publisher","unstructured":"Wos, L., \"The resonance strategy\", <i>Computers &amp; M<\/i>athematics with Applications. An International Journal, vol. 29 (1995), pp. 133\u201378.","DOI":"10.1016\/0898-1221(94)00220-F"},{"key":"19","doi-asserted-by":"publisher","unstructured":"Wos, L., \"Searching for circles of pure proofs\", <i>Journal of A<\/i>utomated Reasoning, vol. 15 (1995), pp. 279\u2013315.","DOI":"10.1007\/BF00881802"},{"key":"20","doi-asserted-by":"publisher","unstructured":"Wos, L., \" Otter\" and the Moufang identity problem\", <i>Journal of A<\/i>utomated Reasoning, vol. 17 (1996), pp. 215\u201357.","DOI":"10.1007\/BF00247668"},{"key":"21","doi-asserted-by":"publisher","unstructured":"Wos, L., \"The strategy of cramming\", preprint ANL\/MCS-P898-0801, Argonne National Laboratory, Argonne, 2001.","DOI":"10.1023\/A:1023278717096"},{"key":"22","doi-asserted-by":"crossref","unstructured":"Wos, L., and G. W. Pieper, <i>A F<\/i>ascinating Country in the World of Computing: Your Guide to Automated Reasoning, World Scientific Publishing Company, 2000.","DOI":"10.1142\/4132"},{"key":"23","unstructured":"Wos, L., and G. W. Pieper, <i>Automated R<\/i>easoning and the Discovery of Missing and Elegant Proofs, Rinton Press, forthcoming."},{"key":"24","unstructured":"Zhang, J., and H. Zhang, \"S\"EM: A System for Enumerating Models\", <i>Proceedings of the 14th International Joint Conference on Artificial Intelligence (IJCAI-95)<\/i>, (1995), pp. 298\u2013303."}],"container-title":["Notre Dame Journal of Formal Logic"],"original-title":[],"link":[{"URL":"https:\/\/projecteuclid.org\/journalArticle\/Download?urlid=10.1305\/ndjfl\/1074290715","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,1,30]],"date-time":"2024-01-30T20:55:56Z","timestamp":1706648156000},"score":1,"resource":{"primary":{"URL":"https:\/\/projecteuclid.org\/journals\/notre-dame-journal-of-formal-logic\/volume-43\/issue-3\/Shortest-Axiomatizations-of-Implicational-S4-and-S5\/10.1305\/ndjfl\/1074290715.full"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2002,7,1]]},"references-count":24,"journal-issue":{"issue":"3","published-online":{"date-parts":[[2002,7,1]]}},"URL":"https:\/\/doi.org\/10.1305\/ndjfl\/1074290715","relation":{},"ISSN":["0029-4527"],"issn-type":[{"value":"0029-4527","type":"print"}],"subject":[],"published":{"date-parts":[[2002,7,1]]}}}