{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T09:51:38Z","timestamp":1725529898212},"publisher-location":"Berlin, Heidelberg","reference-count":11,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642006647"},{"type":"electronic","value":"9783642006654"}],"license":[{"start":{"date-parts":[[2009,1,1]],"date-time":"2009-01-01T00:00:00Z","timestamp":1230768000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2009]]},"DOI":"10.1007\/978-3-642-00665-4_15","type":"book-chapter","created":{"date-parts":[[2009,3,30]],"date-time":"2009-03-30T16:37:33Z","timestamp":1238431053000},"page":"180-192","source":"Crossref","is-referenced-by-count":0,"title":["Satisfaction and Friendliness Relations within Classical Logic: Proof-Theoretic Approach"],"prefix":"10.1007","author":[{"given":"Alexei Y.","family":"Muravitsky","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"15_CR1","series-title":"Studies in Logic and Foundations of Mathematics","volume-title":"Model Theory","author":"C.C. Chang","year":"1973","unstructured":"Chang, C.C., Keisler, H.J.: Model Theory. Studies in Logic and Foundations of Mathematics, vol.\u00a073. Elsevier Pub. Com., Amsterdam (1973)"},{"key":"15_CR2","volume-title":"Introduction to Metamathematics","author":"S.C. Kleene","year":"1952","unstructured":"Kleene, S.C.: Introduction to Metamathematics. D. Van Nostrand Company, Inc., New York (1952)"},{"key":"15_CR3","unstructured":"\u0141ukasiewicz, J.: Aristotle\u2019s Syllogistic from the Standpoint of Modern Formal Logic, Oxford (1952)"},{"key":"15_CR4","doi-asserted-by":"crossref","unstructured":"Makinson, D.: Logical Friendliness and Sympathy. In: Beziau, J.-Y. (ed.) Logica Universalis, pp. 195\u2013224. Birkh\u00e4user Verlag (2005)","DOI":"10.1007\/3-7643-7304-0_11"},{"key":"15_CR5","doi-asserted-by":"crossref","unstructured":"Makinson, D.: Logical Friendliness and Sympathy. In: Beziau, J.-Y. (ed.) Logica Universalis, 2nd edn., pp. 191\u2013205. Birkh\u00e4user Verlag (2007)","DOI":"10.1007\/978-3-7643-8354-1_11"},{"key":"15_CR6","unstructured":"Makinson, D.: Friendliness for Logicians. In: We Will Show Them! Essays in Honor of Dov Gabbay, vol.\u00a02, pp. 259\u2013292. College Publications (2005)"},{"key":"15_CR7","unstructured":"Makinson, D.: Friendliness and Sympathy in Logic, \n                  \n                    http:\/\/david.makinson.googlepages.com"},{"key":"15_CR8","volume-title":"Introduction to Mathematical Logic","author":"E. Mendelson","year":"1997","unstructured":"Mendelson, E.: Introduction to Mathematical Logic, 4th edn. Chapman & Hall, Boca Raton (1997)","edition":"4"},{"key":"15_CR9","unstructured":"Prawitz, D.: Natural Deduction, Almqvist & Wiksell (1965) (New publication: Prawitz, D.: Natural Deduction: a proof-theoretical study. Dover Publications (2006))"},{"key":"15_CR10","doi-asserted-by":"publisher","DOI":"10.1093\/acprof:oso\/9780198241560.001.0001","volume-title":"Formal Logic","author":"A.N. Prior","year":"1963","unstructured":"Prior, A.N.: Formal Logic. Clarendon Press, Oxford (1963)"},{"key":"15_CR11","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9781139168717","volume-title":"Basic Proof Theory","author":"A.S. Troelstra","year":"2000","unstructured":"Troelstra, A.S., Schwichtenberg, H.: Basic Proof Theory, 2nd edn. Cambridge University Press, Cambridge (2000)","edition":"2"}],"container-title":["Lecture Notes in Computer Science","Logic, Language, and Computation"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-00665-4_15","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,3,7]],"date-time":"2019-03-07T08:26:04Z","timestamp":1551947164000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-00665-4_15"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009]]},"ISBN":["9783642006647","9783642006654"],"references-count":11,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-00665-4_15","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2009]]}}}