Remarks on Sequents Defined by Means of Information Systems
Miroslav Novotný · Fundamenta Informaticae · 1983
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.