𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Notes on Constructive Negation

✍ Scribed by Grigori Mints


Publisher
Springer Netherlands
Year
2006
Tongue
English
Weight
261 KB
Volume
148
Category
Article
ISSN
0039-7857

No coin nor oath required. For personal study only.


πŸ“œ SIMILAR VOLUMES


Implementing Constructive Intensional Ne
✍ Julio MariΓ±o; Juan JosΓ© Moreno-Navarro; Susana Munoz-Hernandez πŸ“‚ Article πŸ“… 2008 πŸ› Springer 🌐 English βš– 655 KB
A note on negation
✍ Charles B. Daniels πŸ“‚ Article πŸ“… 1990 πŸ› Springer 🌐 English βš– 276 KB
TOPOS BASED SEMANTIC FOR CONSTRUCTIVE LO
✍ Barbara Klunder; B. Klunder πŸ“‚ Article πŸ“… 1992 πŸ› John Wiley and Sons 🌐 English βš– 510 KB

## Abstract The aim of the paper is to show that topoi are useful in the categorial analysis of the constructive logic with strong negation. In any topos Ο΅ we can distinguish an object Ξ› and its truth‐arrows such that sets Ο΅(__A__, Ξ›) (for any object __A__) have a Nelson algebra structure. The obje