{"id":"arxiv/2603.08699","url":"https://arxiv.org/abs/2603.08699","tags":["math.LO","math-ph","quant-ph"],"score":0,"title":"Four negations and the spectral presheaf","domain":"math.LO","source":"arxiv","authors":["Benjamin Engel","Ryshard-Pavel Kostecki"],"reviews":0,"subject":"math.LO","summary":"Using Vakarelov's theory of lattice logics with negation, we introduce the (co)quasiintuitionistic logic, and prove its soundness and completeness with respect to the class of (co)quasiintuitionistic algebras. Combining these algebras together, we obtain biquasiintuitionistic algebras and the biquasiintuitionistic logic. Their further extension with the Skolem algebra structure defines Akchurin algebras and the respective logic, which is a product of biquasiintuitionistic and biintuitionistic logics, featuring four distinct negations. Next we generalise the framework of spectral presheaves…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-03-09","reactions":{}}