✦ 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
DOI: 10.1007/s11229-004-6294-3

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Notes on N-lattices and constructive log

Notes on N-lattices and constructive logic with strong negation

✍ D. Vakarelov 📂 Article 📅 1977 🏛 Springer Netherlands 🌐 English ⚖ 797 KB

Implementing Constructive Intensional Ne

Implementing Constructive Intensional Negation

✍ 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

Affirmation and negation as constructive

Affirmation and negation as constructive action

✍ Suitbert Ertel; Wolf-Dieter Bloemer 📂 Article 📅 1975 🏛 Guilford Publishing Inc 🌐 English ⚖ 528 KB

The Basic Constructive Logic for Negatio

The Basic Constructive Logic for Negation-Consistency

✍ Gemma Robles 📂 Article 📅 2007 🏛 Springer Netherlands 🌐 English ⚖ 201 KB

TOPOS BASED SEMANTIC FOR CONSTRUCTIVE LO

TOPOS BASED SEMANTIC FOR CONSTRUCTIVE LOGIC WITH STRONG NEGATION

✍ 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