Abstract
A representation theory for Scott consequence systems in property systems and in Pawlak’s information systems is developed. It is proved that each Scott’s information system can be represented in a certain Pawlak’s information system.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
Gabbay D. M., Semantical Investigations in Heyting’s Intuitionistic Logic, Synthese Library v. 148, D. Reidel Publishing Company, Holland, 1981.
Pawlak Z., Information Systems Theoretical Foundations, Information systems, 6 (1981), 205–218.
Pawlak Z.,Systemy Informacyjne, WNT, Warszawa, 1983 (in Polish).
Rasiowa H. and G. Epstein, Approximation Reasoning and Scott’s Information Systems. In the proc. of International Symp. on Methodologies for Intelligent Systems’87, Charlotte, October 14–17, 1987, USA, North-Holland, 33–42.
Scott D., Domains for Denotational Semantics. A connected and expanded Version of a Paper Prepared for ICALP 1982, Aarhus, Denmark 1982.
Segerberg K., Classical Propositional Operators. Clarendon Press, Oxford, 1982.
Vakarelov D.,Logical Analysis of Positive and Negative Similarity Relations in Property Systems, in the proc. of WOCFAI’91, July 1–5, 1991, Paris, ed. Michel De Glas and Dov Gabbay, pp 491–499.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1992 Springer Science+Business Media Dordrecht
About this chapter
Cite this chapter
Vakarelov, D. (1992). Consequence Relations and Information Systems. In: Słowiński, R. (eds) Intelligent Decision Support. Theory and Decision Library, vol 11. Springer, Dordrecht. https://doi.org/10.1007/978-94-015-7975-9_24
Download citation
DOI: https://doi.org/10.1007/978-94-015-7975-9_24
Publisher Name: Springer, Dordrecht
Print ISBN: 978-90-481-4194-4
Online ISBN: 978-94-015-7975-9
eBook Packages: Springer Book Archive