Remarks on Sequents Defined by Means of Information Systems

Article type: Research Article

Authors: Novotný, Miroslav

Affiliations: Czechoslovak Academy of Sciences, Branch Brno

Abstract: Information (storage and retrieval) systems lead to define sequents of formulas of the propositional calculus. We give necessary and sufficient conditions for a formula β to be a sequent of a formula α with respect to a given information system and/or with respect to a given information system and its given valuation.

Keywords: information system, valuation, sequent with respect to an information system, sequent with respect to an information system and its valuation

DOI: 10.3233/FI-1983-6105

Journal: Fundamenta Informaticae, vol. 6, no. 1, pp. 71-79, 1983