Vasiliev's paraconsistent logic interpreted by means of the dual role played by the double negation law

Journal of Applied Non-Classical Logics 11 (3):281-294 (2001)
  Copy   BIBTEX

Abstract

I prove that the three basic propositions of Vasiliev's paraconsistent logic have a semantic interpretation by means of the intuitionist logic. The interpèretation is confirmed by amens of the da Costa's model of Vasiliev's paraconsistent logic.

Categories

Keywords

Reprint years

DOI

10.3166/jancl.11.281-294

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,349

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Negation and Paraconsistent Logics.Soma Dutta & Mihir K. Chakraborty - 2011 - Logica Universalis 5 (1):165-176.
A Hierarchy of Weak Double Negations.Norihiro Kamide - 2013 - Studia Logica 101 (6):1277-1297.
Idempotent Full Paraconsistent Negations are not Algebraizable.Jean- Yves Beziau - unknown
Yes, Virginia, there really are paraconsistent logics.Bryson Brown - 1999 - Journal of Philosophical Logic 28 (5):489-500.
Some definitions of negation leading to paraconsistent logics.M. W. Bunder - 1984 - Studia Logica 43 (1-2):75 - 78.
Nearly every normal modal logic is paranormal.Joao Marcos - 2005 - Logique Et Analyse 48 (189-192):279-300.
Heuristic Ground of Paraconsistent Logic.Valentin A. Bazhanov - 2008 - Proceedings of the Xxii World Congress of Philosophy 13:5-8.
Contradiction and contrariety. Priest on negation.Heinrich Wansing - 2006 - Poznan Studies in the Philosophy of the Sciences and the Humanities 91 (1):81-93.
Symmetric and dual paraconsistent logics.Norihiro Kamide & Heinrich Wansing - 2010 - Logic and Logical Philosophy 19 (1-2):7-30.
Weakening of Intuitionistic Negation for Many-valued Paraconsistent da Costa System.Zoran Majkić - 2008 - Notre Dame Journal of Formal Logic 49 (4):401-424.
Paraconsistency Everywhere.Greg Restall - 2002 - Notre Dame Journal of Formal Logic 43 (3):147-156.
Glivenko Theorems for Substructural Logics over FL.Nikolaos Galatos & Hiroakira Ono - 2006 - Journal of Symbolic Logic 71 (4):1353 - 1384.
Priestley Duality for Paraconsistent Nelson’s Logic.Sergei P. Odintsov - 2010 - Studia Logica 96 (1):65-93.

Analytics

Added to PP
2014-01-21

Downloads
24 (#637,523)

6 months
3 (#1,023,809)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Citations of this work

Add more citations

References found in this work

The Structure of Scientific Revolutions.Thomas S. Kuhn - 1962 - Chicago, IL: University of Chicago Press. Edited by Ian Hacking.
Collected works.Kurt Gödel - 1986 - New York: Oxford University Press. Edited by Solomon Feferman.
Rules versus theorems.Kuno Lorenz - 1973 - Journal of Philosophical Logic 2 (3):352 - 369.

View all 10 references / Add more references