{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,1,30]],"date-time":"2024-01-30T21:40:03Z","timestamp":1706650803338},"reference-count":15,"publisher":"Duke University Press","issue":"3","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Notre Dame J. Formal Logic"],"published-print":{"date-parts":[[1998,7,1]]},"DOI":"10.1305\/ndjfl\/1039182255","type":"journal-article","created":{"date-parts":[[2003,2,25]],"date-time":"2003-02-25T20:44:03Z","timestamp":1046205843000},"source":"Crossref","is-referenced-by-count":7,"title":["Homeomorphism and the Equivalence of Logical Systems"],"prefix":"10.1215","volume":"39","author":[{"given":"Stephen","family":"Pollard","sequence":"first","affiliation":[]}],"member":"73","reference":[{"key":"1","doi-asserted-by":"crossref","unstructured":"Belnap, N. D., \u201cTonk, plonk, and plink,\u201d Analysis<\/i>, vol. 22 (1962), pp. 130\u201334.","DOI":"10.1093\/analys\/22.6.130"},{"key":"2","unstructured":"Birkhoff, G., Lattice Theory<\/i>, American Mathematical Society Colloquium Publications, vol. 25, Providence, 1967. Zbl 0153.02501 MR 37:2638"},{"key":"3","unstructured":"Cleave, J. P., A Study of Logics<\/i>, Oxford University Press, Oxford, 1991. Zbl 0763.03003 MR 93c:03001"},{"key":"4","unstructured":"Cohn, P. M., Universal Algebra<\/i>, Harper and Row, New York, 1965. Zbl 0141.01002 MR 31:224"},{"key":"5","doi-asserted-by":"crossref","unstructured":"Koslow, A., A Structuralist Theory of Logic<\/i>, Cambridge University Press, Cambridge, 1992. Zbl 0813.03001 MR 93i:03003","DOI":"10.1017\/CBO9780511609206"},{"key":"6","doi-asserted-by":"publisher","unstructured":"Makinson, D., \u201cA warning about the choice of primitive operators in modal logic,\u201d Journal of Philosophical Logic<\/i>, vol. 2 (1973), pp. 193\u201396. Zbl 0266.02016 MR 54:2424","DOI":"10.1007\/BF00263357"},{"key":"7","unstructured":"Martin, N. M., Systems of Logic<\/i>, Cambridge University Press, Cambridge, 1989. Zbl 0752.03001 MR 91c:03001"},{"key":"8","doi-asserted-by":"crossref","unstructured":"Martin, N. M., and S. Pollard, Closure Spaces and Logic<\/i>, Kluwer Academic Publishers, Dordrecht, 1996. Zbl 0855.54001 MR 97m:03022","DOI":"10.1007\/978-1-4757-2506-3"},{"key":"9","doi-asserted-by":"crossref","unstructured":"Moore, E. H., Introduction to a Form of General Analysis<\/i>, American Mathematical Society Colloquium Publications, vol. 2, New Haven, 1910.","DOI":"10.1090\/coll\/002\/01"},{"key":"10","unstructured":"Pelletier, F. J., \u201cSix problems in `translational equivalence',\u201d Logique et Analyse<\/i>, vol. 27 (1984), pp. 423\u201334. Zbl 0589.03006 MR 86j:03015"},{"key":"11","doi-asserted-by":"crossref","unstructured":"Pollard, S., and N. M. Martin, \u201cClosed bases and closure logic,\u201d The Monist<\/i>, vol. 79 (1996), pp. 117\u201327.","DOI":"10.5840\/monist199679111"},{"key":"12","unstructured":"Post, E. L., The Two-Valued Iterative Systems of Mathematical Logic<\/i>, Princeton University Press, Princeton, 1941. Zbl 0063.06326 MR 2,337a"},{"key":"13","unstructured":"Segerberg, K., Classical Propositional Operators<\/i>, Oxford University Press, Oxford, 1982. Zbl 0491.03003 MR 83i:03001"},{"key":"14","doi-asserted-by":"crossref","unstructured":"Tarski, A., \u201cFundamentale begriffe der methodologie der deduktiven wissenschaften I,\u201d Monatshefte f\u00fcr Mathematik und Physik<\/i>, vol. 37 (1930), pp. 361\u2013404.","DOI":"10.1007\/BF01696782"},{"key":"15","doi-asserted-by":"crossref","unstructured":"W\u00f3jcicki, R., Theory of Logical Calculi<\/i>, Kluwer Academic Publishers, Dordrecht, 1988. MR 90j:03001","DOI":"10.1007\/978-94-015-6942-2"}],"container-title":["Notre Dame Journal of Formal Logic"],"original-title":[],"link":[{"URL":"https:\/\/projecteuclid.org\/journalArticle\/Download?urlid=10.1305\/ndjfl\/1039182255","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,1,30]],"date-time":"2024-01-30T21:13:27Z","timestamp":1706649207000},"score":1,"resource":{"primary":{"URL":"https:\/\/projecteuclid.org\/journals\/notre-dame-journal-of-formal-logic\/volume-39\/issue-3\/Homeomorphism-and-the-Equivalence-of-Logical-Systems\/10.1305\/ndjfl\/1039182255.full"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1998,7,1]]},"references-count":15,"journal-issue":{"issue":"3","published-online":{"date-parts":[[1998,7,1]]}},"URL":"https:\/\/doi.org\/10.1305\/ndjfl\/1039182255","relation":{},"ISSN":["0029-4527"],"issn-type":[{"value":"0029-4527","type":"print"}],"subject":[],"published":{"date-parts":[[1998,7,1]]}}}