{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,25]],"date-time":"2026-03-25T15:40:07Z","timestamp":1774453207185,"version":"3.50.1"},"reference-count":18,"publisher":"Duke University Press","issue":"4","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Notre Dame J. Formal Logic"],"published-print":{"date-parts":[[2001,10,1]]},"DOI":"10.1305\/ndjfl\/1063372244","type":"journal-article","created":{"date-parts":[[2003,9,12]],"date-time":"2003-09-12T18:57:33Z","timestamp":1063393053000},"source":"Crossref","is-referenced-by-count":40,"title":["A Closer Look at Some Subintuitionistic Logics"],"prefix":"10.1215","volume":"42","author":[{"given":"Sergio","family":"Celani","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ramon","family":"Jansana","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"73","reference":[{"key":"1","doi-asserted-by":"crossref","unstructured":"[1] Ardeshir, M., and W. Ruitenburg, ``Basic propositional calculus I,'' <i>Mathematical Logic Quarterly<\/i>, vol. 44 (1998), pp. 317--43.","DOI":"10.1002\/malq.19980440304"},{"key":"2","doi-asserted-by":"crossref","unstructured":"[2] Ardeshir, M., and W. Ruitenburg, \\mbox``Basic propositional calculus II. Interpolation,'' <i>Archive for Mathematical Logic<\/i>, vol. 40 (2001), pp. 349--64.","DOI":"10.1007\/PL00003844"},{"key":"3","doi-asserted-by":"crossref","unstructured":"[3] Blok, W. J., and D. Pigozzi, <i>Algebraizable Logics<\/i>, vol. 77, Memoirs of the American Mathematical Society, American Mathematical Society, 1989.","DOI":"10.1090\/memo\/0396"},{"key":"4","doi-asserted-by":"crossref","unstructured":"[4] Corsi, G., \"Weak logics with strict implication\", <i>Zeitschrift f\u00fcr mathematische Logik und Grundlagen der Mathematik<\/i>, vol. 33 (1987), pp. 389--406.","DOI":"10.1002\/malq.19870330503"},{"key":"5","doi-asserted-by":"crossref","unstructured":"[5] Czelakowski, J., <i>Protoalgebraic Logics<\/i>, Kluwer Academic Publishers, Dordrecht, 2001.","DOI":"10.1007\/978-94-017-2807-2"},{"key":"6","doi-asserted-by":"crossref","unstructured":"[6] Do\u0161en, K., \"Modal translations in $\\bf K$\" and $\\bf D$, pp. 103--27 in <i>Diamonds and Defaults<\/i>, edited by M. de Rijke, Kluwer Academic Publishers, Dordrecht, 1993.","DOI":"10.1007\/978-94-015-8242-1_4"},{"key":"7","doi-asserted-by":"publisher","unstructured":"[7] Epstein, G., and A. Horn, \"Logics which are characterized by subresiduated lattices\", <i>Zeitschrift f\u00fcr mathematische Logik und Grundlagen der Mathematik<\/i>, vol. 22 (1976), pp. 199--210.","DOI":"10.1002\/malq.19760220128"},{"key":"8","doi-asserted-by":"publisher","unstructured":"[8] Hacking, I., ``What is strict implication?'' <i>The Journal of Symbolic Logic<\/i>, vol. 28 (1963), pp. 51--71.","DOI":"10.2307\/2271336"},{"key":"9","unstructured":"[9] Rasiowa, H., <i>An Algebraic Approach to Non-Classical Logics<\/i>, North-Holland Publishing Company, Amsterdam, 1974."},{"key":"10","doi-asserted-by":"publisher","unstructured":"[10] Restall, G., \"Subintuitionistic logics\", <i>Notre Dame Journal of Formal Logic<\/i>, vol. 35 (1994), pp. 116--29.","DOI":"10.1305\/ndjfl\/1040609299"},{"key":"11","unstructured":"[11] Ruitenburg, W., \"Constructive logic and the paradoxes\", <i>Modern Logic<\/i>, vol. 1 (1991), pp. 271--301."},{"key":"12","doi-asserted-by":"publisher","unstructured":"[12] Ruitenburg, W., \"Basic logic, K4, and persistence\", <i>Studia Logica<\/i>, vol. 63 (1999), pp. 343--52.","DOI":"10.1023\/A:1005298819843"},{"key":"15","doi-asserted-by":"publisher","unstructured":"[15] Suzuki, Y., F. Wolter, and M. Zakharyaschev, \"Speaking about transitive frames in propositional languages\", <i>Journal of Logic, Language and Information<\/i>, vol. 7 (1998), pp. 317--39.","DOI":"10.1023\/A:1008237600846"},{"key":"17","doi-asserted-by":"crossref","unstructured":"[17] Visser, A., \"A propositional logic with explicit fixed points\", <i>Studia Logica<\/i>, vol. 40 (1981), pp. 155--75.","DOI":"10.1007\/BF01874706"},{"key":"18","doi-asserted-by":"crossref","unstructured":"[18] Wansing, H., \"Displaying as temporalizing: Sequent systems for subintuitionistic logics\", pp. 159--78 in <i>Logic, Language and Computation<\/i>, Kluwer Academic Publishers, Dordrecht, 1997.","DOI":"10.1007\/978-94-011-5638-7_8"},{"key":"13","unstructured":"[13] Sazaki, K., \"Formalization for the consequence relation of Visser's propositional logic\", <i>Reports on Mathematical Logic<\/i>, vol. 33 (1999), pp. 65--78."},{"key":"14","unstructured":"[14] Suzuki, Y., <i>Non-normal propositional languages on transitive frames and their embeddings<\/i>, Ph.D. thesis, JAIST, Ishikawa, 1999."},{"key":"16","unstructured":"[16] Visser, A., <i>Aspects of Diagonalization and Provability<\/i>, Ph.D. thesis, University of Utrecht, Utrecht, 1981."}],"container-title":["Notre Dame Journal of Formal Logic"],"original-title":[],"link":[{"URL":"https:\/\/projecteuclid.org\/journalArticle\/Download?urlid=10.1305\/ndjfl\/1063372244","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,1,30]],"date-time":"2024-01-30T20:55:51Z","timestamp":1706648151000},"score":1,"resource":{"primary":{"URL":"https:\/\/projecteuclid.org\/journals\/notre-dame-journal-of-formal-logic\/volume-42\/issue-4\/A-Closer-Look-at-Some-Subintuitionistic-Logics\/10.1305\/ndjfl\/1063372244.full"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2001,10,1]]},"references-count":18,"journal-issue":{"issue":"4","published-online":{"date-parts":[[2001,10,1]]}},"URL":"https:\/\/doi.org\/10.1305\/ndjfl\/1063372244","relation":{},"ISSN":["0029-4527"],"issn-type":[{"value":"0029-4527","type":"print"}],"subject":[],"published":{"date-parts":[[2001,10,1]]}}}