✦ 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
DOI: 10.1007/s00354-008-0053-9

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Notes on Constructive Negation

✍ Grigori Mints 📂 Article 📅 2006 🏛 Springer Netherlands 🌐 English ⚖ 261 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

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

Constructive Logic with Strong Negation

Constructive Logic with Strong Negation is a Substructural Logic. I

✍ Matthew Spinks; Robert Veroff 📂 Article 📅 2008 🏛 Springer Netherlands 🌐 English ⚖ 254 KB