{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,4,24]],"date-time":"2024-04-24T11:40:07Z","timestamp":1713958807671},"reference-count":11,"publisher":"Duke University Press","issue":"1","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Notre Dame J. Formal Logic"],"published-print":{"date-parts":[[2012,1,1]]},"DOI":"10.1215\/00294527-1626554","type":"journal-article","created":{"date-parts":[[2012,5,9]],"date-time":"2012-05-09T17:57:44Z","timestamp":1336586264000},"source":"Crossref","is-referenced-by-count":8,"title":["Notes on the Model Theory of DeMorgan Logics"],"prefix":"10.1215","volume":"53","author":[{"given":"Thomas Macaulay","family":"Ferguson","sequence":"first","affiliation":[]}],"member":"73","reference":[{"key":"1","doi-asserted-by":"publisher","unstructured":"Dunn, J. M., \"A theorem in $3$-valued model theory with connections to number theory, type theory, and relevant logic\", <i>Studia Logica<\/i>, vol. 38 (1979), pp. 149\u201369.","DOI":"10.1007\/BF00370439"},{"key":"2","doi-asserted-by":"crossref","unstructured":"Field, H., <i>Saving Truth from Paradox<\/i>, Oxford University Press, Oxford, 2008.","DOI":"10.1093\/acprof:oso\/9780199230747.001.0001"},{"key":"3","unstructured":"Mortensen, C., <i>Inconsistent Mathematics<\/i>, vol. 312 of <i>Mathematics and its Applications<\/i>, Kluwer Academic Publishers Group, Dordrecht, 1995."},{"key":"4","doi-asserted-by":"publisher","unstructured":"Paris, J. B., and N. Pathmanathan, \"A note on Priest's finite inconsistent arithmetics\", <i>Journal of Philosophical Logic<\/i>, vol. 35 (2006), pp. 529\u201337.","DOI":"10.1007\/s10992-006-9031-1"},{"key":"5","doi-asserted-by":"publisher","unstructured":"Priest, G., \"Minimally inconsistent LP\", <i>Studia Logica<\/i>, vol. 50 (1991), pp. 321\u201331.","DOI":"10.1007\/BF00370190"},{"key":"6","doi-asserted-by":"publisher","unstructured":"Priest, G., \"Inconsistent models of arithmetic. I. Finite models\", <i>Journal of Philosophical Logic<\/i>, vol. 26 (1997), pp. 223\u201335.","DOI":"10.1023\/A:1004251506208"},{"key":"7","doi-asserted-by":"publisher","unstructured":"Priest, G., \"Inconsistent models of arithmetic. II\". The general case, <i>The Journal of Symbolic Logic<\/i>, vol. 65 (2000), pp. 1519\u201329.","DOI":"10.2307\/2695062"},{"key":"8","unstructured":"Priest, G., <i>An Introduction to Non-classical Logic. From If to Is<\/i>, 2d edition, Cambridge Introductions to Philosophy. Cambridge University Press, Cambridge, 2008."},{"key":"9","doi-asserted-by":"crossref","unstructured":"Quine, W. V. O., <i>Philosophy of Logic<\/i>, 2d edition, Harvard University Press, Cambridge, 1986.","DOI":"10.4159\/9780674042445"},{"key":"10","unstructured":"Rothmaler, P., <i>Introduction to Model Theory<\/i>, vol. 15 of <i>Algebra, Logic and Applications<\/i>, Taylor and Francis, New York, 2000."},{"key":"11","doi-asserted-by":"crossref","unstructured":"Schoutens, H., <i>The use of ultraproducts in commutative algebra<\/i>, vol. 1999 of <i>Lecture Notes in Mathematics<\/i>, Springer-Verlag, Berlin, 2010.","DOI":"10.1007\/978-3-642-13368-8"}],"container-title":["Notre Dame Journal of Formal Logic"],"original-title":[],"link":[{"URL":"https:\/\/projecteuclid.org\/journalArticle\/Download?urlid=10.1215\/00294527-1626554","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,4,24]],"date-time":"2024-04-24T11:19:19Z","timestamp":1713957559000},"score":1,"resource":{"primary":{"URL":"https:\/\/projecteuclid.org\/journals\/notre-dame-journal-of-formal-logic\/volume-53\/issue-1\/Notes-on-the-Model-Theory-of-DeMorgan-Logics\/10.1215\/00294527-1626554.full"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012,1,1]]},"references-count":11,"journal-issue":{"issue":"1","published-online":{"date-parts":[[2012,1,1]]}},"URL":"https:\/\/doi.org\/10.1215\/00294527-1626554","relation":{},"ISSN":["0029-4527"],"issn-type":[{"value":"0029-4527","type":"print"}],"subject":[],"published":{"date-parts":[[2012,1,1]]}}}