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 ...
Algebraic logic constitutes a vibrant interdisciplinary field that investigates the close interplay between algebraic structures and logical systems. By utilising tools from universal algebra, ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results