{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,1,30]],"date-time":"2024-01-30T21:10:31Z","timestamp":1706649031516},"reference-count":25,"publisher":"Duke University Press","issue":"3","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Notre Dame J. Formal Logic"],"published-print":{"date-parts":[[2009,7,1]]},"DOI":"10.1215\/00294527-2009-012","type":"journal-article","created":{"date-parts":[[2009,11,10]],"date-time":"2009-11-10T14:07:39Z","timestamp":1257862059000},"source":"Crossref","is-referenced-by-count":7,"title":["\u2208 I : An Intuitionistic Logic without Fregean Axiom and with Predicates for Truth and Falsity"],"prefix":"10.1215","volume":"50","author":[{"given":"Steffen","family":"Lewitzka","sequence":"first","affiliation":[]}],"member":"73","reference":[{"key":"1","unstructured":"[1] Bab, S., <i>$\\in_\\mu$-Logik---Eine Theorie propositionaler Logiken<\/i>, Ph.D. thesis, Technische Universit\u00e4t Berlin, 2007."},{"key":"2","doi-asserted-by":"crossref","unstructured":"[2] Bab, S., \"$\\in_\\mu$-logics---Propositional logics with self-reference and modalities\", in <i>Autonomous Systems---Self-Organization, Management, and Control<\/i>, edited by B. Mahr and S. Huanye, Springer Verlag, Berlin, 2008. Proceedings of the 8th International Workshop, Shanghai Jiao Tong University, October, 2008.","DOI":"10.1007\/978-1-4020-8889-6_9"},{"key":"4","unstructured":"[4] Barwise, J., and J. Etchemendy, <i>The Liar. An Essay on Truth and Circularity<\/i>, Oxford University Press, Oxford, 1987."},{"key":"5","unstructured":"[5] B\u00e9ziau, J.-Y., ``Was Frege wrong when identifying reference with truth-value?'' <i>Sorites<\/i>, vol. 11 (1999), pp. 15--22."},{"key":"6","doi-asserted-by":"publisher","unstructured":"[6] Bloom, S. L., and R. Suszko, \"Investigations into the sentential calculus with identity\", <i>Notre Dame Journal of Formal Logic<\/i>, vol. 13 (1972), pp. 289--308.","DOI":"10.1305\/ndjfl\/1093890617"},{"key":"7","doi-asserted-by":"publisher","unstructured":"[7] Fitting, M., \"Notes on the mathematical aspects of Kripke's theory of truth\", <i>Notre Dame Journal of Formal Logic<\/i>, vol. 27 (1986), pp. 75--88.","DOI":"10.1305\/ndjfl\/1093636525"},{"key":"9","doi-asserted-by":"crossref","unstructured":"[9] Kripke, S., \"Outline of a theory of truth\", <i>The Journal of Philosophy<\/i>, vol. 72 (1975), pp. 690--716.","DOI":"10.2307\/2024634"},{"key":"11","doi-asserted-by":"publisher","unstructured":"[11] Lewitzka, S., and A. B. M. Brunner, \"Minimally generated abstract logics\", <i>Logica Universalis<\/i>, 2009, DOI 10.1007\/s11787-009-0007-0.","DOI":"10.1007\/s11787-009-0007-0"},{"key":"13","unstructured":"[13] Mahr, B., \"Applications of type theory\", pp. 343--55 in <i>Proceedings of the International Joint Conference CAAP\/FASE<\/i> on Theory and Practice of Software Development, (Orsay, 1993), vol. 668 of <i>Lecture Notes in Computer Science<\/i>, Springer, Berlin, 1993."},{"key":"14","doi-asserted-by":"crossref","unstructured":"[14] Mahr, B., and S. Bab, \"$\\in\\sb T$\"-integration of logics\", pp. 204--19 in <i>Formal Methods in Software and Systems Modeling<\/i>, edited by H.-J. Kreowski, U. Montanari, F. Orejas, G. Rozenberg, and G. Taentzer, vol. 3393 of <i>Lecture Notes in Computer Science<\/i>, Springer, Berlin, 2005.","DOI":"10.1007\/978-3-540-31847-7_12"},{"key":"15","unstructured":"[15] Malinowski, G., \"Non-Fregean logic and other formalizations of propositional identity\", <i>Bulletin of the Section of Logic<\/i>, vol. 14 (1985), pp. 21--29."},{"key":"17","doi-asserted-by":"publisher","unstructured":"[17] Shramko, Y., and H. Wansing, \"The slingshot argument and sentential identity\", <i>Studia Logica<\/i>, vol. 91 (2009), pp. 429--55.","DOI":"10.1007\/s11225-009-9182-5"},{"key":"19","unstructured":"[19] Suszko, R., \"Non-Fregean logic and theories\", <i>Analele Universitatii Bucuresti, Acta Logica<\/i>, vol. 11 (1968), pp. 105--125."},{"key":"20","doi-asserted-by":"publisher","unstructured":"[20] Suszko, R., \"Ontology in the <i>Tractatus<\/i> of L. Wittgenstein\", <i>Notre Dame Journal of Formal Logic<\/i>, vol. 9 (1968), pp. 7--33.","DOI":"10.1305\/ndjfl\/1093893349"},{"key":"21","doi-asserted-by":"crossref","unstructured":"[21] Suszko, R., \"Abolition of the Fregean axiom\", pp. 169--239 in <i>Logic Colloquium (Boston, 1972--1973)<\/i>, edited by R. Parikh, vol. 453 of <i>Lecture Notes in Mathematics<\/i>, Springer, Berlin, 1975.","DOI":"10.1007\/BFb0064874"},{"key":"22","doi-asserted-by":"publisher","unstructured":"[22] Suszko, R., \"The Fregean axiom and Polish mathematical logic in the 1920s\", <i>Studia Logica<\/i>, vol. 36 (1977\/78), pp. 377--80.","DOI":"10.1007\/BF02120672"},{"key":"23","unstructured":"[23] Tarski, A., \"Der Wahrheitsbegriff in den formalisierten Sprachen\", <i>Studia Philosophica<\/i>, vol. 1 (1935), pp. 261--405."},{"key":"24","doi-asserted-by":"publisher","unstructured":"[24] Tarski, A., \"The semantic conception of truth and the foundations of semantics\", <i>Philosophy and Phenomenological Research<\/i>, vol. 4 (1944), pp. 341--76.","DOI":"10.2307\/2102968"},{"key":"25","unstructured":"[25] Zeitz, P., <i>Parametrisierte $\\in\\sb T$<\/i>-Logik. Eine Theorie der Erweiterung abstrakter Logiken um die Konzepte Wahrheit, Referenz und klassische Negation, Logos Verlag Berlin, Berlin, 2000. Dissertation, Technische Universit\u00e4t Berlin, Berlin, 1999."},{"key":"3","unstructured":"[3] Bab, S., B. Mahr, and T. Wieczorek, ``Epsilon-style (of) semantics'' in <i>New Approaches to Classes and Concepts<\/i>, edited by K. Robering, Studies in Logic, vol. 14, College Publications, 2008."},{"key":"8","unstructured":"[8] Frege, G., \"\u00dcber Sinn und Bedeutung\", <i>Zeitschrift f\u00fcr Philosophie und philosophische Kritik<\/i>, vol. 100 (1892), pp. 25--50."},{"key":"10","unstructured":"[10] Lewitzka, S., <i>$\\in_T(\\Sigma)$-Logik: Eine Erweiterung der Pr\u00e4dikatenlogik erster Stufe mit Selbstreferenz und totalem Wahrheitspr\u00e4dikat<\/i>, Diplomarbeit, Technische Universit\u00e4t Berlin, 1998."},{"key":"12","unstructured":"[12] Mahr, B., W. Str\u00e4ter, and C. Umbach, \"Fundamentals of a Theory of Types and Declarations\", Technical Report KIT-Report 82, 1990."},{"key":"16","unstructured":"[16] Omy\u0142a, M., \"Remarks on non-Fregean logic\", <i>Studies in Logic, Grammar and Rhetoric<\/i>, vol. 10 (2007), pp. 21--31."},{"key":"18","unstructured":"[18] Str\u00e4ter, W., \"$\\in_T$ eine Logik erster Stufe mit Selbstreferenz und totalem Wahrheitspr\u00e4dikat\", Forschungsbericht, KIT-Report 98, 1992."}],"container-title":["Notre Dame Journal of Formal Logic"],"original-title":[],"link":[{"URL":"https:\/\/projecteuclid.org\/journalArticle\/Download?urlid=10.1215\/00294527-2009-012","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,1,30]],"date-time":"2024-01-30T20:57:19Z","timestamp":1706648239000},"score":1,"resource":{"primary":{"URL":"https:\/\/projecteuclid.org\/journals\/notre-dame-journal-of-formal-logic\/volume-50\/issue-3\/-I---An-Intuitionistic-Logic-without-Fregean-Axiom\/10.1215\/00294527-2009-012.full"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009,7,1]]},"references-count":25,"journal-issue":{"issue":"3","published-online":{"date-parts":[[2009,7,1]]}},"URL":"https:\/\/doi.org\/10.1215\/00294527-2009-012","relation":{},"ISSN":["0029-4527"],"issn-type":[{"value":"0029-4527","type":"print"}],"subject":[],"published":{"date-parts":[[2009,7,1]]}}}