The object of this paper is to show how one is able to construct a paraconsistent theory of models that reflects much of the classical one. In other words the aim is to demonstrate that there is a ...

Transfinite set theory encompasses the rigorous study of infinite hierarchies, particularly those structured by ordinals and cardinals. This field has been instrumental in deepening our comprehension ...

This is a preview. Log in through your library . Abstract In the literature there are at least two main formal structures to deal with situations of interactive epistemology: Kripke models and type ...