✦ LIBER ✦

Models for a paraconsistent set theory

✍ Scribed by Thierry Libert

Publisher: Elsevier Science
Year: 2005
Tongue: English
Weight: 269 KB
Volume: 3
Category: Article
ISSN: 1570-8683
DOI: 10.1016/j.jal.2004.07.010

No coin nor oath required. For personal study only.

✦ Synopsis

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

📜 SIMILAR VOLUMES

Sheaf models for set theory

✍ Michael P. Fourman 📂 Article 📅 1980 🏛 Elsevier Science 🌐 English ⚖ 692 KB

A Hierarchy of Models for Skala's Set Th

A Hierarchy of Models for Skala's Set Theory

✍ Martin Kühnrich; Konrad Schultz 📂 Article 📅 1980 🏛 John Wiley and Sons 🌐 English ⚖ 288 KB 👁 1 views

has proposed a new axiomatic set theory, see [5], [4], and [3]. The nonlogical axioms of this theory are as follows: A2. Existence of a greatest lower set (gls A(%)):

A CLASS OF MODELS FOR SKALA'S SET THEORY

✍ Antonio Greco 📂 Article 📅 1992 🏛 John Wiley and Sons 🌐 English ⚖ 215 KB 👁 1 views

## Abstract For each ordinal α it is given a model for Skala's set theory using the well‐known cumulative type hierarchy.

A Three-Valued Model for Set Theory

✍ Alan Rose 📂 Article 📅 1978 🏛 John Wiley and Sons 🌐 English ⚖ 259 KB 👁 1 views

Estimation theory for nonlinear models a

Estimation theory for nonlinear models and set membership uncertainty

✍ M. Milanese; A. Vicino 📂 Article 📅 1991 🏛 Elsevier Science 🌐 English ⚖ 612 KB

In this paper we study the problem of estimating a given function of a vector of unknowns, called the problem element, by using measurements depending nonlinearly on the problem element and affected by unknown but bounded noise. Assuming that both the solution sought and the measurements depend poly

First order theory for literal-paraconsi

First order theory for literal-paraconsistent and literal-paracomplete matrices

✍ Renato A. Lewin; Irene F. Mikenberg 📂 Article 📅 2010 🏛 John Wiley and Sons 🌐 English ⚖ 111 KB

## Abstract In this paper a first order theory for the logics defined through literal paraconsistent‐paracomplete matrices is developed. These logics are intended to model situations in which the ground level information may be contradictory or incomplete, but it is treated within a classical frame