### A shrinking of a category of societies is a universal partly ordered class

Skip to main content (access key 's'),
Skip to navigation (access key 'n'),
Accessibility information (access key '0')

In this paper, a construction method on a bounded lattice obtained from a given t-norm on a subinterval of the bounded lattice is presented. The supremum distributivity of the constructed t-norm by the mentioned method is investigated under some special conditions. It is shown by an example that the extended t-norm on $L$ from the t-norm on a subinterval of $L$ need not be a supremum-distributive t-norm. Moreover, some relationships between the mentioned construction method and the other construction...

The paper considers a generalization of the standard completion of a partially ordered set through the collection of all its lower sets.

The paper presents a categorical version of the notion of information system due to D. Scott. The notion of information system is determined in the framework of ordered categories with involution and division and the category of information systems is constructed. The essential role in all definitions and constructions play correlations between inclusion relations and entailment relations.