Logic for Information Systems¹

Article type: Research Article

Authors: Rauszer, Cecylia M.

Affiliations: Institute of Mathematics, University of Warsaw, Banacha 2, 00 913 Warsaw, Poland

Note: [1] The paper was supported by the grant G-MEN 201.

Abstract: In the paper we consider a logical system called Decision Logic which may be used as a tool in the investigations of information systems. We provide two axiomatizations of that logic. One follows from the properties of information systems. The latter is in the style of proof theory. We prove the soundness and completeness theorems and show that both axiomatizations provide the same set of true formulae.

DOI: 10.3233/FI-1992-163-410

Journal: Fundamenta Informaticae, vol. 16, no. 3-4, pp. 371-382, 1992