{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,17]],"date-time":"2025-09-17T16:07:54Z","timestamp":1758125274442},"reference-count":10,"publisher":"Cambridge University Press (CUP)","issue":"1","license":[{"start":{"date-parts":[[2014,9,5]],"date-time":"2014-09-05T00:00:00Z","timestamp":1409875200000},"content-version":"unspecified","delay-in-days":553,"URL":"https:\/\/www.cambridge.org\/core\/terms"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Bull. symb. log"],"published-print":{"date-parts":[[2013,3]]},"abstract":"<jats:title>Abstract<\/jats:title><jats:p>This paper augments Hailperin's substantial efforts (1976\/1986) to place Boole's algebra of logic on a solid footing. Namely Horn sentences are used to give a modern formulation of the principle that Boole adopted in 1854 as <jats:italic>the<\/jats:italic> foundation for his algebra of logic\u2014we call this principle <jats:italic>The Rule of<\/jats:italic> 0 <jats:italic>and<\/jats:italic> 1.<\/jats:p>","DOI":"10.2178\/bsl.1901040","type":"journal-article","created":{"date-parts":[[2013,5,16]],"date-time":"2013-05-16T11:07:49Z","timestamp":1368702469000},"page":"97-105","source":"Crossref","is-referenced-by-count":4,"title":["The Horn theory of Boole's partial algebras"],"prefix":"10.1017","volume":"19","author":[{"given":"Stanley N.","family":"Burris","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"H. P.","family":"Sankappanavar","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"56","published-online":{"date-parts":[[2014,9,5]]},"reference":[{"key":"S1079898600009070_ref005","doi-asserted-by":"publisher","DOI":"10.1090\/S0002-9947-1979-0522263-8"},{"key":"S1079898600009070_ref008","doi-asserted-by":"crossref","DOI":"10.1090\/memo\/0070","volume-title":"Modules over commutative regular rings","author":"Pierce","year":"1967"},{"key":"S1079898600009070_ref010","doi-asserted-by":"publisher","DOI":"10.1090\/S0002-9947-1913-1500960-1"},{"key":"S1079898600009070_ref002","first-page":"183","article-title":"The calculus of logic","volume":"3","author":"Boole","year":"1848","journal-title":"The Cambridge and Dublin Mathematical Journal"},{"key":"S1079898600009070_ref001","volume-title":"The mathematical analysis of logic, being an essay towards a calculus of deductive reasoning","author":"Boole","year":"1951"},{"key":"S1079898600009070_ref007","volume-title":"Pure logic, or the logic of quality apart from quantity: with remarks on Boole's system and on the relation of logic and mathematics","author":"Jevons","year":"1864"},{"key":"S1079898600009070_ref003","volume-title":"An investigation of the laws of thought on which are founded the mathematical theories of logic and probabilities","author":"Boole","year":"1958"},{"key":"S1079898600009070_ref004","unstructured":"Burris Stanley , George Boole, The online Stanford Encyclopedia of Philosophy at http:\/\/plato.stanford.edu\/entries\/boole\/."},{"key":"S1079898600009070_ref006","volume-title":"Boole's logic and probability","author":"Hailperin","year":"1976"},{"key":"S1079898600009070_ref009","volume":"I","author":"Schr\u00f6der","year":"1890","journal-title":"Algebra der Logik"}],"container-title":["The Bulletin of Symbolic Logic"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.cambridge.org\/core\/services\/aop-cambridge-core\/content\/view\/S1079898600009070","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,24]],"date-time":"2019-04-24T15:21:59Z","timestamp":1556119319000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.cambridge.org\/core\/product\/identifier\/S1079898600009070\/type\/journal_article"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,3]]},"references-count":10,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2013,3]]}},"alternative-id":["S1079898600009070"],"URL":"https:\/\/doi.org\/10.2178\/bsl.1901040","relation":{},"ISSN":["1079-8986","1943-5894"],"issn-type":[{"value":"1079-8986","type":"print"},{"value":"1943-5894","type":"electronic"}],"subject":[],"published":{"date-parts":[[2013,3]]}}}