Seventh cranfield international conference on mechanised information storage and retrieval systems.The potential impact of telecommunication networks on information systems intelligence.

1981 ◽  
Vol 3 (3) ◽  
pp. 136
Keyword(s):  
Information Systems ◽  
Information Storage And Retrieval ◽  
Telecommunication Networks ◽  
Information Storage ◽  
International Conference ◽  
Storage And Retrieval ◽  
Potential Impact ◽  
Systems Intelligence

On Sequents Defined by Means of Information Systems

1981 ◽  
Vol 4 (4) ◽  
pp. 1041-1048
Author(s):  
Miroslav Novotný
Keyword(s):  
Information Systems ◽  
Propositional Calculus ◽  
Information Storage And Retrieval ◽  
Information Storage ◽  
Storage And Retrieval ◽  
Retrieval Systems

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.

Remarks on Sequents Defined by Means of Information Systems

1983 ◽  
Vol 6 (1) ◽  
pp. 71-79
Author(s):  
Miroslav Novotný
Keyword(s):  
Information System ◽  
Information Systems ◽  
Sufficient Conditions ◽  
Propositional Calculus ◽  
Information Storage And Retrieval ◽  
Necessary And Sufficient Conditions ◽  
Information Storage ◽  
Storage And Retrieval ◽  
Retrieval Systems ◽  
Necessary And Sufficient

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.

Information storage and retrieval systems with incomplete information I

1979 ◽  
Vol 2 (1) ◽  
pp. 17-41
Author(s):  
Michał Jaegermann
Keyword(s):  
Incomplete Information ◽  
Information Storage And Retrieval ◽  
Boolean Algebras ◽  
Information Storage ◽  
Storage And Retrieval ◽  
Retrieval Systems ◽  
Theory Of Information

In the paper is developed a theory of information storage and retrieval systems which arise in situations when a whole possessed information amounts to a fact that a given document has some feature from properly chosen set. Such systems are described as suitable maps from descriptor algebras into sets of subsets of sets of documents. Since descriptor algebras turn out to be pseudo-Boolean algebras, hence an “inner logic” of our systems is intuitionistic. In the paper is given a construction of systems and are considered theirs properties. We will show also (in Part II) a formalized theory of such systems.

Sign in / Sign up

Export Citation Format

Share Document