𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Implementing Constructive Intensional Negation

✍ Scribed by Julio Mariño; Juan José Moreno-Navarro; Susana Munoz-Hernandez


Publisher
Springer
Year
2008
Tongue
English
Weight
655 KB
Volume
27
Category
Article
ISSN
0288-3635

No coin nor oath required. For personal study only.


📜 SIMILAR VOLUMES


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