[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: