Wyniki wyszukiwania - BazTech

Ograniczanie wyników

Znaleziono wyników: 1

Liczba wyników na stronie

Wyniki wyszukiwania

Sortuj według:

Ogranicz wyniki do:

On the logic determined by some finite relational systems

Prucnal T.

Reports on Mathematical Logic

1998

No. 32

3-9

Let Nn = <{1,2,...,n},=,1,2,..., n> be the relational system of cardinality n with identity and with designated elements 1,2,..., n. In the paper we consider the predicate logic L(Nn) determined by the relational system Nn (cf. [1]).