{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,25]],"date-time":"2026-03-25T10:55:32Z","timestamp":1774436132041,"version":"3.50.1"},"reference-count":17,"publisher":"Duke University Press","issue":"4","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Notre Dame J. Formal Logic"],"published-print":{"date-parts":[[2004,10,1]]},"DOI":"10.1305\/ndjfl\/1099238445","type":"journal-article","created":{"date-parts":[[2004,11,2]],"date-time":"2004-11-02T06:41:33Z","timestamp":1099377693000},"source":"Crossref","is-referenced-by-count":10,"title":["LK, LJ, Dual Intuitionistic Logic, and Quantum Logic"],"prefix":"10.1215","volume":"45","author":[{"given":"Hiroshi","family":"Aoyama","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"73","reference":[{"key":"3","unstructured":"[3] Cutland, N. J., and P. F. Gibbins, \"A regular sequent calculus for quantum logic in which $\\wedge$\" and $\\vee$ are dual, <i>Logique et Analyse. Nouvelle S\u00e9rie<\/i>, vol. 25 (1982), pp. 221--48."},{"key":"4","doi-asserted-by":"publisher","unstructured":"[4] Czermak, J., \"A remark on Gentzen's calculus of sequents\", <i>Notre Dame Journal of Formal Logic<\/i>, vol. 18 (1977), pp. 471--74.","DOI":"10.1305\/ndjfl\/1093888021"},{"key":"5","doi-asserted-by":"publisher","unstructured":"[5] Goldblatt, R. I., \"Semantic analysis of orthologic\", <i>Journal of Philosophical Logic<\/i>, vol. 3 (1974), pp. 19--35.","DOI":"10.1007\/BF00652069"},{"key":"6","doi-asserted-by":"crossref","unstructured":"[6] Goodman, N. D., \"The logic of contradiction\", <i>Zeitschrift f\u00fcr mathematische Logik und Grundlagen der Mathematik<\/i>, vol. 27 (1981), pp. 119--26.","DOI":"10.1002\/malq.19810270803"},{"key":"7","doi-asserted-by":"crossref","unstructured":"[7] Gor\u00e9, R., \"Dual intuitionistic logic revisited\", pp. 252--67 in <i>Automated Reasoning with Analytic Tableaux and Related Methods (St. Andrews, 2000)<\/i>, vol. 1847 of <i>Lecture Notes in Computer Science<\/i>, Springer, Berlin, 2000.","DOI":"10.1007\/10722086_21"},{"key":"8","doi-asserted-by":"crossref","unstructured":"[8] McKinsey, J. C. C., and A. Tarski, \"On closed elements in closure algebras\", <i>Annals of Mathematics (2)<\/i>, vol. 47 (1946), pp. 122--62.","DOI":"10.2307\/1969038"},{"key":"9","doi-asserted-by":"crossref","unstructured":"[9] Nishimura, H., \"Sequential method in quantum logic\", <i>The Journal of Symbolic Logic<\/i>, vol. 45 (1980), pp. 339--52.","DOI":"10.2307\/2273194"},{"key":"10","doi-asserted-by":"crossref","unstructured":"[10] Paoli, F., <i>Substructural Logics: A Primer<\/i>, vol. 13 of <i>Trends in Logic. Studia Logica Library<\/i>, Kluwer Academic Publishers, Dordrecht, 2002.","DOI":"10.1007\/978-94-017-3179-9"},{"key":"11","unstructured":"[11] Rauszer, C., \"An algebraic and Kripke-style approach to a certain extension of intuitionistic logic\", <i>Polska Akademia Nauk. Instytut Matematyczny. Dissertationes Mathematicae. Rozprawy Matematyczny<\/i>, vol. 167 (1980), p. 62."},{"key":"12","unstructured":"[12] Restall, G., <i>An Introduction to Substructural Logics<\/i>, Routledge, New York, 1999."},{"key":"13","doi-asserted-by":"crossref","unstructured":"[13] Sambin, G., G. Battilotti, and C. Faggian, \"Basic logic: Reflection, symmetry, visibility\", <i>The Journal of Symbolic Logic<\/i>, vol. 65 (2000), pp. 979--1013.","DOI":"10.2307\/2586685"},{"key":"14","doi-asserted-by":"crossref","unstructured":"[14] Schroeder-Heister, P., and K. Do\u0161en, editors, <i>Substructural Logics<\/i>, vol. 2 of <i>Studies in Logic and Computation<\/i>, The Clarendon Press, New York, 1993. Papers from the Seminar on Systems of Natural Languages held at the University of T\u00fcbingen, 1990.","DOI":"10.1093\/oso\/9780198537779.001.0001"},{"key":"15","doi-asserted-by":"crossref","unstructured":"[15] Takeuti, G., \"Quantum set theory\", pp. 303--22 in <i>Current Issues in Quantum Logic (Erice, 1979)<\/i>, vol. 8 of <i>Ettore Majorana International Science Series: Physical Sciences<\/i>, Plenum, New York, 1981.","DOI":"10.1007\/978-1-4613-3228-2_19"},{"key":"16","unstructured":"[16] Takeuti, G., <i>Proof Theory<\/i>, 2d edition, vol. 81 of <i>Studies in Logic and the Foundations of Mathematics<\/i>, North-Holland Publishing Co., Amsterdam, 1987."},{"key":"17","doi-asserted-by":"publisher","unstructured":"[17] Urbas, I., \"Dual-intuitionistic logic\", <i>Notre Dame Journal of Formal Logic<\/i>, vol. 37 (1996), pp. 440--51.","DOI":"10.1305\/ndjfl\/1039886520"},{"key":"1","unstructured":"[1] Aoyama, H., \"On a weak system of sequent calculus\", <i>Journal of Logical Philosophy<\/i>, vol. 2 (2003), pp. 29--37."},{"key":"2","doi-asserted-by":"crossref","unstructured":"[2] Chiara, M., and R. Giuntini, \"Quantum logics\", pp. 129--228 in <i>Handbook of Philosophical Logic<\/i>, 2d edition, edited by D. M. Gabbay and F. Guenthner, Kluwer Academic Publishers, Dordrecht, 2002.","DOI":"10.1007\/978-94-017-0460-1_2"}],"container-title":["Notre Dame Journal of Formal Logic"],"original-title":[],"link":[{"URL":"https:\/\/projecteuclid.org\/journalArticle\/Download?urlid=10.1305\/ndjfl\/1099238445","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,1,30]],"date-time":"2024-01-30T20:56:10Z","timestamp":1706648170000},"score":1,"resource":{"primary":{"URL":"https:\/\/projecteuclid.org\/journals\/notre-dame-journal-of-formal-logic\/volume-45\/issue-4\/LK-LJ-Dual-Intuitionistic-Logic-and-Quantum-Logic\/10.1305\/ndjfl\/1099238445.full"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004,10,1]]},"references-count":17,"journal-issue":{"issue":"4","published-online":{"date-parts":[[2004,10,1]]}},"URL":"https:\/\/doi.org\/10.1305\/ndjfl\/1099238445","relation":{},"ISSN":["0029-4527"],"issn-type":[{"value":"0029-4527","type":"print"}],"subject":[],"published":{"date-parts":[[2004,10,1]]}}}