Krata rozszerzeń logiki relewantnej E
type: CreativeWork
description: Rozprawa poświęcona jest logice E – jednej z najważniejszych logik relewantnych. Skupiono się na podstawowym dla krat problemie wyznaczania koatomów w kracie: tu - kracie rozszerzeń logiki E. Zamiast kraty rozszerzeń logiki E badano izomorficzną z nią kratę podrozmaitości V_E, generującą logikę E. W pierwszym rozdziale opisano intuicje, aksjomatyzacje i podstawowe fakty dotyczące syntaktyki logiki E. W drugim rozdziale przedstawiona została semantyka algebraiczna i matrycowa logiki E. Zdefiniowano pojęcie E-algebry oraz podany został dowód twierdzenia o pełności względem E-algebr. Zdefiniowano pojęcie E-matrycy i opisano rolę zbioru elementów wyróżnionych w definiowaniu kongruencji. Zaprezentowano ważne, dla zrozumienia E-algebr, przykłady i kontrprzykłady. Pierwszy głównych wynik istnieją dwa nieskończone ciągi skończonych prostych E-algebr, to znaczy istnieje nieskończenie wiele logik rozszerzających logikę E, znajdujących się bezpośrednio pod logiką klasyczną. Kolejnym ważnym wynikiem jest twierdzenie mówiące, że istnieje continuum rozszerzeń logiki relewantnej E generowanych przez algebry nieskończone, znajdujące się bezpośrednio pod logiką klasyczną. Wszystkie powyższe wyniki zostały osiągnięte metodami algebraicznymi. The thesis is devoted to the logic E - one of the most important relevance logics. The work concentrates on the basic problem of the structure of the lattice of extensions of the logic E – determining coatoms of this lattice. Instead of the extension of the logic E, the isomorphic lattice of the subvarieties of the variety V_E of algebras which generates the logic E is investigated. The first chapter presents the motivations, axiomatisations and the basic facts concerning the syntax of the logic E. The second chapter concerns algebraic and matrix semantics of E. In particular, a definition of E-algebra was presented and the completeness theorem with respect of E-algebras was proved. Moreover, the notion of E-matrices was defined and the importanc…
abstract: Rozprawa poświęcona jest logice E – jednej z najważniejszych logik relewantnych. Skupiono się na podstawowym dla krat problemie wyznaczania koatomów w kracie: tu - kracie rozszerzeń logiki E. Zamiast kraty rozszerzeń logiki E badano izomorficzną z nią kratę podrozmaitości V_E, generującą logikę E. W pierwszym rozdziale opisano intuicje, aksjomatyzacje i podstawowe fakty dotyczące syntaktyki logiki E. W drugim rozdziale przedstawiona została semantyka algebraiczna i matrycowa logiki E. Zdefiniowano pojęcie E-algebry oraz podany został dowód twierdzenia o pełności względem E-algebr. Zdefiniowano pojęcie E-matrycy i opisano rolę zbioru elementów wyróżnionych w definiowaniu kongruencji. Zaprezentowano ważne, dla zrozumienia E-algebr, przykłady i kontrprzykłady. Pierwszy głównych wynik istnieją dwa nieskończone ciągi skończonych prostych E-algebr, to znaczy istnieje nieskończenie wiele logik rozszerzających logikę E, znajdujących się bezpośrednio pod logiką klasyczną. Kolejnym ważnym wynikiem jest twierdzenie mówiące, że istnieje continuum rozszerzeń logiki relewantnej E generowanych przez algebry nieskończone, znajdujące się bezpośrednio pod logiką klasyczną. Wszystkie powyższe wyniki zostały osiągnięte metodami algebraicznymi. The thesis is devoted to the logic E - one of the most important relevance logics. The work concentrates on the basic problem of the structure of the lattice of extensions of the logic E – determining coatoms of this lattice. Instead of the extension of the logic E, the isomorphic lattice of the subvarieties of the variety V_E of algebras which generates the logic E is investigated. The first chapter presents the motivations, axiomatisations and the basic facts concerning the syntax of the logic E. The second chapter concerns algebraic and matrix semantics of E. In particular, a definition of E-algebra was presented and the completeness theorem with respect of E-algebras was proved. Moreover, the notion of E-matrices was defined and the importanc…
author: Typańska, Lidia
keywords: logiki relewantne, relevant logics, logiki nieklasyczne, non-classical logics, krata, lattice, algebra uniwersalna, universal algebra
date published: 2018
date modified: 2026-07-27T18:44:50Z
provider: Poznan
publisher: Networked Digital Library of Theses and Dissertations
type: WebPage
source organization: Poznan