{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,5]],"date-time":"2026-03-05T13:15:15Z","timestamp":1772716515351,"version":"3.50.1"},"reference-count":8,"publisher":"Duke University Press","issue":"1","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Notre Dame J. Formal Logic"],"published-print":{"date-parts":[[1998,1,1]]},"DOI":"10.1305\/ndjfl\/1039293019","type":"journal-article","created":{"date-parts":[[2003,2,25]],"date-time":"2003-02-25T20:45:12Z","timestamp":1046205912000},"source":"Crossref","is-referenced-by-count":38,"title":["Basic Predicate Calculus"],"prefix":"10.1215","volume":"39","author":[{"given":"Wim","family":"Ruitenburg","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"73","reference":[{"key":"1","doi-asserted-by":"publisher","unstructured":"Ardeshir, M., and W. Ruitenburg, <i>Basic Propositional Calculus I<\/i>, TR 418, Marquette University, Milwaukee, 1995. Forthcoming in <i>Mathematical Logic Quarterly<\/i>. Zbl 0912.03005 MR 2000a:03016","DOI":"10.1002\/malq.19980440304"},{"key":"2","unstructured":"Ardeshir, M., <i>Aspects of Basic Logic<\/i>, Ph.D. thesis, Marquette University, Milwaukee, 1995."},{"key":"3","doi-asserted-by":"crossref","unstructured":"Heyting, A., <i>Die formalen Regeln der intuitionistischen Logik<\/i>, Verlag der Akademie der Wissenschaften, Berlin, 1930.","DOI":"10.1515\/9783486762990-008"},{"key":"4","doi-asserted-by":"crossref","unstructured":"Heyting, A., <i>Die formalen Regeln der intuitionistischen Mathematik<\/i>, Verlag der Akademie der Wissenschaften, Berlin, 1930.","DOI":"10.1515\/9783486762990-008"},{"key":"5","unstructured":"Ruitenburg, W., \u201cConstructive logic and the paradoxes,\u201d <i>Modern Logic<\/i>, vol. 1 (1991), pp. 271\u2013301. Zbl 0748.03037 MR 92g:03011"},{"key":"6","unstructured":"Ruitenburg, W., \u201cBasic logic and Fregean set theory,\u201d pp. 121\u201342 in <i>Dirk van Dalen Festschrift<\/i>, Quaestiones Infinitae, vol. 5, edited by H. Barendregt, M. Bezem, and J. W. Klop, Utrecht University, Utrecht, 1993."},{"key":"7","unstructured":"Scott, D., \u201cIdentity and existence in intuitionistic logic,\u201d pp. 660\u201396 in <i>Applications of Sheaves<\/i>, Lecture Notes in Mathematics, 753, edited by M. P. Fourman, C. J. Mulvey, and D. S. Scott, Springer-Verlag, Berlin, 1979. Zbl 0418.03016 MR 81a:03060"},{"key":"8","doi-asserted-by":"crossref","unstructured":"Visser, A., \u201cA propositional logic with explicit fixed points,\u201d <i>Studia Logica<\/i>, vol. 40 (1981), pp. 155\u201375. Zbl 0469.03012 MR 83h:03039","DOI":"10.1007\/BF01874706"}],"container-title":["Notre Dame Journal of Formal Logic"],"original-title":[],"link":[{"URL":"https:\/\/projecteuclid.org\/journalArticle\/Download?urlid=10.1305\/ndjfl\/1039293019","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,1,30]],"date-time":"2024-01-30T21:13:16Z","timestamp":1706649196000},"score":1,"resource":{"primary":{"URL":"https:\/\/projecteuclid.org\/journals\/notre-dame-journal-of-formal-logic\/volume-39\/issue-1\/Basic-Predicate-Calculus\/10.1305\/ndjfl\/1039293019.full"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1998,1,1]]},"references-count":8,"journal-issue":{"issue":"1","published-online":{"date-parts":[[1998,1,1]]}},"URL":"https:\/\/doi.org\/10.1305\/ndjfl\/1039293019","relation":{},"ISSN":["0029-4527"],"issn-type":[{"value":"0029-4527","type":"print"}],"subject":[],"published":{"date-parts":[[1998,1,1]]}}}