✦ LIBER ✦

Constructive Logic with Strong Negation is a Substructural Logic. I

✍ Scribed by Matthew Spinks; Robert Veroff

Publisher: Springer Netherlands
Year: 2008
Tongue: English
Weight: 254 KB
Volume: 88
Category: Article
ISSN: 0039-3215
DOI: 10.1007/s11225-008-9113-x

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Constructive Logic with Strong Negation

Constructive Logic with Strong Negation is a Substructural Logic. II

✍ M. Spinks; R. Veroff 📂 Article 📅 2008 🏛 Springer Netherlands 🌐 English ⚖ 358 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

Axiomatic extensions of the constructive

Axiomatic extensions of the constructive logic with strong negation and the disjunction property

✍ Andrzej Sendlewski 📂 Article 📅 1995 🏛 Springer Netherlands 🌐 English ⚖ 705 KB