Wyniki wyszukiwania - BazTech

Ograniczanie wyników

Znaleziono wyników: 2

Liczba wyników na stronie

Wyniki wyszukiwania

Sortuj według:

Ogranicz wyniki do:

The variety of all commutative BCK-algebras is generated by its finite members as a quasivariety

Pałasiński M.

Demonstratio Mathematica

2012

Vol. 45, nr 3

495-518

We prove the result announced by the title as well as some of its consequences.

On Computing Extensions and Restrictions of Information Systems Noting Some Order Properties

Pałasiński M., Pancerz K.

Fundamenta Informaticae

2010

Vol. 101, nr 1/2

91-103

The aim of this paper is to give the basic view on computing consistent extensions and restrictions of information systems noting some order properties of information system families. Information systems are understood in the Pawlak’s sense as the systems of knowledge representation. The extension appears if we add to the original information system some new objects corresponding to the known attribute values. Analogously, the restriction appears if we remove from the original information system some objects. Presented observations enable us to find proper descriptions (preserving some features) of concurrent systems whose behavior is represented by means of information systems.