✦ LIBER ✦

The Basic Constructive Logic for Negation-Consistency

✍ Scribed by Gemma Robles

Publisher: Springer Netherlands
Year: 2007
Tongue: English
Weight: 201 KB
Volume: 17
Category: Article
ISSN: 0925-8531
DOI: 10.1007/s10849-007-9056-z

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

The Basic Constructive Logic for Absolut

The Basic Constructive Logic for Absolute Consistency

✍ José M. Méndez; Gemma Robles 📂 Article 📅 2008 🏛 Springer Netherlands 🌐 English ⚖ 194 KB

The basic constructive logic for a weak

The basic constructive logic for a weak sense of consistency

✍ Gemma Robles; José M. Méndez 📂 Article 📅 2007 🏛 Springer Netherlands 🌐 English ⚖ 191 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

Strong Paraconsistency and the Basic Con

Strong Paraconsistency and the Basic Constructive Logic for an Even Weaker Sense of Consistency

✍ Gemma Robles; José M. Méndez 📂 Article 📅 2009 🏛 Springer Netherlands 🌐 English ⚖ 528 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

Mutual Transformability of The Formulas

Mutual Transformability of The Formulas of The Basic Languages of Constructive Mathematical Logic

✍ F. W. Gorgy; A. H. Sahyoun 📂 Article 📅 1981 🏛 John Wiley and Sons 🌐 English ⚖ 370 KB