✦ LIBER ✦

Intuitionistic logic with strong negation

✍ Scribed by Yuri Gurevich

Book ID: 105469067
Publisher: Springer Netherlands
Year: 1977
Tongue: English
Weight: 506 KB
Volume: 36
Category: Article
ISSN: 0039-3215
DOI: 10.1007/bf02121114

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Normal Modal Substructural Logics with S

Normal Modal Substructural Logics with Strong Negation

✍ Norihiro Kamide 📂 Article 📅 2003 🏛 Springer Netherlands 🌐 English ⚖ 136 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

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

Dual Intuitionistic Logic and a Variety

Dual Intuitionistic Logic and a Variety of Negations: The Logic of Scientific Research

✍ Yaroslav Shramko 📂 Article 📅 2005 🏛 Springer Netherlands 🌐 English ⚖ 226 KB

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