{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,12,22]],"date-time":"2024-12-22T21:40:07Z","timestamp":1734903607365,"version":"3.32.0"},"reference-count":20,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[1995,1,1]],"date-time":"1995-01-01T00:00:00Z","timestamp":788918400000},"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":[[1995]]},"DOI":"10.1007\/bf01053003","type":"journal-article","created":{"date-parts":[[2005,1,27]],"date-time":"2005-01-27T17:39:03Z","timestamp":1106847543000},"page":"303-332","source":"Crossref","is-referenced-by-count":0,"title":["A partially ordered extention of the integers"],"prefix":"10.1007","volume":"54","author":[{"given":"George","family":"Epstein","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Helena","family":"Rasiowa","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"5","key":"CR1","first-page":"615","volume":"C1.III","author":"A. Bia?ynicki-Birula","year":"1957","unstructured":"Bia?ynicki-Birula, A. andH. Rasiowa, 1957, ?On the representation of quasi-Boolean algebras?,Bull. Ac. Pol. Sc. C1.III, 5, 615?617.","journal-title":"Bull. Ac. Pol. Sc."},{"key":"CR2","first-page":"1","volume":"CVII","author":"Cat Ho Ng","year":"1973","unstructured":"Ng. Cat Ho, 1973, ?Generalized Post algebras and their applications to some infinitary many-valued logics.?,Dissertationes Mathematicae CVII, 1?76.","journal-title":"Dissertationes Mathematicae"},{"issue":"2","key":"CR3","first-page":"147","volume":"46","author":"Cat Ho Ng","year":"1987","unstructured":"Ng. Cat Ho, andH. Rasiowa, 1987, ?Semi-Post algebras?,Studia Logica, 46 (2), 147?158.","journal-title":"Studia Logica"},{"issue":"4","key":"CR4","doi-asserted-by":"crossref","first-page":"509","DOI":"10.1007\/BF00370204","volume":"48","author":"Cat Ho Ng","year":"1989","unstructured":"Ng. Cat Ho, andH. Rasiowa, 1989, ?Plain semi-Post algebras as a posets-based generalization of Post algebras and their representability?,Studia Logica, 48 (4), 509?530.","journal-title":"Studia Logica"},{"key":"CR5","doi-asserted-by":"crossref","first-page":"462","DOI":"10.1016\/S1385-7258(66)50052-X","volume":"28","author":"Ph. Dwinger","year":"1966","unstructured":"Dwinger, Ph., 1966, ?Notes on Post algebras I, II?,Indag. Math., 28, 462?478.","journal-title":"Indag. Math."},{"key":"CR6","doi-asserted-by":"crossref","first-page":"195","DOI":"10.1007\/BF02485725","volume":"4","author":"G. Epstein","year":"1974","unstructured":"Epstein G., andA. Horn, 1974, ?P-algebras, An abstraction from Post algebras?,Algebra Universalis, 4, 195?206.","journal-title":"Algebra Universalis"},{"key":"CR7","doi-asserted-by":"crossref","first-page":"300","DOI":"10.1090\/S0002-9947-1960-0112855-8","volume":"95","author":"G. Epstein","year":"1960","unstructured":"Epstein G., 1960, ?The lattice theory of Post algebras?,Trans. Amer. Math. Soc., 95, 300?317.","journal-title":"Trans. Amer. Math. Soc."},{"key":"CR8","unstructured":"Epstein G., andH. Rasiowa, 1986, ?A P-algebraic extension of Post algebras of order ?+' Proc. ISMVL '86, Blacksburg, VA, 27?29 May 1986,IEEE Computer Society Press, 4?7."},{"key":"CR9","doi-asserted-by":"crossref","unstructured":"Epstein G., andH. Rasiowa, 1990, ?Theory and uses of Post algebras of order ?+?*, I?. Proc. 20th International Symposium on Multiple-Valued Logic ISMVL '90, Charlotte, NC, 23?25 May 1990,IEEE Computer Science Press, 42?47.","DOI":"10.1109\/ISMVL.1990.122591"},{"key":"CR10","doi-asserted-by":"crossref","unstructured":"Epstein G., andH. Rasiowa, 1991, ?Theory and uses of Post algebras of order ?+?*, Part II?, Proc. 21st Int'l Symp. on Multiple-Valued Logic ISMVL '91, Victoria B. C., 26?29 May 1991,IEEE Computer Science Press, 248?254.","DOI":"10.1109\/ISMVL.1991.130738"},{"key":"CR11","first-page":"209","volume":"21","author":"H. Rasiowa","year":"1973","unstructured":"Rasiowa H., 1973, ?On generalized Post algebras of order ? and ?+-valued predicate calculi?,Bull. Ac. Pol. Sci. Ser. Math. Astron. Phys., 21, 209?219.","journal-title":"Bull. Ac. Pol. Sci. Ser. Math. Astron. Phys."},{"key":"CR12","volume-title":"Studies in Logic and the Foundations of Mathematics,Vol. 78","author":"H. Rasiowa","year":"1974","unstructured":"Rasiowa H., 1974, ?An algebraic approach to non-classical logics?,Studies in Logic and the Foundations of Mathematics,Vol. 78, North Holland, London-New York."},{"key":"CR13","unstructured":"Rasiowa H., 1986, ?Rough concepts and multiple-valued logic?, Proc. ISMVL '86, Blacksburg, VA, 27?29 May 1986,IEEE Computer Society Press, 282?288."},{"key":"CR14","doi-asserted-by":"crossref","unstructured":"Rasiowa H., 1988, ?Logic of approximation reasoning?, Proc. 1st Workshop on Computer Science Logic, CSL '87, Karlsruhe, FRG, October 1987,E. Borger, H. Kleine Buning, M. M. Riichter, Lecture Notes in Computer Science 329, Springer, 188?210.","DOI":"10.1007\/3-540-50241-6_38"},{"key":"CR15","unstructured":"Rasiowa H., 1989, ?Logics of approximation reasoning semantically based on partially ordered sets?, Notes of invited lecture, ASL Logic Colloquium '89, Berlin, FRG."},{"key":"CR16","unstructured":"Rasiowa H., andG. Epstein, 1987, ?Approximation reasoning and Scott's information systems.? Proc. 2nd International Symposium on Methodologies for Intelligent Systems,North Holland, 33?42."},{"key":"CR17","doi-asserted-by":"crossref","first-page":"133","DOI":"10.4064\/fm-67-1-133-145","volume":"67","author":"G. Rousseau","year":"1970","unstructured":"Rousseau G., 1970, ?Post algebras and pseudo-Post algebras?,Fund. Math. 67, 133?145.","journal-title":"Fund. Math."},{"key":"CR18","doi-asserted-by":"crossref","first-page":"193","DOI":"10.4064\/fm-37-1-193-200","volume":"37","author":"H. Rasiowa","year":"1950","unstructured":"Rasiowa H., andR. Sikorski, 1950, ?A proof of the completeness theorem of Godel?,Fund. Math., 37, 193?200.","journal-title":"Fund. Math."},{"key":"CR19","unstructured":"Rasiowa H., andR. Sikorski, 1970, ?The Mathematics of Metamathematics?,Pol. Sci. Publ., 3rd ed."},{"key":"CR20","first-page":"673","volume":"15","author":"T. Traczyk","year":"1967","unstructured":"Traczyk T., 1967, ?On Post algebras with uncountable chain of constants. Algebras and homomorphisms?,Bull. Ac. Pol. Sci., Ser. Math. Astron. Phys., 15, 673?680.","journal-title":"Bull. Ac. Pol. Sci., Ser. Math. Astron. Phys."}],"container-title":["Studia Logica"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF01053003.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF01053003\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF01053003","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,12,22]],"date-time":"2024-12-22T21:26:55Z","timestamp":1734902815000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF01053003"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1995]]},"references-count":20,"journal-issue":{"issue":"3","published-print":{"date-parts":[[1995]]}},"alternative-id":["BF01053003"],"URL":"https:\/\/doi.org\/10.1007\/bf01053003","relation":{},"ISSN":["0039-3215","1572-8730"],"issn-type":[{"type":"print","value":"0039-3215"},{"type":"electronic","value":"1572-8730"}],"subject":[],"published":{"date-parts":[[1995]]}}}