Sage Journals: Discover world-class research

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.

Remarks on Sequents Defined by Means of Information Systems

Abstract

Keywords

Get full access to this article