Skip to content
Permalink
Browse files

new theory quasilattice in Orderings Hierarchy

  • Loading branch information...
gruninger committed Oct 15, 2018
1 parent 23d4f7c commit 4095252efa62202d7de00302d646adc6dc9bb2d8
Showing with 32 additions and 0 deletions.
  1. +32 −0 ontologies/orderings/quasilattice.clif
@@ -0,0 +1,32 @@

(cl-text http://colore.oor.net/orderings/quasilattice.clif

(cl-imports http://colore.oor.net/orderings/partial_ordering.clif)

(cl-comment 'Unique meet')

(forall (x y l)
(if (and (leq l x)
(leq l y))
(exists (m)
(and (leq m x)
(leq m y)
(forall (z)
(if (and (leq z x)
(leq z y))
(leq z m)))))))

(cl-comment 'Unique join')

(forall (x y u)
(if (and (leq x u)
(leq y u))
(exists (j)
(and (leq x j)
(leq y j)
(forall (z)
(if (and (leq x z)
(leq y z))
(leq j z)))))))

)

0 comments on commit 4095252

Please sign in to comment.
You can’t perform that action at this time.
You signed in with another tab or window. Reload to refresh your session. You signed out in another tab or window. Reload to refresh your session.