Expansion by a new constant may change the finite axiomatization property of a matrix

Typ: Artykuł

Liczba pobrań: 490

Pobierz zasób

PDF

Cytuj

Tytuł: Expansion by a new constant may change the finite axiomatization property of a matrix
Wariant tytułu: Rozszerzenie sygnatury matrycy logicznej o stałe wpływa na własność skończonej aksjomatyzacji
Autor: Pałasińska, Katarzyna
Opublikowane w: Technical Transactions
Numeracja: Y. 113, iss. 1-NP
Strony: 131-136
Data wydania: 2016
Miejsce wydania: Kraków
Wydawca: Wydawnictwo PK
Język: angielski
DOI: 10.4467/2353737XCT.16.146.5757
Słowa kluczowe: logical matrix, finite axiomatization

matryca logiczna, skończona aksjomatyzowalność
Abstrakt: We give an example of a finite matrix with the property that expanding its language with a constant changes its finite axiomatization property: in the language with one binary operation the tautologies of the matrix are finitely axiomatizable while in the expanded language they are not. The constant we add is not definable in the original language.The deductive system generated by this matrix is not algebraizable.

Podajemy przykład skończonej matrycy logicznej, która jest skończenie aksjomatyzowalna, ale po dodaniu stałej do sygnatury tej matrycy, własność ta się psuje. Dodawana stała nie jest definiowalna w języku matrycy, a operator konsekwencji wyznaczony przez tę matrycę nie jest algebraizowalny.
Wydział: Wydział Fizyki, Matematyki i Informatyki
Licencja: Licencja PK
Prawa dostępu: Zasób dostępny dla wszystkich