Loading...

Latarres, Lattices with an Arrow

Ardeshir, M ; Sharif University of Technology | 2018

147 Viewed
  1. Type of Document: Article
  2. DOI: 10.1007/s11225-017-9765-5
  3. Publisher: Springer Netherlands , 2018
  4. Abstract:
  5. A latarre is a lattice with an arrow. Its axiomatization looks natural. Latarres have a nontrivial theory which permits many constructions of latarres. Latarres appear as an end result of a series of generalizations of better known structures. These include Boolean algebras and Heyting algebras. Latarres need not have a distributive lattice. © 2017, Springer Science+Business Media B.V
  6. Keywords:
  7. Algebraic logic ; Implication ; Lattice ; Visser algebra
  8. Source: Studia Logica ; Volume 106, Issue 4 , 2018 , Pages 757-788 ; 00393215 (ISSN)
  9. URL: https://link.springer.com/article/10.1007/s11225-017-9765-5