{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,7,11]],"date-time":"2024-07-11T11:52:05Z","timestamp":1720698725768},"reference-count":21,"publisher":"Springer Science and Business Media LLC","issue":"4","license":[{"start":{"date-parts":[[1989,12,1]],"date-time":"1989-12-01T00:00:00Z","timestamp":628473600000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Studia Logica"],"published-print":{"date-parts":[[1989,12]]},"DOI":"10.1007\/bf00370204","type":"journal-article","created":{"date-parts":[[2004,11,2]],"date-time":"2004-11-02T18:56:22Z","timestamp":1099421782000},"page":"509-530","source":"Crossref","is-referenced-by-count":14,"title":["Plain Semi-Post algebras as a poset-based generalization of post algebras and their representability"],"prefix":"10.1007","volume":"48","author":[{"given":"Nguyen Cat","family":"Ho","sequence":"first","affiliation":[]},{"given":"Helena","family":"Rasiowa","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"CR1","first-page":"1","volume":"CVII","author":"Ng. Cat Ho","year":"1973","unstructured":"Ng. Cat Ho, Generalized Post algebras and their applications to some infinitary many-valued logics, Dissertations Mathematicae CVII (1973), pp. 1?76.","journal-title":"Dissertations Mathematicae"},{"issue":"2","key":"CR2","first-page":"147","volume":"46","author":"Ng. Cat Ho","year":"1987","unstructured":"Ng. Cat Ho and H. Rasiowa, Semi-Post-algebras, Studia Logica 46, 2 (1987), pp. 147?158.","journal-title":"Studia Logica"},{"issue":"2","key":"CR3","first-page":"159","volume":"46","author":"Ng. Cat Ho","year":"1987","unstructured":"Ng. Cat Ho and H. Rasiowa, Subalgebras and homomorphisms of semi-Post algebras, ibidem 46, 2 (1987), pp. 159?173.","journal-title":"Studia Logica"},{"key":"CR4","doi-asserted-by":"crossref","first-page":"462","DOI":"10.1016\/S1385-7258(66)50052-X","volume":"28","author":"Ph. Dwinger","year":"1966","unstructured":"Ph. Dwinger, Notes on Post algebras I, II, Indagationes Math. 28 (1966), pp. 462?478.","journal-title":"Indagationes Math."},{"key":"CR5","first-page":"559","volume":"16","author":"Ph. Dwinger","year":"1968","unstructured":"Ph. Dwinger, Generalized Post algebras, Bull. Ac. Polon. Sci. S\ufffdr. Math. Astronom. Phys. 16 (1968), pp. 559?563.","journal-title":"Bull. Ac. Polon. Sci. S\ufffdr. Math. Astronom. Phys."},{"key":"CR6","first-page":"483","volume":"17","author":"Ph. Dwinger","year":"1969","unstructured":"Ph. Dwinger, Ideals in generalized Post algebras, ibidem, 17 (1969), pp. 483?486.","journal-title":"Bull. Ac. Polon. Sci. S\ufffdr. Math. Astronom. Phys."},{"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":"G. Epstein, The lattice theory of Post algebras, Trans. Amer. Math. Soc. 95 (1960), pp. 300?317.","journal-title":"Trans. Amer. Math. Soc."},{"key":"CR8","first-page":"209","volume":"21","author":"H. Rasiowa","year":"1973","unstructured":"H. Rasiowa, On generalized Post algebras of order ? + and ? + -valued predicate calculi, Bull. Ac. Polon. Sci. S\ufffdr. Math. Astr. Phys. 21 (1973), pp. 209?219.","journal-title":"Bull. Ac. Polon. Sci. S\ufffdr. Math. Astr. Phys."},{"key":"CR9","volume-title":"An Algebraic Approach to Non-Classical Logics","author":"H. Rasiowa","year":"1974","unstructured":"H. Rasiowa, An Algebraic Approach to Non-Classical Logics, North-Holland, London-New York, 1974."},{"key":"CR10","doi-asserted-by":"crossref","unstructured":"H. Rasiowa, Many-valued algorithmic logic as a tool to investigate programs, in: Modern Uses of Multiple-Valued Logic, ed. by G. Epstein, Reidel (1977), pp. 77?102.","DOI":"10.1007\/978-94-010-1161-7_5"},{"issue":"4","key":"CR11","doi-asserted-by":"crossref","first-page":"353","DOI":"10.1007\/BF00370427","volume":"44","author":"H. Rasiowa","year":"1985","unstructured":"H. Rasiowa, Topological representations of Post algebras of order ? + and open theories based on ? + -valued logic, Studia Logica 44, 4 (1985), pp. 353?368.","journal-title":"Studia Logica"},{"key":"CR12","unstructured":"H. Rasiowa, Rough concepts and multiple-valued logic, Proc. of ISMVL'86, May 27?29,1986, Blacksburg, Virginia, USA, Computer Society Press, 1986, pp. 282?288."},{"key":"CR13","unstructured":"H. Rasiowa, An algebraic approach to some approximate reasoning, Proc. of ISMVL'87, Boston, USA, May 26?28, 1987, Computer Society Press, 1987, pp. 342?347."},{"key":"CR14","doi-asserted-by":"crossref","unstructured":"H. Rasiowa, Logic of approximation reasoning, Proceedings, 1st Workshop on Computer Science Logic (CSL'87), Karlsruhe, Oct. 12?16, 1987, eds. E. B\ufffdrger, H. Kleine B\ufffdning, M. M. Richter, LNCS 329 (1988), pp. 188?210.","DOI":"10.1007\/3-540-50241-6_38"},{"key":"CR15","unstructured":"H. Rasiowa, and G. Epstein, Approximation reasoning and Scott's Information Systems, Proc. Int. Symp. Methodologies for Intelligent Systems, Charlotte 14?17 October, 1987, USA, North-Holland, pp. 33?42."},{"key":"CR16","doi-asserted-by":"crossref","first-page":"193","DOI":"10.4064\/fm-37-1-193-200","volume":"37","author":"H. Rasiowa","year":"1950","unstructured":"H. Rasiowa and R. Sikorski, A proof of the completeness theorem of G\ufffddel, Fund. Math. 37 (1950), pp. 193?200.","journal-title":"Fund. Math."},{"key":"CR17","unstructured":"H. Rasiowa and R. Sikorski, The Mathematics of Metamathematics, 3rd ed. 1970."},{"key":"CR18","doi-asserted-by":"crossref","first-page":"133","DOI":"10.4064\/fm-67-1-133-145","volume":"67","author":"G. Rousseau","year":"1970","unstructured":"G. Rousseau, Post algebras and pseudo-Post algebras, Fund. Math. 67 (1970), pp. 133?145.","journal-title":"Fund. Math."},{"key":"CR19","doi-asserted-by":"crossref","unstructured":"R. Sikorski, Boolean Algebras, third ed., Berlin-G\ufffdttingen-Heidelberg-New York, 1969.","DOI":"10.1007\/978-3-642-85820-8"},{"key":"CR20","first-page":"673","volume":"15","author":"T. Traczyk","year":"1967","unstructured":"T. Traczyk, On Post algebras with uncountable chain of constants. Algebras and Homomorphisms, Bull. Ac. Polon. Sci. S\ufffdr. Math. Astr. Phys. 15 (1967), pp. 673?680.","journal-title":"Bull. Ac. Polon. Sci. S\ufffdr. Math. Astr. Phys."},{"key":"CR21","first-page":"369","volume":"16","author":"T. Traczyk","year":"1968","unstructured":"T. Traczyk, Prime ideals in generalized Post algebras, ibidem 16 (1968), pp. 369?373.","journal-title":"Bull. Ac. Polon. Sci. S\ufffdr. Math. Astr. Phys."}],"container-title":["Studia Logica"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF00370204.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF00370204\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF00370204","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,8]],"date-time":"2019-04-08T21:44:03Z","timestamp":1554759843000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF00370204"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1989,12]]},"references-count":21,"journal-issue":{"issue":"4","published-print":{"date-parts":[[1989,12]]}},"alternative-id":["BF00370204"],"URL":"https:\/\/doi.org\/10.1007\/bf00370204","relation":{},"ISSN":["0039-3215","1572-8730"],"issn-type":[{"value":"0039-3215","type":"print"},{"value":"1572-8730","type":"electronic"}],"subject":[],"published":{"date-parts":[[1989,12]]}}}