✦ LIBER ✦

Notes on N-lattices and constructive logic with strong negation

✍ Scribed by D. Vakarelov

Publisher: Springer Netherlands
Year: 1977
Tongue: English
Weight: 797 KB
Volume: 36
Category: Article
ISSN: 0039-3215
DOI: 10.1007/bf02121118

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

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

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

Notes on Craig interpolation for LJ with

Notes on Craig interpolation for LJ with strong negation

✍ Norihiro Kamide 📂 Article 📅 2011 🏛 John Wiley and Sons 🌐 English ⚖ 64 KB 👁 1 views

On two fragments with negation and witho

On two fragments with negation and without implication of the logic of residuated lattices

✍ Félix Bou; Àngel García-Cerdaña; Ventura Verdú 📂 Article 📅 2005 🏛 Springer 🌐 English ⚖ 382 KB