Models for a paraconsistent set theory |
| |
Authors: | Thierry Libert |
| |
Affiliation: | aDépartement de Mathématique, Université Libre de Bruxelles, CP211, Boulevard du Triomphe, 1050 Brussels, Belgium |
| |
Abstract: | In this paper the existence of natural models for a paraconsistent version of naive set theory is discussed. These stand apart from the previous attempts due to the presence of some non-monotonic ingredients in the comprehension scheme they fulfill. Particularly, it is proved here that allowing the equality relation in formulae defining sets, within an extensional universe, compels the use of non-monotonic operators. By reviewing the preceding attempts, we show how our models can naturally be obtained as fixed points of some functor acting on a suitable category (stressing the use of fixed-point arguments in obtaining such alternative semantics). |
| |
Keywords: | Naive set theory Topological models Paraconsistent logic |
本文献已被 ScienceDirect 等数据库收录! |
|