https://9lib.org/document/oy8w084y-semi-lattice-four-valued-literal-paraconsistent-paracomplete-logics.html