{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,10]],"date-time":"2024-09-10T14:22:14Z","timestamp":1725978134187},"publisher-location":"Cham","reference-count":23,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319913759"},{"type":"electronic","value":"9783319913766"}],"license":[{"start":{"date-parts":[[2018,1,1]],"date-time":"2018-01-01T00:00:00Z","timestamp":1514764800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2018,1,1]],"date-time":"2018-01-01T00:00:00Z","timestamp":1514764800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2018]]},"DOI":"10.1007\/978-3-319-91376-6_56","type":"book-chapter","created":{"date-parts":[[2018,5,16]],"date-time":"2018-05-16T15:19:05Z","timestamp":1526483945000},"page":"624-639","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Iconic Logic and Ideal Diagrams: The Wittgensteinian Approach"],"prefix":"10.1007","author":[{"given":"Timm","family":"Lampert","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2018,5,17]]},"reference":[{"volume-title":"Symbolic Logic","year":"1979","author":"I Copi","key":"56_CR1","unstructured":"Copi, I.: Symbolic Logic. Macmillan, New York (1979)"},{"key":"56_CR2","unstructured":"Dau, F.: Mathematical Logic with Diagrams - Based on the Existential Graphs of Peirce (2006). \n http:\/\/www.dr-dau.net\/eg_readings.shtml"},{"volume-title":"The Concept of Logical Conequence","year":"1999","author":"J Etechemendy","key":"56_CR3","unstructured":"Etechemendy, J.: The Concept of Logical Conequence. CSLI Publications, Standford (1999)"},{"issue":"3","key":"56_CR4","doi-asserted-by":"publisher","first-page":"325","DOI":"10.1093\/jigpal\/jzx003","volume":"25","author":"T Lampert","year":"2017","unstructured":"Lampert, T.: Minimizing disjunctive normal forms of first-order logic. Log. J. IGPL 25(3), 325\u2013347 (2017)","journal-title":"Log. J. IGPL"},{"issue":"3","key":"56_CR5","doi-asserted-by":"publisher","first-page":"239","DOI":"10.1080\/01445340.2017.1312222","volume":"38","author":"T Lampert","year":"2017","unstructured":"Lampert, T.: Wittgenstein\u2019s \n \n \n \n $$ab$$\n -notation: an iconic proof procedure. Hist. Philos. Log. 38(3), 239\u2013262 (2017)","journal-title":"Hist. Philos. Log."},{"key":"56_CR6","unstructured":"Lampert, T.: A decision procedure for Herbrand formulae without skolemization, pp. 1\u201330 (2017). \n https:\/\/arxiv.org\/abs\/1709.00191"},{"issue":"3","key":"56_CR7","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1093\/philmat\/nkx017","volume":"25","author":"T Lampert","year":"2017","unstructured":"Lampert, T.: Wittgenstein and G\u00f6del: an attempt to make \u2018Wittgenstein\u2019s objection\u2019 reasonable. Philosophia Mathematica 25(3), 1\u201322 (2017). \n https:\/\/doi.org\/10.1093\/philmat\/nkx017","journal-title":"Philosophia Mathematica"},{"key":"56_CR8","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511487255","volume-title":"Wittgenstein\u2019s Apprenticeship with Russell","author":"G Landini","year":"2007","unstructured":"Landini, G.: Wittgenstein\u2019s Apprenticeship with Russell. Cambridge University Press, Cambridge (2007)"},{"volume-title":"Beginning Logic","year":"1998","author":"EJ Lemmon","key":"56_CR9","unstructured":"Lemmon, E.J.: Beginning Logic. Hackett, Indianapolis (1998)"},{"key":"56_CR10","first-page":"247","volume-title":"Formal Philosophy. Selected Papers","author":"R Montague","year":"1966","unstructured":"Montague, R.: The proper treatment of quantification in ordinary English. In: Thomason, R.H. (ed.) Formal Philosophy. Selected Papers, pp. 247\u2013270. Yale University Press, New Haven (1966)"},{"key":"56_CR11","unstructured":"Peirce, C.S.: Collected Papers of Charles Sanders Peirce. In: Hartshorne, C., Weiss, P. (eds) Harvard University Press, Cambridge (1931\u20131958)"},{"key":"56_CR12","doi-asserted-by":"publisher","DOI":"10.4324\/9781315453934","volume-title":"Reflective Equilibrium and the Principles of Logical Analysis","author":"J Peregrin","year":"2017","unstructured":"Peregrin, J., Svoboda, V.: Reflective Equilibrium and the Principles of Logical Analysis. Routledge, New York (2017)"},{"volume-title":"Signs of Logic","year":"2006","author":"A-V Pietarinen","key":"56_CR13","unstructured":"Pietarinen, A.-V.: Signs of Logic. Springer, Dordrecht (2006)"},{"volume-title":"Wittgenstein\u2019s Notes on Logic","year":"2009","author":"M Potter","key":"56_CR14","unstructured":"Potter, M.: Wittgenstein\u2019s Notes on Logic. Oxford University Press, Oxford (2009)"},{"volume-title":"Word and Object","year":"1960","author":"WVO Quine","key":"56_CR15","unstructured":"Quine, W.V.O.: Word and Object. MIT Press, Cambridge (1960)"},{"key":"56_CR16","unstructured":"Russell, B.: The Principles of Mathematics, 2nd edn from 1937. Routledge, London (1992)"},{"key":"56_CR17","doi-asserted-by":"publisher","DOI":"10.7551\/mitpress\/3633.001.0001","volume-title":"The Iconic Logic of Peirce\u2019s Graphs","author":"SJ Shin","year":"2002","unstructured":"Shin, S.J.: The Iconic Logic of Peirce\u2019s Graphs. The MIT Press, Cambridge (2002)"},{"issue":"42","key":"56_CR18","first-page":"230","volume":"2","author":"A Turing","year":"1936","unstructured":"Turing, A.: On computable numbers, with an application to the Entscheidungsproblem. Proc. Lond. Math. Soc. 2(42), 230\u2013265 (1936)","journal-title":"Proc. Lond. Math. Soc."},{"key":"56_CR19","doi-asserted-by":"publisher","first-page":"165","DOI":"10.1305\/ndjfl\/1093891210","volume":"1","author":"RG Wengert","year":"1974","unstructured":"Wengert, R.G.: Schematizing de Morgan\u2019s argument. Notre Dame J. Form. Log. 1, 165\u2013166 (1974)","journal-title":"Notre Dame J. Form. Log."},{"volume-title":"Cambridge Letters","year":"1997","author":"L Wittgenstein","key":"56_CR20","unstructured":"Wittgenstein, L.: Cambridge Letters. Blackwell, Oxford (1997)"},{"volume-title":"Notebooks 1914-1916","year":"1979","author":"L Wittgenstein","key":"56_CR21","unstructured":"Wittgenstein, L.: Notebooks 1914-1916. Blackwell, Oxford (1979)"},{"volume-title":"Tractatus Logico-Philosophicus","year":"1994","author":"L Wittgenstein","key":"56_CR22","unstructured":"Wittgenstein, L.: Tractatus Logico-Philosophicus. Routledge, London (1994)"},{"volume-title":"Wittgenstein and the Vienna Circle","year":"1979","author":"L Wittgenstein","key":"56_CR23","unstructured":"Wittgenstein, L.: Wittgenstein and the Vienna Circle. Blackwell, Basil (1979)"}],"container-title":["Lecture Notes in Computer Science","Diagrammatic Representation and Inference"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-91376-6_56","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,20]],"date-time":"2019-05-20T07:59:44Z","timestamp":1558339184000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-91376-6_56"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018]]},"ISBN":["9783319913759","9783319913766"],"references-count":23,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-91376-6_56","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2018]]},"assertion":[{"value":"17 May 2018","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"Diagrams","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Theory and Application of Diagrams","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Edinburgh","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"United Kingdom","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2018","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"18 June 2018","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"22 June 2018","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"10","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"diagrams2018","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"http:\/\/www.diagrams-conference.org\/2018\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}