{"id":"arxiv/2605.29246","url":"https://arxiv.org/abs/2605.29246","tags":["math.LO","math.RA"],"score":0,"title":"The Q-Calculus: A Quaternion-Based Laws of Form System","domain":"math.LO","source":"arxiv","authors":["Louis H. Kauffman","Arthur M. Collings"],"reviews":0,"subject":"math.LO","summary":"This paper introduces a Laws of Form version of the Quaternions. We call this the Q-Calculus, a 16-valued extension of Laws of Form (LoF) which is closely related to the BF Calculus (where we have a single square root of the mark) and the concept of the square root of negation (related to the the square root of minus one). We construct Q as a system of LoF mark operators acting on 4-tuples, and prove that the set of eight operators in Q is isomorphic to the quaternion group, which is non-commutative. We give a novel proof of several of Q's distribution laws using non-commutative logic gates.…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-05-28","reactions":{}}