Paraconsistent Weak Kleene logic (PWK) is the 3-valued logic with two designated values defined through the weak Kleene tables. This paper is a first attempt to investigate PWK within the perspective and methods of abstract algebraic logic (AAL). We give a Hilbert-style system for PWK and prove a normal form theorem. We examine some algebraic structures for PWK, called involutive bisemilattices, showing that they are distributive as bisemilattices and that they form a variety, IBSL, generated by the 3-element algebra WK; we also prove that every involutive bisemilattice is representable as the P lonka sum over a direct system of Boolean algebras. We then study PWK from the viewpoint of AAL. We show that IBSL is not the equivalent algebraic semantics of any algebraisable logic and that PWK is neither protoalgebraic nor selfextensional, not assertional, but it is truth-equational. We fully characterise the deductive filters of PWK on members of IBSL and the reduced matrix models of PWK. Finally, we investigate PWK with the methods of second-order AAL-we describe the class Alg(PWK) of PWKalgebras, algebra reducts of basic full generalised matrix models of PWK, showing that they coincide with the quasivariety generated by WK-which differs from IBSL-and explicitly providing a quasiequational basis for it.
We establish a duality between the category of involutive bisemilattices and the category of semilattice inverse systems of Stone spaces, using Stone duality from one side and the representation of involutive bisemilattices as P lonka sum of Boolean algebras, from the other. Furthermore, we show that the dual space of an involutive bisemilattice can be axiomatized as a GR space with involution, a generalization of the spaces introduced by Gierz and Romanowska, equipped with an involution as additional operation.
We state and prove the first law of cubology of the Rubik's Revenge and provide necessary and sufficient conditions for a randomly assembled Rubik's Revenge to be solvable.
scite is a Brooklyn-based organization that helps researchers better discover and understand research articles through Smart Citations–citations that display the context of the citation and describe whether the article provides supporting or contrasting evidence. scite is used by students and researchers from around the world and is funded in part by the National Science Foundation and the National Institute on Drug Abuse of the National Institutes of Health.