To encompass a two-dimensional nature of the reasoning semantically, we will use two different expansions of the twist product algebra \([0,1]^{\bowtie }\) , i.e. twist productIn the context of Nelson's paraconsistent logics such product construction has been called twist product of algebras [1]}, or twist structures [2]}. of the lattice \(([0,1],\min ,\max )\) , as the algebra of values of the outer layer.

Для охвата двумерной природы семантического рассуждения мы будем использовать два разных расширения алгебры смещения-произведения \([0,1]^{\bowtie}\), то есть расширение смещения-произведения. В контексте паразитических логик Нельсона такое построение произведения было названо смешанной алгеброй [1] или смешанной структурой [2] решётки \(([0,1],\min,\max)\) в качестве алгебры значений внешнего слоя.