Opis

• Tytuł:
  On Implicative and Positive Implicative GE Algebras
• Twórca:
  Walendziak, Andrzej
• Współtwórca:
  Siedlce University of Natural Sciences and Humanities, Faculty of Exact and Natural Sciences, Institute of Mathematics;
  walent@interia.pl
• Opis:
  GE algebras (generalized exchange algebras), transitive GE algebras (tGE algebras, for short) and aGE algebras (that is, GE algebrasverifying the antisymmetry) are a generalization of Hilbert algebras. Here some properties and characterizations of these algebras are investigated. Connections between GE algebras and other classes of algebras of logic are studied. The implicative and positive implicative properties are discussed. It is shown that the class of positive implicative GE algebras (resp. the class of implicative aGE algebras) coincides with the class of generalized Tarski algebras (resp. the class of Tarski algebras). It is proved that for any aGE algebra the property of implicativity is equivalent to the commutative property. Moreover, several examples to illustrate the results are given. Finally, the interrelationships between some classes of implicative and positive implicative algebras are presented.
• Dostępność obiektu:
  Dostęp otwarty
• Prawa: https://creativecommons.org/licenses/by-nc-nd/4.0
• Data:
  2024.01.04;
  2023.09.25
• Typ:
  Other
• Język:
  angielski
• Format:
  application/pdf
• Wydawca:
  Wydawnictwo Uniwersytetu Łódzkiego
• Relacja:
  Bulletin of the Section of Logic;4;
  52
• Temat i słowa kluczowe:
  GE algebra;
  tGE algebra;
  BCK algebra;
  Hilbert algebra;
  (positive) implicativity
• Identyfikator:
  0138-0680;
  http://hdl.handle.net/11089/49160 ;
  2449-836X;
  10.18778/0138-0680.2023.21
• Dostawca danych:
  Repozytorium Uniwersytetu Łódzkiego
• Czy mogę z tego obiektu skorzystać?:
  sprawdź warunki licencji
• Rodzaj zawartości:
  pozostałe