[All Lists] [By Thread] [By Date] [Previous] [Next]


From: R. Miriam bat Yosef
Subject: Three-valued logic
Date: 25 Kislev 5784


The philosophy does not affect the code

Yet.

What happens when someone queries: "Show me all assertions where three stars were not observed"?

Does that include assertions where stars were not mentioned? Or only assertions where -S3 was explicit?


Thread:

[Previous] [Next]


DEP Discussion Archives
https://dep-specs.org/