Gemma Robles
Biographic Data
| ID | 9415566 |
|---|---|
| NAME | Gemma Robles |
| GIVEN NAMES | Gemma |
| FAMILY NAME | Robles |
| SIGNATURE | ROBLES G |
| AFFILIATIONS | Universidad de La Laguna |
| ORCID | 0000-0001-6495-0388 |
| VERIFIED | Yes |
| TOTAL WORKS | 1 |
| TOTAL CITATIONS | 0 |
| WORKS AS AUTHOR | 1 |
| WORKS AS EDITOR | 0 |
| FIRST PUBLICATION YEAR | 2009 |
| LATEST PUBLICATION YEAR | 2009 |
| H-INDEX | 0 |
Weak consistency and strong paraconsistency
In a standard sense, consistency and paraconsistency are understood as, respectively, the absence of any contradiction and as the absence of the ECQ (“E contradictione quodlibet”) rule that allows us to conclude any well formed formula from any contradiction. The aim of this paper is to explain the concepts of weak consistency alternative to the standard one, the concepts of paraconsistency related to them and the concept of strong paraconsistenc…
No prominent works on this page.
Weak consistency and strong paraconsistency
In a standard sense, consistency and paraconsistency are understood as, respectively, the absence of any contradiction and as the absence of the ECQ (“E contradictione quodlibet”) rule that allows us to conclude any well formed formula from any contradiction. The aim of this paper is to explain the concepts of weak consistency alternative to the standard one, the concepts of paraconsistency related to them and the concept of strong paraconsistenc…
Advanced Algebra and Logic (1 work) · Artificial Intelligence (1 work) · Computer Science (1 work) · Contradiction (1 work) · Epistemology (1 work) · Logic, programming, and type systems (1 work) · Logic, Reasoning, and Knowledge (1 work) · Paraconsistent logic (1 work) · Philosophy (1 work)