• polski
    • English
  • English 
    • polski
    • English
  • Login
Search 
  •   DSpace Home
  • Czasopisma naukowe | Scientific Journals
  • Bulletin of the Section of Logic
  • Bulletin of the Section of Logic 48/2 (2019)
  • Search
  •   DSpace Home
  • Czasopisma naukowe | Scientific Journals
  • Bulletin of the Section of Logic
  • Bulletin of the Section of Logic 48/2 (2019)
  • Search
JavaScript is disabled for your browser. Some features of this site may not work without it.

Browse

All of DSpaceCommunities & CollectionsBy Issue DateAuthorsTitlesSubjectsThis CollectionBy Issue DateAuthorsTitlesSubjects

My Account

LoginRegister

Discover

AuthorCornejo, Juan M. (1)Sankappanavar, Hanamantagouda P. (1)Subject03G25 (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)... View MoreDate Issued2019 (1)Has File(s)Yes (1)

Search

Show Advanced FiltersHide Advanced Filters

Filters

Use filters to refine the search results.

Now showing items 1-1 of 1

  • Sort Options:
  • Relevance
  • Title Asc
  • Title Desc
  • Issue Date Asc
  • Issue Date Desc
  • Results Per Page:
  • 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 ...

University of Lodz Repository

Contact Us | Send Feedback | Accessibility
 

 


University of Lodz Repository

Contact Us | Send Feedback | Accessibility