p(┌¬a┐)<1−c.p(┌b∨¬a┐)≤p(┌b┐)+p(┌¬a┐)<p(┌b┐)+1−c.
Are you deriving these two points only using the axioms provided in the "Setup" section, or are you assuming all four axioms stated afterward here?
You are welcome. By the way, I really enjoyed delving into this work of yours, it is pleasant to read and its intricate structure provides a lot of fun. Thank you!
"The tentacled brain launched itself at the Memnuela"
Are you deriving these two points only using the axioms provided in the "Setup" section, or are you assuming all four axioms stated afterward here?