On Sequents Defined by Means of Information Systems
Miroslav Novotný · Fundamenta Informaticae · 1981
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 β → α, is a tautology.