{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T00:43:36Z","timestamp":1725497016330},"edition-number":"1","reference-count":15,"publisher":"Wiley","isbn-type":[{"type":"print","value":"9780471383932"},{"type":"electronic","value":"9780470050118"}],"license":[{"start":{"date-parts":[[2008,9,15]],"date-time":"2008-09-15T00:00:00Z","timestamp":1221436800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/doi.wiley.com\/10.1002\/tdm_license_1.1"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"abstract":"<jats:title>Abstract<\/jats:title>\n          <jats:p>Logic studies the validity of arguments. Using as case studies propositional and predicate logic, the model and proof theoretic approaches to what constitute a valid consequence in modern logic are presented, and their decidability is discussed. This first part of the article ends with a brief survey of alternative logics and discussion of the prevalence of predicate logic. The second part of the article presents applications of logic in computer science, focusing on specification, verification, and programming. Computer science has taken the place of mathematics as the driving force behind formal logic, and it will be the applications and needs in that area that are bound to guide the future development of the latter.<\/jats:p>","DOI":"10.1002\/9780470050118.ecse535","type":"other","created":{"date-parts":[[2008,9,11]],"date-time":"2008-09-11T14:16:28Z","timestamp":1221142588000},"page":"1-9","source":"Crossref","is-referenced-by-count":2,"title":["Formal Logic"],"prefix":"10.1002","author":[{"given":"Miguel","family":"Palomino","sequence":"first","affiliation":[]}],"member":"311","published-online":{"date-parts":[[2008,9,15]]},"reference":[{"volume-title":"Engines of Logic: Mathematicians and the Origin of the Computer","year":"2001","author":"Davis M.","key":"e_1_2_6_2_1_1"},{"key":"e_1_2_6_2_2_1","article-title":"The concept of truth in the languages of the deductive sciences (in Polish)","volume":"34","author":"Tarski A.","year":"1933","journal-title":"Prace Towarzystwa Naukowego Warszawskiego, Wydzial III Nauk Matematyczno\u2010Fizycznych"},{"key":"e_1_2_6_2_3_1","doi-asserted-by":"publisher","DOI":"10.1007\/BF01696781"},{"key":"e_1_2_6_2_4_1","doi-asserted-by":"publisher","DOI":"10.2307\/2269326"},{"key":"e_1_2_6_2_5_1","doi-asserted-by":"publisher","DOI":"10.1112\/plms\/s2-42.1.230"},{"key":"e_1_2_6_2_6_1","doi-asserted-by":"publisher","DOI":"10.2307\/2687775"},{"volume-title":"Philosophy of Logic","year":"1986","author":"Quine W. V.","key":"e_1_2_6_2_7_1"},{"volume-title":"Handbook of Logic in Computer Science","year":"1993","author":"Abramsky S.","key":"e_1_2_6_2_8_1"},{"volume-title":"Handbook of Logic in Artificial Intelligence and Logic Programming","year":"1993","author":"Gabbay D. M.","key":"e_1_2_6_2_9_1"},{"volume-title":"Handbook of Philosophical Logic","year":"2001","author":"Gabbay D. M.","key":"e_1_2_6_2_10_1"},{"volume-title":"Logic, Semantics, Metamathematics, Papers from 1923 to 1938","year":"1983","author":"Tarski A.","key":"e_1_2_6_2_11_1"},{"volume-title":"Collected Works I: Publications 1929\u20131936","year":"1986","author":"G\u00f6del K.","key":"e_1_2_6_2_12_1"},{"key":"e_1_2_6_3_2_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-85108-0"},{"volume-title":"Mathematical Logic","year":"1996","author":"Ebbinghaus H.\u2010D.","key":"e_1_2_6_3_3_1"},{"volume-title":"Algebraic Semantics of Imperative Programs","year":"1996","author":"Goguen J. A.","key":"e_1_2_6_3_4_1"}],"container-title":["Wiley Encyclopedia of Computer Science and Engineering"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/onlinelibrary.wiley.com\/doi\/pdf\/10.1002\/9780470050118.ecse535","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,8,21]],"date-time":"2023-08-21T00:43:03Z","timestamp":1692578583000},"score":1,"resource":{"primary":{"URL":"https:\/\/onlinelibrary.wiley.com\/doi\/10.1002\/9780470050118.ecse535"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008,9,15]]},"ISBN":["9780471383932","9780470050118"],"references-count":15,"alternative-id":["10.1002\/9780470050118.ecse535","10.1002\/9780470050118"],"URL":"https:\/\/doi.org\/10.1002\/9780470050118.ecse535","archive":["Portico"],"relation":{},"subject":[],"published":{"date-parts":[[2008,9,15]]}}}