Lenticule Science
Paraconsistent Settling and Comprehension on Four-Valued Evidence neighborhood
The current page first, followed by its outgoing and incoming relations.
article
Paraconsistent Settling and Comprehension on Four-Valued Evidence
Settling closes four-valued evidence to a least fixed point; comprehension then extracts what is held. Conflict gets its own sheaf, so it is never erased.