Description

• Tytuł:
  Equivalential Algebras with Conjunction on Dense Elements
• Twórca:
  Przybyło, Sławomir;
  Słomczyńska, Katarzyna
• Współtwórca:
  Przybyło, Sławomir - Pedagogical University, Institute of Mathematics, ul. Podchorążych 2, 30-084 Kraków, Poland;
  Słomczyńska, Katarzyna - Pedagogical University, Institute of Mathematics, ul. Podchorążych 2, 30-084 Kraków, Poland;
  Przybyło, Sławomir - slawomir.przybylo@up.krakow.pl;
  Słomczyńska, Katarzyna - irena.korwin-slomczynska@up.krakow.pl
• Opis:
  We study the variety generated by the three-element equivalential algebra with conjunction on the dense elements. We prove the representation theorem which let us construct the free algebras in this variety.
• Dostępność obiektu:
  free access
• Prawa: https://creativecommons.org/licenses/by-nc-nd/4.0
• Data:
  2023.02.10;
  2022.10.25
• Typ:
  Other
• Język:
  English
• Format:
  application/pdf
• Wydawca:
  Wydawnictwo Uniwersytetu Łódzkiego
• Relacja:
  Bulletin of the Section of Logic;4;
  51
• Temat i słowa kluczowe:
  intuitionistic logic;
  Fregean varieties;
  equivalential algebras;
  dense elements
• Identyfikator:
  0138-0680;
  http://hdl.handle.net/11089/45871 ;
  2449-836X;
  10.18778/0138-0680.2022.22
• Dostawca danych:
  Repozytorium Uniwersytetu Łódzkiego
• Czy mogę z tego obiektu skorzystać?:
  check license
• Rodzaj zawartości:
  other