Skip to content
Permalink
Browse files

corrected section semicomplemented lattice axioms

  • Loading branch information...
gruninger committed Apr 9, 2019
1 parent 8118b17 commit cd6a8fc9711a6ad4c1f4595648a72a17f89079f8
Showing with 2 additions and 1 deletion.
  1. +2 −1 ontologies/lattices/section_semicomplemented_lattice.clif
@@ -14,12 +14,13 @@

(cl-imports http://colore.oor.net/lattices/definitions/zero.clif)

(cl-imports http://colore.oor.net/lattices/definitions/leq.clif)
(cl-imports http://colore.oor.net/lattices/definitions/lt.clif)

(forall (x a)
(if (lt x a)
(exists (y)
(and (lt y a)
(not (bottom y))
(= zero (meet x y))))))

)

0 comments on commit cd6a8fc

Please sign in to comment.
You can’t perform that action at this time.