• polski
    • English
  • polski 
    • polski
    • English
  • Zaloguj
Szukaj 
  •   Repozytorium UŁ
  • Czasopisma naukowe | Scientific Journals
  • Bulletin of the Section of Logic
  • Bulletin of the Section of Logic 48/2 (2019)
  • Szukaj
  •   Repozytorium UŁ
  • Czasopisma naukowe | Scientific Journals
  • Bulletin of the Section of Logic
  • Bulletin of the Section of Logic 48/2 (2019)
  • Szukaj
JavaScript is disabled for your browser. Some features of this site may not work without it.

Przeglądaj

Całe RepozytoriumZbiory i kolekcje Daty wydaniaAutorzyTytułyTematyTa kolekcjaDaty wydaniaAutorzyTytułyTematy

Moje konto

ZalogujZarejestruj

Odkryj

Autor
Cornejo, Juan M. (1)
Sankappanavar, Hanamantagouda P. (1)Temat03G25 (1)06D15 (1)
06D20 (1)
08B15 (1)08B26 (1)Heyting algebra (1)identity of associative type (1)semi-Heyting algebra (1)subvariety of associative type (1)... zobacz więcejData wydania
2019 (1)
Has File(s)Yes (1)

Szukaj

Show Advanced FiltersHide Advanced Filters

Filtry

Użyj filtrów by uściślić zapytanie.

Wyświetlanie pozycji 1-1 z 1

  • Opcje sortowania:
  • Znaczenie
  • Tytuł (rosnąco)
  • Tytuł (malejąco)
  • Data wydania (rosnąco)
  • Data wydania (malejąco)
  • Wyników na stronę:
  • 5
  • 10
  • 20
  • 40
  • 60
  • 80
  • 100
Thumbnail

Semi-Heyting Algebras and Identities of Associative Type 

Cornejo, Juan M.; Sankappanavar, Hanamantagouda P. (Wydawnictwo Uniwersytetu Łódzkiego, 2019)
An algebra A = ⟨A, ∨, ∧, →, 0, 1⟩ is a semi-Heyting algebra if ⟨A, ∨, ∧, 0, 1⟩ is a bounded lattice, and it satisfies the identities: x ∧ (x → y) ≈ x ∧ y, x ∧ (y → z) ≈ x ∧ [(x ∧ y) → (x ∧ z)], and x → x ≈ 1. SH denotes ...

Repozytorium Uniwersytetu Łódzkiego

Kontakt z nami | Wyślij uwagi | Deklaracja dostępności
 

 


Repozytorium Uniwersytetu Łódzkiego

Kontakt z nami | Wyślij uwagi | Deklaracja dostępności