Axiomatization of the logic determined by some n-element relational systems with identity

• Autorzy: Bugajska-Jaszczołt B.
• Języki publikacji: EN

Abstrakty

EN

Let Nn = <Nn,=,1,..., n> be the relational system of n - element set Nn = {1,2,..., n}, with identity and with fixed elements: 1,2,..., n. We show that logic L (Nn) determined by the system Nn is axiomatizable.

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

Twórcy

autor

Bugajska-Jaszczołt B.

• Instytut Matematyki WSP ul. M.Konopnickiej 15 Kielce