{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,2,19]],"date-time":"2023-02-19T02:51:02Z","timestamp":1676775062212},"reference-count":29,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[1994,1,1]],"date-time":"1994-01-01T00:00:00Z","timestamp":757382400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Stud Logica"],"published-print":{"date-parts":[[1994]]},"DOI":"10.1007\/bf01053027","type":"journal-article","created":{"date-parts":[[2005,1,27]],"date-time":"2005-01-27T17:38:08Z","timestamp":1106847488000},"page":"137-160","source":"Crossref","is-referenced-by-count":7,"title":["Axiomatization and completeness of uncountably valued approximation logic"],"prefix":"10.1007","volume":"53","author":[{"given":"Helena","family":"Rasiowa","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"CR1","first-page":"615","volume":"5","author":"A. Bia?ynicki-Birula","year":"1957","unstructured":"A. Bia?ynicki-Birula andH. Rasiowa,On the representation of quasi-Boolean algebras Bull. Ac. Pol. Sci. C1.III, 5 (1957), pp. 615?619.","journal-title":"Bull. Ac. Pol. Sci."},{"key":"CR2","first-page":"103","volume-title":"Modern Uses of Multiple-Valued Logic","author":"R. Z. Bellman","year":"1997","unstructured":"R. Z. Bellman andL. A. Zadeh,Local and fuzzy logic in:Modern Uses of Multiple-Valued Logic, J. M. Dunn, G. Epstein (eds.), D. Reidel Publ. Co., Dordrecht 1997, pp. 103?165."},{"issue":"2","key":"CR3","first-page":"147","volume":"46","author":"Ng. Cat Ho","year":"1987","unstructured":"Ng. Cat Ho andH. Rasiowa,Semi-Post algebras Studia Logica 46 2 (1987), pp. 147?158.","journal-title":"Studia Logica"},{"issue":"4","key":"CR4","doi-asserted-by":"crossref","first-page":"509","DOI":"10.1007\/BF00370204","volume":"48","author":"Ng. Cat Ho","year":"1989","unstructured":"Ng. Cat Ho andH. Rasiowa,Plain semi-Post algebras as a poset-based generalization of the Post algebras and their representability Studia Logica 48 4 (1989), pp. 509?530.","journal-title":"Studia Logica"},{"key":"CR5","doi-asserted-by":"crossref","unstructured":"B. F. Chellas,Modal Logic, Cambridge University Press, 1980.","DOI":"10.1017\/CBO9780511621192"},{"key":"CR6","doi-asserted-by":"crossref","first-page":"300","DOI":"10.1090\/S0002-9947-1960-0112855-8","volume":"95","author":"G. Epstein","year":"1960","unstructured":"G. Epstein,The lattice theory of Post algebras Trans. Amer. Math. Soc. 95 (1960), pp. 300?317.","journal-title":"Trans. Amer. Math. Soc."},{"key":"CR7","unstructured":"M. R. Genesereth andN. J. Nilsson,Logical Foundations of Artificial Intelligence, Morgan Kaufmann, 1987."},{"key":"CR8","unstructured":"M. L. Ginsberg (ed.),Readings in Nonmonotonic Reasoning, Morgan Kaufmann, 1987."},{"key":"CR9","doi-asserted-by":"crossref","first-page":"145","DOI":"10.1016\/0022-247X(67)90189-8","volume":"18","author":"J. A. Goguen","year":"1967","unstructured":"J. A. Goguen,L-fuzzy sets Journal Math. Anal. Appls. 18 (1967), pp. 145?174.","journal-title":"Journal Math. Anal. Appls."},{"key":"CR10","doi-asserted-by":"crossref","unstructured":"J. Y. Halpern (ed.),Theoretical Aspects of Reasoning about Knowledge, Morgan Kaufmann, 1986.","DOI":"10.1016\/B978-0-934613-04-0.50004-1"},{"key":"CR11","first-page":"30","volume":"23","author":"J. ?ukasiewicz","year":"1930","unstructured":"J. ?ukasiewicz andA. Tarski,Untersuchungen \ufffdber den Aussagen-Kalk\ufffdl Comptes-rendus des S\ufffdances de la Societ\ufffd des Sciences et des Lettres de Varsovie, CLIII 23, 1930, pp. 30?50.","journal-title":"Comptes-rendus des S\ufffdances de la Societ\ufffd des Sciences et des Lettres de Varsovie, CLIII"},{"key":"CR12","doi-asserted-by":"crossref","first-page":"71","DOI":"10.1016\/0004-3702(86)90031-7","volume":"28","author":"N. J. Nilsson","year":"1986","unstructured":"N. J. Nilsson Probabilistic logic Artificial Intelligence 28 (1986), pp. 71?87.","journal-title":"Artificial Intelligence"},{"key":"CR13","unstructured":"R. Parikh, (ed.),Theoretical Aspects of Reasoning about Knowledge, Morgan Kaufmann, 1990."},{"key":"CR14","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 Sciences 11 (1982), pp. 341?356.","journal-title":"Int. Journal of Computer and Information Sciences"},{"key":"CR15","volume-title":"Rough Sets. Theoretical Aspects of Reasoning about Data","author":"Z. Pawlak","year":"1991","unstructured":"Z. Pawlak,Rough Sets. Theoretical Aspects of Reasoning about Data Kluwer Academic Publishers, Dordrecht\/Boston\/London 1991."},{"key":"CR16","volume-title":"An Algebraic Approach to Non-classical Logics, Studies in Logic and the Foundations of Mathematics, 78","author":"H. Rasiowa","year":"1974","unstructured":"H. Rasiowa,An Algebraic Approach to Non-classical Logics, Studies in Logic and the Foundations of Mathematics, 78 North-Holland, Amsterdam 1974."},{"key":"CR17","first-page":"342","volume-title":"An Algebraic approach to some approximate reasoning, Invited lecture","author":"H. Rasiowa","year":"1987","unstructured":"H. Rasiowa,An Algebraic approach to some approximate reasoning, Invited lecture Proc. ISMVL'87, IEEE Computer Society Press, Boston 1987, pp. 342?347."},{"key":"CR18","first-page":"188","volume-title":"Logic of approximation reasoning","author":"H. Rasiowa","year":"1988","unstructured":"H. Rasiowa,Logic of approximation reasoning Proc. 1st Workshop on Computer Science Logic, Karlsruhe, FRG, 1987, LNCS 329, Springer-Verlag, Berlin 1988, pp. 188?210."},{"key":"CR19","first-page":"63","volume-title":"On approximation logics: A survey","author":"H. Rasiowa","year":"1990","unstructured":"H. Rasiowa,On approximation logics: A survey Jahrbuch1990 Kurt G\ufffddel Geselschaft, Wien, pp. 63?87."},{"key":"CR20","first-page":"233","volume-title":"LT-fuzzy sets","author":"H. Rasiowa","year":"1992","unstructured":"H. Rasiowa andNg. Cat Ho,LT-fuzzy sets Int. Journal Fuzzy Sets and Systems 47, 3(1992), North-Holland, Amsterdam, pp. 233?339."},{"key":"CR21","first-page":"121","volume-title":"Fuzzy Logic for Management of Uncertainty","author":"H. Rasiowa","year":"1992","unstructured":"H. Rasiowa andNg. Cat Ho,LT-fuzzy logics in:Fuzzy Logic for Management of Uncertainty L. A. Zadeh and J. Kacprzyk, eds., J. Wiley, New York 1992, pp. 121?139."},{"key":"CR22","first-page":"234","volume-title":"Proc. ISMIS'89","author":"H. Rasiowa","year":"1989","unstructured":"H. Rasiowa andW. Marek,On reaching consensus by groups of intelligent agents Proc. ISMIS'89 Z. W. Ra? (ed.), North-Holland, Amsterdam 1989, pp. 234?243."},{"key":"CR23","doi-asserted-by":"crossref","first-page":"192","DOI":"10.4064\/fm-37-1-193-200","volume":"37","author":"H. Rasiowa","year":"1950","unstructured":"H. Rasiowa andR. Sikorski,A proof of the completeness theorem of G\ufffddel Fundamenta Mathematicae 37 (1950), pp. 192?200.","journal-title":"Fundamenta Mathematicae"},{"key":"CR24","unstructured":"H. Rasiowa, andR. Sikorski,The Mathematics of Metamathematics, Polish Scientific Publ. Warszawa 1963, 3rd ed. 1970."},{"key":"CR25","first-page":"123","volume-title":"Proc. Math. Methods of Specification and Synthesis of Software Systems","author":"H. Rasiowa","year":"1986","unstructured":"H. Rasiowa andA. Skowron,Approximation logic Proc. Math. Methods of Specification and Synthesis of Software Systems Symp. 1985, Akademie Verlag, Band 31, Berlin 1986, pp. 123?139."},{"key":"CR26","volume-title":"Many-valued Logic","author":"N. Rescher","year":"1969","unstructured":"N. Rescher,Many-valued Logic Mc-Graw-Hill, New York 1969."},{"key":"CR27","volume-title":"Intelligent Decision Support. Handbook of Applications and Advances in the Rough Sets Theory","year":"1992","unstructured":"R. S?owi?ski, (ed.)Intelligent Decision Support. Handbook of Applications and Advances in the Rough Sets Theory Kluwer Academic Publishers, Dordrecht\/Boston\/London 1992."},{"key":"CR28","doi-asserted-by":"crossref","first-page":"338","DOI":"10.1016\/S0019-9958(65)90241-X","volume":"8","author":"L. A. Zadeh","year":"1965","unstructured":"L. A. Zadeh,Fuzzy sets Information and Control 8 (1965), pp. 338?359.","journal-title":"Information and Control"},{"key":"CR29","volume-title":"Fuzzy Logic for Management of Uncertainty","year":"1992","unstructured":"L. A. Zadeh andJ. Kacprzyk eds.,Fuzzy Logic for Management of Uncertainty J. Wiley, New York 1992."}],"container-title":["Studia Logica"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF01053027.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF01053027\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF01053027","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,5]],"date-time":"2020-04-05T13:04:34Z","timestamp":1586091874000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF01053027"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1994]]},"references-count":29,"journal-issue":{"issue":"1","published-print":{"date-parts":[[1994]]}},"alternative-id":["BF01053027"],"URL":"https:\/\/doi.org\/10.1007\/bf01053027","relation":{},"ISSN":["0039-3215","1572-8730"],"issn-type":[{"value":"0039-3215","type":"print"},{"value":"1572-8730","type":"electronic"}],"subject":[],"published":{"date-parts":[[1994]]}}}