Przygotowanie prezentacji i wygłoszenie referatu na III konferencji "Logiki nieklasyczne. Teoria i zastosowania" odbywającej się w Toruniu w dniach 16-18.09.2010. [...] Matryca jest skończenie aksjomatyzowalna, ... więcej

Przygotowanie prezentacji i wygłoszenie referatu na III konferencji "Logiki nieklasyczne. Teoria i zastosowania" odbywającej się w Toruniu w dniach 16-18.09.2010. [...] Matryca jest skończenie aksjomatyzowalna, gdy istnieje skończony zbiór reguł poprawnych dla tej matrycy, przy użyciu których można wyprowadzić wszystkie jej tautologie. W referacie zajmujemy się zagadnieniem przenoszenia się przez termalną równoważność własności skończonej aksjomatyzowalności dla pewnych konkretnych matryc trójelementowych. Dla pewnej najmniejszej ( w sensie liczby elementów) możliwej matrycy, która nie jest skończenie aksjomatyzowalna można udowodnić, że żadna matryca jej termalnie równoważna nie jest skończenie aksjomatyzowalna. [...]

Talk and slides presentation on the 3rd conference "Non-classical logic. Theory and Applications". September 16-19, 2010, Toruń, Poland. In the talk we will refer to the question whether the finite axiomatizability ... więcej

Talk and slides presentation on the 3rd conference "Non-classical logic. Theory and Applications". September 16-19, 2010, Toruń, Poland. In the talk we will refer to the question whether the finite axiomatizability property of a matrix is preserved under term-equivalence in the context of some small and "simple" matrices. For one such "simplest" non-finitely axiomatizable matrix, it can be shown that none of its term-equivalent matrices is finitely axiomatizable. [...]