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 ...

This is a preview. Log in through your library . Abstract We develop a paraconsistent logic by introducing new models for conditionals with acceptive and rejective selection functions which are ...

Algebraic logic constitutes a vibrant interdisciplinary field that investigates the close interplay between algebraic structures and logical systems. By utilising tools from universal algebra, ...