Description

• Title:
  On Implicative and Positive Implicative GE Algebras
• Creator:
  Walendziak, Andrzej
• Contributor:
  Siedlce University of Natural Sciences and Humanities, Faculty of Exact and Natural Sciences, Institute of Mathematics;
  walent@interia.pl
• Description:
  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.
• Object availability:
  free access
• Rights: https://creativecommons.org/licenses/by-nc-nd/4.0
• Date:
  2024.01.04;
  2023.09.25
• Type:
  Other
• Language:
  English
• Format:
  application/pdf
• Publisher:
  Wydawnictwo Uniwersytetu Łódzkiego
• Relation:
  Bulletin of the Section of Logic;4;
  52
• Subject:
  GE algebra;
  tGE algebra;
  BCK algebra;
  Hilbert algebra;
  (positive) implicativity
• Identifier:
  0138-0680;
  http://hdl.handle.net/11089/49160 ;
  2449-836X;
  10.18778/0138-0680.2023.21
• Data provider:
  Repozytorium Uniwersytetu Łódzkiego
• Can I use it?:
  check license
• Type:
  other