{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,6,8]],"date-time":"2024-06-08T14:10:17Z","timestamp":1717855817217},"reference-count":16,"publisher":"Duke University Press","issue":"2","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Notre Dame J. Formal Logic"],"published-print":{"date-parts":[[2015,1,1]]},"DOI":"10.1215\/00294527-2864325","type":"journal-article","created":{"date-parts":[[2015,4,17]],"date-time":"2015-04-17T13:29:23Z","timestamp":1429277363000},"source":"Crossref","is-referenced-by-count":1,"title":["Generalizations of the Weak Law of the Excluded Middle"],"prefix":"10.1215","volume":"56","author":[{"given":"Andrea","family":"Sorbi","sequence":"first","affiliation":[]},{"given":"Sebastiaan A.","family":"Terwijn","sequence":"additional","affiliation":[]}],"member":"73","reference":[{"key":"1","doi-asserted-by":"crossref","unstructured":"[1] Aigner, M., and G. M. Ziegler, <i>Proofs from The Book<\/i>, 3rd edition, Springer, Berlin, 2004.","DOI":"10.1007\/978-3-662-05412-3"},{"key":"2","unstructured":"[2] Balbes, R., and P. Dwinger, <i>Distributive Lattices<\/i>, University of Missouri Press, Columbia, Mo., 1974."},{"key":"3","unstructured":"[3] Brouwer, L. E. J., \u201cConsciousness, philosophy, and mathematics,\u201d pp. 1235\u201349 in <i>Library of the Tenth International Congress of Philosophy (Amsterdam, 1948)<\/i>, edited by E. Beth, H. Pos, and H. Hollak, publisher unknown, 1948."},{"key":"4","doi-asserted-by":"crossref","unstructured":"[4] Chagrov, A., and M. Zakharyaschev, <i>Modal Logic<\/i>, vol. 35 of <i>Oxford Logic Guides<\/i>, Oxford University Press, New York, 1997.","DOI":"10.1093\/oso\/9780198537793.001.0001"},{"key":"5","doi-asserted-by":"crossref","unstructured":"[5] Dummett, M. A. E., and E. J. Lemmon, \u201cModal logics between $S4$ and $S5$,\u201d <i>Zeitschrift f\u00fcr mathematische Logik und Grundlagen der Mathematik<\/i>, vol. 5 (1959), pp. 250\u201364.","DOI":"10.1002\/malq.19590051405"},{"key":"6","unstructured":"[6] Fitting, M. C., <i>Intuitionistic Logic, Model Theory and Forcing<\/i>, vol. 21 of <i>Studies in Logic and the Foundations of Mathematics<\/i>, North-Holland, Amsterdam, 1969."},{"key":"7","doi-asserted-by":"crossref","unstructured":"[7] Gabbay, D. M., <i>Semantical Investigations in Heyting\u2019s Intuitionistic Logic<\/i>, vol. 148 of <i>Synthese Library<\/i>, D. Reidel, Dordrecht, Boston, 1981.","DOI":"10.1007\/978-94-017-2977-2"},{"key":"8","doi-asserted-by":"publisher","unstructured":"[8] Harrop, R., \u201cOn the existence of finite models and decision procedures for propositional calculi,\u201d <i>Proceedings of the Cambridge Philosophical Society<\/i>, vol. 54 (1958), pp. 1\u201313.","DOI":"10.1017\/S0305004100033120"},{"key":"9","unstructured":"[9] Jankov, V. A., \u201cCalculus of the weak law of the excluded middle\u201d (in Russian), <i>Rossiiskaya Akademiya Nauk. Izvestiya Seriya Matematicheskaya<\/i>, vol. 32 (1968), pp. 1044\u201351."},{"key":"10","doi-asserted-by":"publisher","unstructured":"[10] Ono, H., \u201cKripke models and intermediate logics,\u201d <i>Publications of the Research Institute for Mathematical Sciences<\/i>, vol. 6 (1970\/71), pp. 461\u201376.","DOI":"10.2977\/prims\/1195193915"},{"key":"11","unstructured":"[11] Shafer, P., personal communication, May 2009."},{"key":"12","unstructured":"[12] Smorynski, C. A., <i>Investigations of intuitionistic formal systems by means of Kripke models<\/i>, Ph.D. dissertation, University of Illinois at Chicago, Chicago, 1973."},{"key":"13","doi-asserted-by":"publisher","unstructured":"[13] Sorbi, A., \u201cEmbedding Brouwer algebras in the Medvedev lattice,\u201d <i>Notre Dame Journal of Formal Logic<\/i>, vol. 32 (1991), pp. 266\u201375.","DOI":"10.1305\/ndjfl\/1093635751"},{"key":"14","doi-asserted-by":"crossref","unstructured":"[14] Sorbi, A., \u201cSome quotient lattices of the Medvedev lattice,\u201d <i>Mathematical Logic Quarterly<\/i>, vol. 37 (1991), pp. 167\u201382.","DOI":"10.1002\/malq.19910370905"},{"key":"15","doi-asserted-by":"publisher","unstructured":"[15] Sorbi, A., and S. A. Terwijn, \u201cIntermediate logics and factors of the Medvedev lattice,\u201d <i>Annals of Pure and Applied Logic<\/i>, vol. 155 (2008), pp. 69\u201386.","DOI":"10.1016\/j.apal.2008.03.002"},{"key":"16","doi-asserted-by":"publisher","unstructured":"[16] Sperner, E., \u201cEin Satz \u00fcber Untermengen einer endlichen Menge,\u201d <i>Mathematische Zeitschrift<\/i>, vol. 27 (1928), pp. 544\u20138.","DOI":"10.1007\/BF01171114"}],"container-title":["Notre Dame Journal of Formal Logic"],"original-title":[],"link":[{"URL":"https:\/\/projecteuclid.org\/journalArticle\/Download?urlid=10.1215\/00294527-2864325","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,6,8]],"date-time":"2024-06-08T13:04:38Z","timestamp":1717851878000},"score":1,"resource":{"primary":{"URL":"https:\/\/projecteuclid.org\/journals\/notre-dame-journal-of-formal-logic\/volume-56\/issue-2\/Generalizations-of-the-Weak-Law-of-the-Excluded-Middle\/10.1215\/00294527-2864325.full"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015,1,1]]},"references-count":16,"journal-issue":{"issue":"2","published-online":{"date-parts":[[2015,1,1]]}},"URL":"https:\/\/doi.org\/10.1215\/00294527-2864325","relation":{},"ISSN":["0029-4527"],"issn-type":[{"value":"0029-4527","type":"print"}],"subject":[],"published":{"date-parts":[[2015,1,1]]}}}