Loading...

Latarres, lattices with an arrow

Ardeshir, M ; Sharif University of Technology

113 Viewed
  1. Type of Document: Article
  2. DOI: 10.1007/s11225-017-9765-5
  3. Abstract:
  4. 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
  5. Keywords:
  6. Algebraic logic ; Implication ; Lattice ; Visser algebra
  7. Source: Studia Logica ; 2017 , Pages 1-32 ; 00393215 (ISSN)
  8. URL: https://link.springer.com/article/10.1007/s11225-017-9765-5