{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T22:52:31Z","timestamp":1725663151590},"publisher-location":"Berlin, Heidelberg","reference-count":14,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540502418"},{"type":"electronic","value":"9783540459606"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1988]]},"DOI":"10.1007\/3-540-50241-6_38","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T15:18:27Z","timestamp":1330183107000},"page":"188-210","source":"Crossref","is-referenced-by-count":7,"title":["Logic of approximation reasoning"],"prefix":"10.1007","author":[{"given":"Helena","family":"Rasiowa","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,5,31]]},"reference":[{"issue":"2","key":"14_CR1","first-page":"147","volume":"46","author":"N. C. Ho","year":"1987","unstructured":"Ng. Cat Ho and H. Rasiowa, Semi-Post algebras, Studia Logica 46, 2 (1987), 147\u2013158","journal-title":"Studia Logica"},{"key":"14_CR2","unstructured":"Ng. Cat Ho and H. Rasiowa, Subalgebras and homomorphisms of semi-Post algebras, ibidem, 159\u2013173"},{"key":"14_CR3","unstructured":"Ng. Cat Ho and H. Rasiowa, Plain semi-Post algebras and their representations, manuscript to be published elsewhere"},{"key":"14_CR4","volume-title":"An introduction to modal logic","author":"M.J. Cresswell","year":"1980","unstructured":"M.J. Cresswell and G.E. Hughes, An introduction to modal logic, London: Methuen and Co Ltd., 1980"},{"key":"14_CR5","unstructured":"G. Epstein and H. Rasiowa, Approximation Reasoning and Scott's Information Systems, Proc. 2-nd Int. Symp. on Methodologies for Intelligent Systems, ISMIS '87; Charlotte, NC, USA, North Holland, 33\u201342"},{"key":"14_CR6","doi-asserted-by":"crossref","unstructured":"Y. Halpern, Reasoning about knowledge, Ed. Y. Halpern, Morgan, Kaufman, 1986","DOI":"10.1016\/B978-0-934613-04-0.50004-1"},{"key":"14_CR7","doi-asserted-by":"crossref","first-page":"145","DOI":"10.1016\/0304-3975(86)90092-7","volume":"48","author":"W. Marek","year":"1986","unstructured":"W. Marek and H. Rasiowa, Approximating Sets with Equivalence Relations, Theoretical Computer Science, 48 (1986), 145\u2013152","journal-title":"Theoretical Computer Science"},{"issue":"5","key":"14_CR8","doi-asserted-by":"crossref","first-page":"341","DOI":"10.1007\/BF01001956","volume":"11","author":"Z. Pawlak","year":"1982","unstructured":"Z. Pawlak, Rough Sets, Int. Journal of Computer and Information Science 11(5), 1982, 341\u2013356","journal-title":"Journal of Computer and Information Science"},{"key":"14_CR9","doi-asserted-by":"crossref","unstructured":"H. Rasiowa, Logic approximating sequences of sets, invited lecture, Proc. Advanced Int. School and Symp. on Mathematical Logic and its Applications, Drushba, Bulgara 1986, Plenum Press 1987, 167\u2013186","DOI":"10.1007\/978-1-4613-0897-3_11"},{"key":"14_CR10","unstructured":"H. Rasiowa, An algebraic approach to some approximate reasonings, Invited lecture, Proc. ISMVL 87, Boston, USA, IEEE Computer Society Press, 342\u2013347"},{"key":"14_CR11","unstructured":"H. Rasiowa and R. Sikorski, The Mathematics of Metamathematics, 3rd Ed. 1970"},{"key":"14_CR12","first-page":"288","volume":"208","author":"H. Rasiowa","year":"1985","unstructured":"H. Rasiowa and A. Skowron, Rough concepts logic, in: Computation Theory, ed. A. Skowron, LNCS 208 (1985), 288\u2013297","journal-title":"LNCS"},{"key":"14_CR13","doi-asserted-by":"crossref","unstructured":"H. Rasiowa and A. Skowron, Approximation logic, in: Mathematical Methods of Specification and Synthesis of Software Systems 85, ed.. Bibel and K.P. Jantke, Mathematical Research 31, Akademie Verlag, Berlin, 123\u2013139","DOI":"10.1007\/3-540-16444-8_8"},{"key":"14_CR14","doi-asserted-by":"crossref","unstructured":"D. Scott, Domains for denotational semantics, A corrected and expanded version of a paper prepared for ICALP 1982 Aarhus, Denmark 1982","DOI":"10.1007\/BFb0012801"}],"container-title":["Lecture Notes in Computer Science","CSL '87"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-50241-6_38.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T16:17:44Z","timestamp":1605629864000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-50241-6_38"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1988]]},"ISBN":["9783540502418","9783540459606"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/3-540-50241-6_38","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1988]]}}}