Main content
Własność skończonej aksjomatyzowalności dla małych matryc logicznych i problemy związane
updating
Type: unpublished work
- Title variant
- EnglishFinite axiomatization for small matrices and related problems
- Author
- Work Completion Date
- 2010
- Publication genre
- scientific article
- Polish Subject Classification
- Author keywords
- Matryca logicznaSkończona aksjomatyzacjaLogical matrixFinite axiomatization
- Abstract
- Plakat w języku angielskim prezentowany podczas 13. Warsztatów dla Młodych Matematyków: Logika i Podstwy Matematyki, Kraków, 19-25.09.2010. Na plakacie wyjaśniono pojęcie matrycy logicznej i poparto je przykładami. Przedstawiono problem skończonej aksjomatyzowalności i skończonej bazy oraz przykłady matryc ilustrujących wzajemne zależności lub ich brak. Przedstawiono też zagadnienie przenoszenia sie własności skończonej aksjomatyzacji przez termalną równoważność. Plakat składał się z dwóch części, każda formatu A0. Artykuł o treści plakatu jest w przygotowaniu.A poster in English presenting the concept of a logical matrix, examples and the finite axiomatization problem in three versions: finite axiomatization of tautologies of a matrix, given a finite set of its valid rules; finite basis of valid rules allowing to derive all valid rules; and finite set of valid rules allowing to derive all tautologies. Examples illustrating these concepts are given and conterexamples to some implications. An open problem of preservation of a finite basis and finite axiomatization under term-eqivalence is presented. An article explaning the content of the poster is under preparation.
- University Unit