adding duality blogic

eyereasoner · Sep 24, 2023 · e4a34c5 · e4a34c5
1 parent 844e0ac
commit e4a34c5
Show file tree

Hide file tree

Showing 2 changed files with 46 additions and 8 deletions.
diff --git a/reasoning/blogic/modal.n3s b/reasoning/blogic/modal.n3s
@@ -8,6 +8,25 @@
 @prefix log: <http://www.w3.org/2000/10/swap/log#> .
 @prefix : <urn:example:> .
 
+# duality blogic
+(_:A _:B _:C) log:onNegativeSurface {
+    () log:onNegativeSurface {
+        () log:onModalSurface _:A .
+    } .
+    _:A log:notIncludes {
+        _:B log:onNegativeSurface _:C .
+    } .
+    () log:onNegativeSurface {
+        () log:onNegativeSurface {
+            () log:onModalSurface {
+                () log:onNegativeSurface {
+                    () log:onNegativeSurface _:A .
+                } .
+            } .
+        } .
+    } .
+} .
+
 # it is permitted for alice to keep cats
 () log:onModalSurface {
     () log:onNegativeSurface {
@@ -37,11 +56,11 @@
     # is it not permitted for bob to not keep dogs and sheep?
     () log:onNegativeSurface {
         () log:onModalSurface {
-            #() log:onNegativeSurface {
-            #    () log:onNegativeSurface {
+            () log:onNegativeSurface {
+                () log:onNegativeSurface {
                     :Bob :keeps :Dogs, :Sheep .
-            #    } .
-            #} .
+                } .
+            } .
         } .
     } .
     # answer

diff --git a/reasoning/blogic/neutral.n3s b/reasoning/blogic/neutral.n3s
@@ -5,6 +5,25 @@
 @prefix log: <http://www.w3.org/2000/10/swap/log#> .
 @prefix : <urn:example:> .
 
+# duality blogic
+(_:A _:B _:C) log:onNegativeSurface {
+    () log:onNegativeSurface {
+        () log:onNeutralSurface _:A .
+    } .
+    _:A log:notIncludes {
+        _:B log:onNegativeSurface _:C .
+    } .
+    () log:onNegativeSurface {
+        () log:onNegativeSurface {
+            () log:onNeutralSurface {
+                () log:onNegativeSurface {
+                    () log:onNegativeSurface _:A .
+                } .
+            } .
+        } .
+    } .
+} .
+
 # neutral surface with 2 triples
 () log:onNeutralSurface {
     :a :b :c .
@@ -58,12 +77,12 @@
     # check that necessity(A) = ~possibility(~A)
     () log:onNegativeSurface {
         () log:onNeutralSurface {
-            #() log:onNegativeSurface {
-            #    () log:onNegativeSurface {
+            () log:onNegativeSurface {
+                () log:onNegativeSurface {
                     :m :n :o .
                     :p :q :r .
-            #    } .
-            #} .
+                } .
+            } .
         } .
     } .
     () log:onAnswerSurface {