Prelinearity in (quasi-)Nelson logic | Publicación