{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,1,30]],"date-time":"2024-01-30T21:10:36Z","timestamp":1706649036934},"reference-count":14,"publisher":"Duke University Press","issue":"2","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Notre Dame J. Formal Logic"],"published-print":{"date-parts":[[2013,1,1]]},"DOI":"10.1215\/00294527-1960470","type":"journal-article","created":{"date-parts":[[2013,2,21]],"date-time":"2013-02-21T13:56:35Z","timestamp":1361454995000},"source":"Crossref","is-referenced-by-count":7,"title":["Lattices of Theories in Languages without Equality"],"prefix":"10.1215","volume":"54","author":[{"given":"J. B.","family":"Nation","sequence":"first","affiliation":[]}],"member":"73","reference":[{"key":"1","doi-asserted-by":"crossref","unstructured":"[1] Adaricheva, K., and J. B. Nation, \u201cLattices of quasi-equational theories as congruence lattices of semilattices with operators, I,\u201d <i>International Journal of Algebra and Computation<\/i>, vol. 22, no. 7(2012), 27 pp. \u201cII,\u201d <i>International Journal of Algebra and Computation<\/i>, vol. 22, no. 7(2012), 19 pp.","DOI":"10.1142\/S021819671250066X"},{"key":"2","unstructured":"[2] Blok, W. J., and D. Pigozzi, \u201cAlgebraic semantics for universal Horn logic without equality,\u201d pp. 1\u201356 in <i>Universal Algebra and Quasigroup Theory (Jadwisin, Poland, 1989)<\/i>, vol. 19 of <i>Research and Exposition in Mathematics<\/i>, Heldermann, Berlin, 1992."},{"key":"3","doi-asserted-by":"publisher","unstructured":"[3] Christie, A., Q. Wang, and S. L. Wismath, \u201cThe inflation class operator,\u201d <i>Algebra Universalis<\/i>, vol. 56 (2007), pp. 107\u201318.","DOI":"10.1007\/s00012-006-1988-7"},{"key":"4","unstructured":"[4] Church, A., <i>Introduction to Mathematical Logic<\/i>, reprint of the 2nd (1956) edition, Princeton University Press, Princeton, 1996."},{"key":"5","doi-asserted-by":"crossref","unstructured":"[5] Czelakowski, J., <i>Protoalgebraic Logics<\/i>, vol. 10 of <i>Trends in Logic\u2014Studia Logica Library<\/i>, Kluwer, Dordrecht, 2001.","DOI":"10.1007\/978-94-017-2807-2"},{"key":"6","doi-asserted-by":"publisher","unstructured":"[6] Elgueta, R., \u201cCharacterizing classes defined without equality,\u201d <i>Studia Logica<\/i>, vol. 58 (1997), pp. 357\u201394.","DOI":"10.1023\/A:1004978316495"},{"key":"7","unstructured":"[7] Gorbunov, V. A., <i>Algebraic Theory of Quasivarieties<\/i>, translated from the Russian, Siberian School of Algebra and Logic, Consultants Bureau, New York, 1998."},{"key":"8","unstructured":"[8] Holmes, T., D. Kitsuwa, J. B. Nation, and S. Tamagawa, \u201cLattices of atomic theories in a language without equality,\u201d preprint, 2009."},{"key":"9","doi-asserted-by":"publisher","unstructured":"[9] Lampe, W. A., \u201cA property of the lattice of equational theories,\u201d <i>Algebra Universalis<\/i>, vol. 23 (1986), pp. 61\u201369.","DOI":"10.1007\/BF01190912"},{"key":"10","doi-asserted-by":"publisher","unstructured":"[10] Lampe, W. A., \u201cFurther properties of lattices of equational theories,\u201d <i>Algebra Universalis<\/i>, vol. 28 (1991), pp. 459\u201386.","DOI":"10.1007\/BF01195857"},{"key":"11","doi-asserted-by":"publisher","unstructured":"[11] McKenzie, R., \u201cFinite forbidden lattices,\u201d pp. 176\u2013205 in <i>Universal Algebra and Lattice Theory (Puebla, Mexico, 1982)<\/i>, vol. 1004 of <i>Lecture Notes in Mathematics<\/i>, Springer, Berlin, 1983.","DOI":"10.1007\/BFb0063438"},{"key":"12","unstructured":"[12] Monk, J. D., <i>Mathematical Logic<\/i>, vol. 37 of <i>Graduate Texts in Mathematics<\/i>, Springer, New York, 1976."},{"key":"13","doi-asserted-by":"publisher","unstructured":"[13] Newrly, N., \u201cLattices of equational theories are congruence lattices of monoids with one additional unary operation,\u201d <i>Algebra Universalis<\/i>, vol. 30 (1993), pp. 217\u201320.","DOI":"10.1007\/BF01196092"},{"key":"14","doi-asserted-by":"publisher","unstructured":"[14] Nurakunov, A. M., \u201cEquational theories as congruences of enriched monoids,\u201d <i>Algebra Universalis<\/i>, vol. 58 (2008), pp. 357\u201372.","DOI":"10.1007\/s00012-008-2080-2"}],"container-title":["Notre Dame Journal of Formal Logic"],"original-title":[],"link":[{"URL":"https:\/\/projecteuclid.org\/journalArticle\/Download?urlid=10.1215\/00294527-1960470","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,1,30]],"date-time":"2024-01-30T20:58:04Z","timestamp":1706648284000},"score":1,"resource":{"primary":{"URL":"https:\/\/projecteuclid.org\/journals\/notre-dame-journal-of-formal-logic\/volume-54\/issue-2\/Lattices-of-Theories-in-Languages-without-Equality\/10.1215\/00294527-1960470.full"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,1,1]]},"references-count":14,"journal-issue":{"issue":"2","published-online":{"date-parts":[[2013,1,1]]}},"URL":"https:\/\/doi.org\/10.1215\/00294527-1960470","relation":{},"ISSN":["0029-4527"],"issn-type":[{"value":"0029-4527","type":"print"}],"subject":[],"published":{"date-parts":[[2013,1,1]]}}}