scholarly journals On some representation theorems in an operator algebra, I

1951 ◽  
Vol 27 (7) ◽  
pp. 328-333 ◽  
Author(s):  
Hisaharu Umegaki
Keyword(s):  
Operator Algebra ◽  
Algebra I ◽  
Representation Theorems

Representation Theorems for Terms in a Certain Model for Information Systems

1982 ◽  
Vol 5 (1) ◽  
pp. 1-14
Author(s):  
Bernd Reusch ◽  
Gerd Szwillus
Keyword(s):  
Information Systems ◽  
Normal Forms ◽  
Abstract Model ◽  
Representation Theorems

We study a term-language, which is used by the “Warsaw-School” in an abstract model for information systems. Various normal forms as well as standard expansions with respect to product terms are formulated and proved correct. It is shown that the shortest sums of so-called maximal sub-products are the shortest representations of terms and algorithms for their generation are given.

Sign in / Sign up

Export Citation Format

Share Document