𝔖 Bobbio Scriptorium
✦   LIBER   ✦

A theory of quantal sets

✍ Scribed by Ugo BerniCanani; Francis Borceux; Rosanna SucciCruciani

Publisher
Elsevier Science
Year
1989
Tongue
English
Weight
883 KB
Volume
62
Category
Article
ISSN
0022-4049

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

An Interpretation of the Zermelo-Fraenke
An Interpretation of the Zermelo-Fraenkel Set Theory and the Kelley-Morse Set Theory in a Positive Theory
✍ Olivier Esser πŸ“‚ Article πŸ“… 1997 πŸ› John Wiley and Sons 🌐 English βš– 530 KB

## Abstract An interesting positive theory is the GPK theory. The models of this theory include all hyperuniverses (see [5] for a definition of these ones). Here we add a form of the axiom of infinity and a new scheme to obtain GPK~∞~^+^. We show that in these conditions, we can interprete the Kell

On a logic of involutive quantales
On a logic of involutive quantales
✍ Norihiro Kamide πŸ“‚ Article πŸ“… 2005 πŸ› John Wiley and Sons 🌐 English βš– 112 KB

## MSC (2000) 03B47 The logic just corresponding to (non-commutative) involutive quantales, which was introduced by Wendy Mac-Caull, is reconsidered in order to obtain a cut-free sequent calculus formulation, and the completeness theorem (with respect to the involutive quantale model) for this log

Models for a paraconsistent set theory
Models for a paraconsistent set theory
✍ Thierry Libert πŸ“‚ Article πŸ“… 2005 πŸ› Elsevier Science 🌐 English βš– 269 KB

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