{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,3,13]],"date-time":"2024-03-13T13:48:16Z","timestamp":1710337696924},"reference-count":24,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[2008,10,1]],"date-time":"2008-10-01T00:00:00Z","timestamp":1222819200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2008,10,1]],"date-time":"2008-10-01T00:00:00Z","timestamp":1222819200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Stud Logica"],"published-print":{"date-parts":[[2008,10]]},"DOI":"10.1007\/s11225-008-9144-3","type":"journal-article","created":{"date-parts":[[2008,9,29]],"date-time":"2008-09-29T22:44:44Z","timestamp":1222728284000},"page":"69-92","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":19,"title":["Rough Sets and 3-Valued Logics"],"prefix":"10.1007","volume":"90","author":[{"given":"A.","family":"Avron","sequence":"first","affiliation":[]},{"given":"B.","family":"Konikowska","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2008,10,1]]},"reference":[{"key":"9144_CR1","doi-asserted-by":"publisher","first-page":"276","DOI":"10.2307\/2274919","volume":"56","author":"A. Avron","year":"1991","unstructured":"Avron A.: \u2018Natural 3-valued Logics\u2014Characterization and Proof Theory\u2019. Journal of Symbolic Logic 56, 276\u2013294 (1991)","journal-title":"Journal of Symbolic Logic"},{"key":"9144_CR2","doi-asserted-by":"crossref","unstructured":"Avron, A., \u2018Classical Gentzen-type Methods in Propositional Many-Valued Logics\u2019, in M. Fitting and E. Orlowska (eds.), Beyond Two: Theory and Applications of Multiple-Valued Logic, Studies in Fuzziness and Soft Computing 114, Physica Verlag, 2003, pp. 117\u2013155.","DOI":"10.1007\/978-3-7908-1769-0_5"},{"key":"9144_CR3","unstructured":"Avron, A., \u2018Logical Non-determinism as a Tool for Logical Modularity: An Introduction\u2019, in S. Artemov, H. Barringer, A. S. d\u2019Avila Garcez, L. C. Lamb, and J. Woods (eds.), We Will Show Them: Essays in Honor of Dov Gabbay, 1, 105\u2013124, College Publications, 2005."},{"key":"9144_CR4","doi-asserted-by":"publisher","first-page":"241","DOI":"10.1093\/logcom\/exi001","volume":"15","author":"A. Avron","year":"2005","unstructured":"Avron A., Lev I.: \u2018Non-deterministic Multiple-valued Structures\u2019. Journal of Logic and Computation 15, 241\u2013261 (2005)","journal-title":"Journal of Logic and Computation"},{"key":"9144_CR5","first-page":"373","volume":"44","author":"J.-Y. B\u00e9ziau","year":"2001","unstructured":"B\u00e9ziau J.-Y.: \u2018Sequents and Bivaluations\u2019. Logique et Analyse 44, 373\u2013394 (2001)","journal-title":"Logique et Analyse"},{"key":"9144_CR6","doi-asserted-by":"crossref","unstructured":"Busch, D.R., \u2018An expressive three-valued logic with two negations\u2019, in J. Komorowski and Z.W. Ra\u00b4s (eds.), Methodologies for Intelligent Systems (Proceedings of ISMIS\u2019 93), LNAI 689:29\u201338, 1993.","DOI":"10.1007\/3-540-56804-2_3"},{"key":"9144_CR7","doi-asserted-by":"crossref","unstructured":"Carnielli, W.A. and J. Marcos, \u2018A Taxonomy of C-systems\u2019, in W. A. Carnielli, M. E. Coniglio, and I. L. M. D\u2019ottaviano (eds.), Paraconsistency\u2014the logical way to the sistent, Lecture Notes in Pure and Applied Mathematics, Marcel Dekker, 2002, pp. 1\u201394.","DOI":"10.1201\/9780203910139.pt1"},{"key":"9144_CR8","doi-asserted-by":"publisher","first-page":"497","DOI":"10.1305\/ndjfl\/1093891487","volume":"15","author":"N.C.A. da Costa","year":"1974","unstructured":"da Costa N.C.A.: \u2018On the theory of sistent formal systems\u2019. Notre Dame Journal of Formal Logic 15, 497\u2013510 (1974)","journal-title":"Notre Dame Journal of Formal Logic"},{"key":"9144_CR9","doi-asserted-by":"publisher","first-page":"791","DOI":"10.1016\/B978-044451541-4\/50023-3","volume-title":"Philosophy of Logic","author":"N.C.A. da Costa","year":"2007","unstructured":"da Costa N.C.A., Krause D., Bueno O.(2007). \u2018Paraconsistent Logics and Paraconsistency: Technical and Philosophical Developments\u2019. In:Jacquette D.(eds). Philosophy of Logic. Amsterdam, North-Holland, pp 791-911"},{"key":"9144_CR10","first-page":"31","volume":"XIX","author":"I.M.L. D\u2019Ottaviano","year":"1985","unstructured":"D\u2019Ottaviano I.M.L.: \u2018The completeness and compactness of a three-valued firstorder logic\u2019. Revista Colombiana de Matematicas XIX, 31\u201342 (1985)","journal-title":"Revista Colombiana de Matematicas"},{"key":"9144_CR11","doi-asserted-by":"crossref","unstructured":"Epstein, R. L. The Semantic Foundations of Logic, vol. 1: Propositional Logics, Kluwer Academic Publishers, 1990.","DOI":"10.1007\/978-94-009-0525-2"},{"key":"9144_CR12","unstructured":"Kleene, S.C. Introduction to metamathematics, D. van Nostrad Co., 1952."},{"key":"9144_CR13","doi-asserted-by":"crossref","first-page":"39","DOI":"10.1080\/11663081.1993.10510795","volume":"3","author":"B. Konikowska","year":"1993","unstructured":"Konikowska B.: \u2018Two over three: a two-valued logic for software specification and validation over a three-valued predicate calculus\u2019. Journal for Applied Non-Classical Logic 3, 39\u201371 (1993)","journal-title":"Journal for Applied Non-Classical Logic"},{"key":"9144_CR14","doi-asserted-by":"publisher","first-page":"185","DOI":"10.1023\/A:1004952317628","volume":"58","author":"B. Konikowska","year":"1997","unstructured":"Konikowska B.: \u2018A logic for reasoning about relative similarity\u2019. Studia Logica 58, 185\u2013226 (1997)","journal-title":"Studia Logica"},{"key":"9144_CR15","volume-title":"Systematic Software Development Using VDM, Prentice-Hall International","author":"C.B. Jones","year":"1986","unstructured":"Jones C.B.: Systematic Software Development Using VDM, Prentice-Hall International. Prentice-Hall International, U.K. (1986)"},{"key":"9144_CR16","volume-title":"Rough sets and Data Mining. Analysis of Imprecise Data","year":"1997","unstructured":"Lin, T.Y., Cercone, N. (eds): Rough sets and Data Mining. Analysis of Imprecise Data. Kluwer, Dordrecht (1997)"},{"key":"9144_CR17","unstructured":"\u0141ukasiewicz, J., \u2018On 3-valued Logic\u2019, 1920, in S. McCall (ed.), Polish Logic, Oxford University Press, 1967."},{"key":"9144_CR18","first-page":"376","volume-title":"Rough Sets in Knowledge Discovery 1. Methodology and Applications","author":"A. \u00d8hrn","year":"1998","unstructured":"\u00d8hrn A., Komorowski J., Skowron A., Synak P.(1998). \u2018The design and implementation of a knowledge discovery toolkit based on rough sets\u2014The ROSETTA system\u2019. In: Polkowski L., Skowron A.(eds). Rough Sets in Knowledge Discovery 1. Methodology and Applications. Physica Verlag, Heidelberg, pp 376\u2013399"},{"key":"9144_CR19","first-page":"572","volume-title":"Rough Sets in Knowledge Discovery 2. Applications, Case Studies and Software Systems","author":"A. \u00d8hrn","year":"1998","unstructured":"\u00d8hrn A., Komorowski J., Skowron A., Synak P.(1998). \u2018The ROSETTA software system\u2019. In: Polkowski L., Skowron A.(eds). Rough Sets in Knowledge Discovery 2. Applications, Case Studies and Software Systems. Physica Verlag, Heidelberg, pp 572\u2013576"},{"key":"9144_CR20","doi-asserted-by":"publisher","first-page":"341","DOI":"10.1007\/BF01001956","volume":"11","author":"Z. Pawlak","year":"1982","unstructured":"Pawlak Z.: \u2018Rough Sets\u2019. Intern. J. Comp. Inform. Sci. 11, 341\u2013356 (1982)","journal-title":"Intern. J. Comp. Inform. Sci."},{"key":"9144_CR21","volume-title":"Rough Sets. Theoretical Aspects of Reasoning about Data","author":"Z. Pawlak","year":"1991","unstructured":"Pawlak Z.: Rough Sets. Theoretical Aspects of Reasoning about Data. Kluwer, Dordrecht (1991)"},{"issue":"3","key":"9144_CR22","first-page":"1","volume":"29","author":"Z. Pawlak","year":"1997","unstructured":"Pawlak Z.: \u2018Rough set approach to knowledge-based decision support\u2019. European Journal of Operational Research 29(3), 1\u201310 (1997)","journal-title":"European Journal of Operational Research"},{"key":"9144_CR23","doi-asserted-by":"publisher","first-page":"661","DOI":"10.1080\/019697298125470","volume":"29","author":"Z. Pawlak","year":"1998","unstructured":"Pawlak Z.: \u2018Rough sets theory and its applications to data analysis\u2019. Cybernetics and Systems 29, 661\u2013688 (1998)","journal-title":"Cybernetics and Systems"},{"key":"9144_CR24","doi-asserted-by":"publisher","first-page":"283","DOI":"10.1002\/malq.19610071705","volume":"7","author":"H. Wang","year":"1961","unstructured":"Wang H.: \u2018The calculus of partial predicates and its extension to set theory\u2019. Zietschr. math. Logik Grundl. Math. 7, 283\u2013288 (1961)","journal-title":"Zietschr. math. Logik Grundl. Math."}],"container-title":["Studia Logica"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s11225-008-9144-3.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s11225-008-9144-3\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11225-008-9144-3","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s11225-008-9144-3.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,5,16]],"date-time":"2022-05-16T07:38:43Z","timestamp":1652686723000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s11225-008-9144-3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008,10]]},"references-count":24,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2008,10]]}},"alternative-id":["9144"],"URL":"https:\/\/doi.org\/10.1007\/s11225-008-9144-3","relation":{},"ISSN":["0039-3215","1572-8730"],"issn-type":[{"value":"0039-3215","type":"print"},{"value":"1572-8730","type":"electronic"}],"subject":[],"published":{"date-parts":[[2008,10]]},"assertion":[{"value":"1 October 2008","order":1,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}