On Sequents Defined by Means of Information Systems

Abstract

Information (storage and retrieval) systems lead to define sequents of formulas of the propositional calculus. By constructing the so called very simple information systems and their marked valuations, we prove that a formula β is a sequent of a formula α if and only if the formula $\mathit{\beta }\to \mathit{\alpha }$ , is a tautology.