datum: 8.6.2018 v 14:00
název: Algebraization of the one-variable fragment of firstorder basic logic
přednášející: D. Castano
místo konání: UI, 2.patro, místnost č.318

souhrn: We will describe a possible algebraization of the one-variable Fragment of first-order basic logic based on axioms proposed by Hájek himself. We will define monadic BL-algebras and show their relationship to the natural models of the logic. In addition, we will explore several subvarieties of this variety and their properties.