You are viewing a javascript disabled version of the site. Please enable Javascript for this site to function properly.
Go to headerGo to navigationGo to searchGo to contentsGo to footer
In content section. Select this link to jump to navigation

On Sequents Defined by Means of Information Systems

Article type: Research Article

Authors: Novotný, Miroslav

Affiliations: Mathematical Institute of the Czachoslovak Academy of Sciences, Branch Brno

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 β→α, is a tautology.

Keywords: information system, very simple information system, valuation, marked valuation, sequent

DOI: 10.3233/FI-1981-4414

Journal: Fundamenta Informaticae, vol. 4, no. 4, pp. 1041-1048, 1981

Published: 1 October 1981
Price: EUR 27.50
Show more