Remarks on Sequents Defined by Means of Information Systems

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

Get full access to this article

View all access options for this article.