{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,4,5]],"date-time":"2022-04-05T01:37:23Z","timestamp":1649122643050},"reference-count":45,"publisher":"Springer Science and Business Media LLC","issue":"4","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\/bf01057645","type":"journal-article","created":{"date-parts":[[2005,1,28]],"date-time":"2005-01-28T14:25:56Z","timestamp":1106922356000},"page":"467-471","source":"Crossref","is-referenced-by-count":0,"title":["Cecylia Rauszer"],"prefix":"10.1007","volume":"53","author":[{"given":"Helena","family":"Rasiowa","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"CR1","unstructured":"Cecylia Rauszer ?Representation Theorem for Semi-Boolean Algebras I?, Bull. Ac. Pol. Sc XIX (1971)."},{"key":"CR2","unstructured":"Cecylia Rauszer ?Representation Theorem for Semi-Boolean Algebras II?, Bull. Ac. Pol. Sc XIX (1971)."},{"key":"CR3","doi-asserted-by":"crossref","unstructured":"Cecylia Rauszer ?A formalization of propositional Calculus of H-B Logic?, Studia Logica XXXIII (1974).","DOI":"10.1007\/BF02120864"},{"key":"CR4","unstructured":"Cecylia Rauszer ?Representation Theorem for Distributive Pseudo-Boolean Algebras?, Bull. of the Section of Logic v. 3, no. 3\/4 (with B. Sabalski)."},{"key":"CR5","unstructured":"Cecylia Rauszer ?Remarks on ?-distributive Pseudo-Boolean Algebras?, Bull. Ac. Pol. Sc (1975)."},{"key":"CR6","doi-asserted-by":"crossref","unstructured":"Cecylia Rauszer ?Notes on Rasiowa-Sikorski Lemma?, Studia Logica (1975).","DOI":"10.1007\/BF02125229"},{"key":"CR7","unstructured":"Cecylia Rauszer ?Logika z punktu widzenia matematyki?, Problemy 1 (1976)."},{"key":"CR8","unstructured":"Cecylia Rauszer ?On the Strong Completeness of H-B Predicate Calculus?, Bull. Ac. Pol. Sc IV (1977)."},{"key":"CR9","unstructured":"Cecylia Rauszer ?Logika matematyczna?, in:Leksykon Matematyczny, Wiedza Powszechna."},{"key":"CR10","unstructured":"Cecylia Rauszer ?Craig Interpolation Theorem for an Extention of Intuitionistic Logic?, Bull. Ac. Pol. Sc XXV (1977) also as a short abstract in Journal of Symbolic Logic XLII, p. 134."},{"key":"CR11","doi-asserted-by":"crossref","unstructured":"Cecylia Rauszer ?Model Theory for an Extention of Intuitionistic Logic?, Studia Logica XXXVI (1977).","DOI":"10.1007\/BF02121116"},{"key":"CR12","unstructured":"Cecylia Rauszer ?Some Remarks on Model Theory for an Extention of IL? (abstract), Journal of Symbolic Logic XLII, p. 467."},{"key":"CR13","doi-asserted-by":"crossref","unstructured":"Cecylia Rauszer ?An Algebraic Approach to the Heyting-Brouwer Predicate Calculus?, Fundamenta Mathematicae XCVI (1977).","DOI":"10.4064\/fm-96-2-127-135"},{"key":"CR14","doi-asserted-by":"crossref","unstructured":"Cecylia Rauszer ?Applications of Kripke-Models to Heyting-Brouwer Logic?, Studia Logica XXXVI (1977)","DOI":"10.1007\/BF02121115"},{"key":"CR15","unstructured":"Cecylia Rauszer ?Research work of Andrzej Mostowski?, in:A. Mostowski; Selected Works, Fundamental Studies, PWN 1979."},{"key":"CR16","first-page":"459","volume":"XLIV","author":"Cecylia Rauszer","year":"1979","unstructured":"?Model Theory for Intuitionistic Logic (abstract), Journal of Symbolic Logic XLIV (1979), p. 459.","journal-title":"Journal of Symbolic Logic"},{"key":"CR17","unstructured":"Cecylia Rauszer ?An Algebraic and Kripke-style Approach to a Certain Extention of Intuitionistic Logic?, Diss. Math. CLXVII (1980)."},{"key":"CR18","unstructured":"Cecylia Rauszer ?Semestr Algebraiczny w Centrum Banacha? (with A. Romanowska and T. Traczyk), Wiadomosci Matematyczne, 1980."},{"key":"CR19","unstructured":"Cecylia Rauszer Proceedings of the Conference Open Days in Model Theory and Set Theory (with W. Guzicki, W. Marek and A. Pelc), University of Leeds, 1981."},{"key":"CR20","doi-asserted-by":"crossref","unstructured":"Cecylia Rauszer ?On an Algebraic and Kripke Semantics for Intermediate Logics? (with H. Ono), in:Universal Algebra and Applications, Series of Banach Center Publications, vol. 9, 1982.","DOI":"10.4064\/-9-1-431-438"},{"key":"CR21","unstructured":"Cecylia Rauszer ?Genzen-style Axiomatization for some Intermediate Logic?, in:Proceedings of the 6-th Latin American Symposium of the Mathematical Logic, Caracas 1983."},{"key":"CR22","first-page":"11","volume":"23","author":"Cecylia Rauszer","year":"1983","unstructured":"?Logical Foundation Approach to Users' Domain in Data Bases?, (with A. Jankowski), Theoretical Computer Science 23 (1983), pp. 11?36.","journal-title":"Theoretical Computer Science"},{"key":"CR23","first-page":"703","volume":"XLIX","author":"Cecylia Rauszer","year":"1984","unstructured":"?On a Certain Cut-free Axiomatization of some Intermediate Logic? (abstract), Journal of Symbolic Logic XLIX (1984), p. 703.","journal-title":"Journal of Symbolic Logic"},{"key":"CR24","first-page":"1438","volume":"XLIX","author":"Cecylia Rauszer","year":"1984","unstructured":"?Some problems on Intermediate Predicate Logics? (abstract), Journal of Symbolic Logic XLIX (1984), p. 1438.","journal-title":"Journal of Symbolic Logic"},{"key":"CR25","unstructured":"Cecylia Rauszer ?Select Problems of Computerization in the Sugar Production?, publications of United Nation Industrial Development Organization, 1984."},{"issue":"9","key":"CR26","first-page":"551","volume":"33","author":"Cecylia Rauszer","year":"1985","unstructured":"?Dependency of Attributes in Information Systems? (with Z. Pawlak), Bull. Ac. Pol. Sc vol. 33, no. 9 (1985), pp. 551?559.","journal-title":"Bull. Ac. Pol. Sc"},{"issue":"9","key":"CR27","first-page":"561","volume":"33","author":"Cecylia Rauszer","year":"1985","unstructured":"?Algebraic Properties of Functional Dependencies?, Bull. Ac. Pol. Sc vol. 33, no. 9 (1985), pp. 561?569.","journal-title":"Bull. Ac. Pol. Sc"},{"issue":"9","key":"CR28","first-page":"571","volume":"33","author":"Cecylia Rauszer","year":"1985","unstructured":"?An Equivalence between Theory of Functional Dependencies and a Fragment of Intuitionistic Logic?, Bull. Ac. Pol. Sc vol. 33, no. 9 (1985), pp. 571?579.","journal-title":"Bull. Ac. Pol. Sc"},{"issue":"3\/4","key":"CR29","first-page":"249","volume":"34","author":"Cecylia Rauszer","year":"1985","unstructured":"?Remarks on Logic for Dependencies?, Bull. Ac. Pol. Sc vol. 34, no. 3\/4 (1985), pp. 249?252.","journal-title":"Bull. Ac. Pol. Sc"},{"key":"CR30","doi-asserted-by":"crossref","unstructured":"Cecylia Rauszer ?An Equivalence between Indiscernibility Relations in Information Systems and a Fragment of Intuitionistic Logic?, in:Proceedings of the Conference Mathematical Foundations of Computer Science, Lecture Notes in CS, 1984, pp. 298 ? 317.","DOI":"10.1007\/3-540-16066-3_25"},{"key":"CR31","unstructured":"Cecylia Rauszer ?An Algebraic and Logical Approach to Indiscernibility Relations?, ICS PAS Reports no. 559, January 1985."},{"key":"CR32","unstructured":"Cecylia Rauszer Rozmaito?ci matematyczne, Nasza Ksiegarnia, 1980, 1983."},{"key":"CR33","unstructured":"Cecylia Rauszer ?A Logic for Indiscernibility Relations?, in:Proceedings of the Conference on Information Sciences and Systems, Princeton 1986."},{"key":"CR34","unstructured":"Cecylia Rauszer ?Functional Dependencies as a Fragment of Intuitionistic Logic? (abstract), Journal of Symbolic Logic LII (1987), p. 339."},{"key":"CR35","doi-asserted-by":"crossref","unstructured":"Cecylia Rauszer ?Query Optimization in the Databases Distriduted by Means of Product of Equivalence Relations?, in:Proceedings of the Workshop on Deductive Databases and Programing Languages, Washington 1986, Fundamenta Informaticae XI (1988), pp. 241 ? 266.","DOI":"10.3233\/FI-1988-11303"},{"key":"CR36","unstructured":"Cecylia Rauszer ?Algebraic and Logical Approach to Functional and Multivalued Dependencies in Relational Databases?, in:Colloquia of the Second International Symposium on Methodologies for Intelligent Systems, Charlotte 1987."},{"key":"CR37","unstructured":"Cecylia Rauszer ?Stable Autoepistemic Expansions?, in:Proceedings of the Third International Symposium on Methodologies for Intelligent Systems, Torino 1988."},{"key":"CR38","first-page":"426","volume":"55","author":"Cecylia Rauszer","year":"1990","unstructured":"?Stable Autoepistemic Theories? (abstract), Journal of Symbolic Logic 55 (1990), p. 426.","journal-title":"Journal of Symbolic Logic"},{"key":"CR39","unstructured":"Cecylia Rauszer ?Expansions and Models of Autoepistemic Theories?, in: 4-th Workshop CSL'90, Heidelberg 1990, Lectures Notes in Computer Science no. 533."},{"key":"CR40","unstructured":"Cecylia Rauszer ?On Certain Stable Constructions?, in:Colloquia of the Fifth International Symposium on Methodologies for Intelligent Systems, Charlotte 1990."},{"key":"CR41","first-page":"1","volume":"1","author":"Cecylia Rauszer","year":"1991","unstructured":"?Reducts in Information Systems?, Fundamenta Informaticae XV, 1 (1991), pp. 1?12.","journal-title":"Fundamenta Informaticae XV"},{"key":"CR42","doi-asserted-by":"crossref","first-page":"168","DOI":"10.3233\/FI-1991-15206","volume":"2","author":"Cecylia Rauszer","year":"1991","unstructured":"?Algebraic Considerations of Autoepistemic Logic?, Fundamenta Informaticae XV, 2 (1991), pp. 168?169.","journal-title":"Fundamenta Informaticae XV"},{"key":"CR43","unstructured":"Cecylia Rauszer ?Logic for Information Systems?, Fundamenta Informaticae ? to apper."},{"key":"CR44","unstructured":"Cecylia Rauszer ?Logic for Dependencies in Relational Databases?, Fundamenta Informaticae ? to apper."},{"key":"CR45","unstructured":"Cecylia Rauszer ?The Discernibility Matrices and Functions in Information Systems? (with A. Skowron), in:Decision Support by Experience ? Applications of the Rough Sets Theory, R. S?owi?ski (ed.), Kluwer Academic Publishers, Dordrecht ? to appear."}],"container-title":["Studia Logica"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF01057645.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF01057645\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF01057645","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,7,4]],"date-time":"2021-07-04T10:47:20Z","timestamp":1625395640000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF01057645"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1994]]},"references-count":45,"journal-issue":{"issue":"4","published-print":{"date-parts":[[1994]]}},"alternative-id":["BF01057645"],"URL":"https:\/\/doi.org\/10.1007\/bf01057645","relation":{},"ISSN":["0039-3215","1572-8730"],"issn-type":[{"value":"0039-3215","type":"print"},{"value":"1572-8730","type":"electronic"}],"subject":[],"published":{"date-parts":[[1994]]}}}