On the logic determined by some finite relational systems

• Autorzy: Prucnal T.
• Języki publikacji: EN

Abstrakty

EN

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]).

• Wydawca: Wydawnictwo Uniwersytetu Jagiellońskiego
• Czasopismo: Reports on Mathematical Logic
• Rocznik: 1998
• Tom: No. 32
• Strony: 3--9

Twórcy

autor

Prucnal T.

• Instytut Matematyki WSP ul. M.Konopnickiej 15 Kielce