Twist-structures semantics for the logics of the hierarchy InPk
Fernando M. Ramos, Víctor Fernández · Journal of Applied Non-Classical Logics · 2009
In this work we define, in a general way, an algebraic semantics for the logics of the hierarchy InPk. This semantics is defined by means of an alternative construction, with respect to the usual algebraic semantics, and it is known in the literature as Twist-structures semantics. Besides that, we modify such construction, defining the so-called ω-Twist-structures here. This adaptation allows us to prove adequacy theorems for every logic of the hierarchy InPk.