{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T18:18:44Z","timestamp":1725560324805},"publisher-location":"Berlin, Heidelberg","reference-count":34,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540286530"},{"type":"electronic","value":"9783540318255"}],"license":[{"start":{"date-parts":[[2005,1,1]],"date-time":"2005-01-01T00:00:00Z","timestamp":1104537600000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2005]]},"DOI":"10.1007\/11548669_10","type":"book-chapter","created":{"date-parts":[[2005,9,27]],"date-time":"2005-09-27T10:27:55Z","timestamp":1127816875000},"page":"94-103","source":"Crossref","is-referenced-by-count":0,"title":["Proximity Spaces of Exact Sets"],"prefix":"10.1007","author":[{"given":"Peter John","family":"Apostoli","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Akira","family":"Kanda","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"10_CR1","doi-asserted-by":"publisher","first-page":"31","DOI":"10.1016\/S0049-237X(08)71252-7","volume-title":"The Kleene Symposium","author":"P. Aczel","year":"1980","unstructured":"Aczel, P.: Frege Structure and the Notions of Proposition, Truth and Set. In: Barwise, J., Keisler, H., Kunen, K. (eds.) The Kleene Symposium, pp. 31\u201359. North-Holland, Amsterdam (1980)"},{"key":"10_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"161","DOI":"10.1007\/b100941","volume-title":"Rough Sets and Fuzzy Sets. Transactions in Rough Sets","author":"P. Apostoli","year":"2004","unstructured":"Apostoli, P., Kanda, A., Polkowski, L.: First Steps Towards Computably Infinite Information Systems. In: Dubois, D., Grzymala-Busse, J., Inuiguchi, M., Polkowski, L. (eds.) Rough Sets and Fuzzy Sets. Transactions in Rough Sets. LNCS, vol.\u00a02, pp. 161\u2013198. Springer, Heidelberg (2004)"},{"key":"10_CR3","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"98","DOI":"10.1007\/3-540-45554-X_11","volume-title":"Rough Sets and Current Trends in Computing","author":"P. Apostoli","year":"2001","unstructured":"Apostoli, P., Kanda, A.: Approximation Spaces of Type-Free Sets. In: Ziarko, W.P., Yao, Y. (eds.) RSCTC 2000. LNCS (LNAI), vol.\u00a02005, pp. 98\u2013105. Springer, Heidelberg (2001)"},{"key":"10_CR4","unstructured":"Apostoli, P., Kanda, A.: Parts of the Continuum: towards a modern ontology of science. Forthcoming. In: Nowak, L. (ed.) Poznan Studies in the Philosophy of Science and the Humanities (2005)"},{"key":"10_CR5","volume-title":"A Course in Mathematical Logic","author":"J.L. Bell","year":"1977","unstructured":"Bell, J.L., Machover, M.: A Course in Mathematical Logic. North Holland, Amsterdam (1977)"},{"key":"10_CR6","volume-title":"Proc. of the Southeast Asian Conference on Logic. Studies in Logic","author":"J.L. Bell","year":"1983","unstructured":"Bell, J.L.: Orthologic, Forcing and the Manifestation of Attributes. In: Proc. of the Southeast Asian Conference on Logic. Studies in Logic, vol.\u00a0III. North Holland, Amsterdam (1983)"},{"key":"10_CR7","doi-asserted-by":"crossref","first-page":"83","DOI":"10.1093\/oxfordjournals.bjps\/37.1.83","volume":"37","author":"J.L. Bell","year":"1986","unstructured":"Bell, J.L.: A new Approach to Quantum Logic. Brit. J. Phil. Sci.\u00a037, 83\u201399 (1986)","journal-title":"Brit. J. Phil. Sci."},{"issue":"6","key":"10_CR8","first-page":"595","volume":"29","author":"J.L. Bell","year":"2000","unstructured":"Bell, J.L.: Set and Classes as Many. J. of Philosophical Logic\u00a029(6), 595\u2013681 (2000)","journal-title":"J. of Philosophical Logic"},{"key":"10_CR9","unstructured":"Birkhoff, G.: Lattice Theory, 3rd edn., vol.\u00a0XXV. Amer. Math. Colloq. Publs (1960)"},{"key":"10_CR10","doi-asserted-by":"crossref","unstructured":"Blamey, S.: Partial Logic. In: Gabbay, D., Guenthner, F. (eds.) Handbook of Philosophical Logic, vol.\u00a0III, pp. 1\u201370. D. Reidel Publishing Company (1986)","DOI":"10.1007\/978-94-009-5203-4_1"},{"key":"10_CR11","volume-title":"Rough Sets in Knowledge Discovery: Methodology and Applications","author":"G. Cattaneo","year":"1998","unstructured":"Cattaneo, G.: Abstract Approximation Spaces for Rough Theories. In: Polkowski, L., Skowron, A. (eds.) Rough Sets in Knowledge Discovery: Methodology and Applications. Springer, Heidelberg (1998)"},{"key":"10_CR12","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9780511621192","volume-title":"An Introduction to Modal Logic.","author":"B.F. Chellas","year":"1980","unstructured":"Chellas, B.F.: An Introduction to Modal Logic. Cambridge University Press, Cambridge (1980)"},{"key":"10_CR13","doi-asserted-by":"publisher","first-page":"75","DOI":"10.2307\/2274093","volume":"49","author":"S. Feferman","year":"1984","unstructured":"Feferman, S.: Towards Useful Type-free Theories I. Journal of Symbolic Logic\u00a049, 75\u2013111 (1984)","journal-title":"Journal of Symbolic Logic"},{"key":"10_CR14","doi-asserted-by":"crossref","first-page":"177","DOI":"10.2307\/2215323","volume":"15","author":"K. Fine","year":"1981","unstructured":"Fine, K.: First-Order Modal Theories. I-Sets. Nous\u00a015, 177\u2013205 (1981)","journal-title":"I-Sets. Nous"},{"key":"10_CR15","unstructured":"Frege, G.: Die Grundlagen der Arithmetik. Eine logisch mathematische Untersachung uber den Begridd der Zahl. Breslau, William Koebner. English translation by J. L. Austin, The Foundations of Arihmetic. Oxford, Basil Blackwell (1950)"},{"key":"10_CR16","unstructured":"Frege, G.: Grundgesetze der Arithmetik. Vols. 1, 2. Jena, Verlag Hermann Pohle. Reprinted at Hildesheim. Vol. 1 is partially translated in [17]. Vol. 2 is translated in part in [18] (1893, 1903)"},{"key":"10_CR17","unstructured":"Frege, G.: Translations from the Philosophical Writings of Gottlob Frege. Edited and translated by Peter Geach and Max Black. Oxford, Basil Blackwell (1960)"},{"key":"10_CR18","volume-title":"The Basic Laws of Arithmetic: Expositition of the system","author":"M. Furth","year":"1964","unstructured":"Furth, M.: The Basic Laws of Arithmetic: Expositition of the system. University of California Press, Berkeley (1964)"},{"key":"10_CR19","doi-asserted-by":"publisher","first-page":"394","DOI":"10.2307\/2274063","volume":"51","author":"P.C. Gilmore","year":"1986","unstructured":"Gilmore, P.C.: Natural Deduction Based Set Theories: A New Resolution of the Old Paradoxes. J. of Symbolic Logic\u00a051, 394\u2013411 (1986)","journal-title":"J. of Symbolic Logic"},{"key":"10_CR20","volume-title":"London Math. Soc. Lecture Notes","author":"A. Kock","year":"1981","unstructured":"Kock, A.: Synthetic Differential Geometry. In: London Math. Soc. Lecture Notes, vol.\u00a051. Cambridge University Press, Cambridge (1981)"},{"key":"10_CR21","doi-asserted-by":"crossref","unstructured":"Kripke, S.: Semantical Analysis of Modal Logic I. Normal Modal Propositional Calculi. Zeitschrift f. Math. Logik und Grundlagen d. Math., 9 (1963)","DOI":"10.1002\/malq.19630090502"},{"key":"10_CR22","doi-asserted-by":"publisher","first-page":"113","DOI":"10.2307\/2024555","volume":"65","author":"D. Lewis","year":"1968","unstructured":"Lewis, D.: Counterpart Theory and Quantified Modal Logic. J. of Philosophy\u00a065, 113\u2013126 (1968); Reprinted in Michael J. Loux (ed), The Possible and the Actual. Cornell, U.P. (1979)","journal-title":"J. of Philosophy"},{"key":"10_CR23","volume-title":"Foundations of Logic and Linguistics, Problems and Their Solutions","author":"E. Orlowska","year":"1985","unstructured":"Orlowska, E.: Semantics of Vague Concepts. In: Dorn, G., Weingartner, P. (eds.) Foundations of Logic and Linguistics, Problems and Their Solutions. Plenum Press, NewYork (1985)"},{"key":"10_CR24","doi-asserted-by":"crossref","first-page":"335","DOI":"10.1007\/978-94-010-1138-9_18","volume-title":"Logic, Foundation of Mathematics, and Computability Theory","author":"C. Parsons","year":"1977","unstructured":"Parsons, C.: What is the iterative conception of set? In: Butts, R.E., Hintikka, J. (eds.) Logic, Foundation of Mathematics, and Computability Theory, pp. 335\u2013367. D. Reidel, Dordrechtz (1977); Reprinted in P. Benacerraf, P., Putnam, H. (eds.), Philosophy of Mathematics: Selected Readings. 2nd ed. Cambridge University Press. (1983) 503-529. Also reprinted in Mathematics in Philosophy, Selected Essays, Cornell University Press."},{"key":"10_CR25","doi-asserted-by":"crossref","first-page":"683","DOI":"10.2307\/2273238","volume":"46","author":"C. Parsons","year":"1981","unstructured":"Parsons, C.: Modal Set Theories. Journal of Symbolic Logic\u00a046, 683\u2013684 (1981)","journal-title":"Journal of Symbolic Logic"},{"key":"10_CR26","doi-asserted-by":"publisher","first-page":"341","DOI":"10.1007\/BF01001956","volume":"11","author":"Z. Pawlak","year":"1982","unstructured":"Pawlak, Z.: Rough Sets, Algebraic and Topological Approaches. International Journal of Computer and Information Sciences\u00a011, 341\u2013356 (1982)","journal-title":"International Journal of Computer and Information Sciences"},{"key":"10_CR27","doi-asserted-by":"publisher","first-page":"452","DOI":"10.1137\/0205035","volume":"5","author":"G. Plotkin","year":"1976","unstructured":"Plotkin, G.: A Power Domain Construction. SIAM Journal on Computing\u00a05, 452\u2013487 (1976)","journal-title":"SIAM Journal on Computing"},{"key":"10_CR28","series-title":"Lecture Notes in Math.","first-page":"97","volume-title":"Continuous lattices","author":"D. Scott","year":"1971","unstructured":"Scott, D.: Continuous lattices. Lecture Notes in Math., vol.\u00a0274, pp. 97\u2013136. Springer, Berlin (1971)"},{"key":"10_CR29","doi-asserted-by":"publisher","first-page":"522","DOI":"10.1137\/0205037","volume":"5","author":"D. Scott","year":"1976","unstructured":"Scott, D.: Data Types as Lattices. SIAM Journal on Computing\u00a05, 522\u2013587 (1976)","journal-title":"SIAM Journal on Computing"},{"key":"10_CR30","unstructured":"Skowron, A., Stepaniuk, J.: Generalized Approximation Spaces. In: Proc. 3rd Int. Workshop on Rough Sets and Soft Computing, San Jose, USA, November 10-12 (1994)"},{"key":"10_CR31","doi-asserted-by":"crossref","first-page":"245","DOI":"10.3233\/FI-1996-272311","volume":"27","author":"A. Skowron","year":"1996","unstructured":"Skowron, A., Stepaniuk, J.: Tolerance Approximation Spaces. Fundementa Informaticae\u00a027, 245\u2013253 (1996)","journal-title":"Fundementa Informaticae"},{"key":"10_CR32","doi-asserted-by":"publisher","first-page":"23","DOI":"10.1016\/0022-0000(78)90048-X","volume":"16","author":"M. Smyth","year":"1978","unstructured":"Smyth, M.: Power Domains. Journal of Computer and Systems Science\u00a016, 23\u201336 (1978)","journal-title":"Journal of Computer and Systems Science"},{"key":"10_CR33","doi-asserted-by":"crossref","unstructured":"Smyth, M., Plotkin, G.: The Categorical Solutions of Recursive Domain Equations. In: Proc. of the 18th FOCS Conference (1977)","DOI":"10.1109\/SFCS.1977.30"},{"key":"10_CR34","series-title":"Lecture Notes in Computer Science","first-page":"289","volume-title":"Computer Science Logic","author":"Y.Y. Yao","year":"1998","unstructured":"Yao, Y.Y.: On Generalizing Pawlak Approximation Operators. In: Polkowski, L., Skowron, A. (eds.) CSL 1997. LNCS, vol.\u00a01414, pp. 289\u2013307. Springer, Heidelberg (1998)"}],"container-title":["Lecture Notes in Computer Science","Rough Sets, Fuzzy Sets, Data Mining, and Granular Computing"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11548669_10","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,9]],"date-time":"2020-04-09T18:58:00Z","timestamp":1586458680000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11548669_10"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005]]},"ISBN":["9783540286530","9783540318255"],"references-count":34,"URL":"https:\/\/doi.org\/10.1007\/11548669_10","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2005]]}}}