Proof theory and mathematical meaning of paraconsistent C-systems

Journal of Applied Logic 9 (3):171-202 (2011)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1016/j.jal.2011.04.001

Links

PhilArchive



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

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

A strictly finitary non-triviality proof for a paraconsistent system of set theory deductively equivalent to classical ZFC minus foundation.Arief Daynes - 2000 - Archive for Mathematical Logic 39 (8):581-598.
Paraconsistent logics included in Lewis’ S4.Gemma Robles & José M. Méndez - 2010 - Review of Symbolic Logic 3 (3):442-466.
Kantian and non-Kantian logics.L. Z. Puga, N. N. C. A. Da Costa & W. Carnielli - 1988 - Logique Et Analyse 31 (121/122):3-9.
Proof Systems Combining Classical and Paraconsistent Negations.Norihiro Kamide - 2009 - Studia Logica 91 (2):217-238.
Paraconsistent logic! (A reply to Slater) Jean-Yves BéziauFoot note 1_.Blaise Pascal - unknown
A Note on Majkić's Systems.Hitoshi Omori & Toshiharu Waragai - 2010 - Notre Dame Journal of Formal Logic 51 (4):503-506.
Introduction to mathematical logic.Michał Walicki - 2012 - Hackensack, NJ: World Scientific.
Outline of a Paraconsistent Category Theory.Otavio Bueno - unknown
Anti-Realist Semantics for Mathematical and Natural Language.Matthew James Watson - 1998 - Dissertation, The University of Texas at Austin
Some multi-conclusion modal paralogics.Casey McGinnis - 2007 - Logica Universalis 1 (2):335-353.
The gödel paradox and Wittgenstein's reasons.Francesco Berto - 2009 - Philosophia Mathematica 17 (2):208-219.
Structural Proof Theory.Sara Negri, Jan von Plato & Aarne Ranta - 2001 - New York: Cambridge University Press. Edited by Jan Von Plato.
Decomposition proof systems for gödel-Dummett logics.Arnon Avron & Beata Konikowska - 2001 - Studia Logica 69 (2):197-219.
Proof and Design.M. P. Fourman - 1995 - Lfcs, Dept. Of Computer Science, University of Edinburgh.
[Omnibus Review].Henry Kyburg - 1998 - Journal of Symbolic Logic 63 (3):1183-1184.

Analytics

Added to PP
2016-06-30

Downloads
10 (#1,160,791)

6 months
1 (#1,533,009)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

On the theory of inconsistent formal systems.Newton C. A. da Costa - 1974 - Notre Dame Journal of Formal Logic 15 (4):497-510.
Dual-Intuitionistic Logic.Igor Urbas - 1996 - Notre Dame Journal of Formal Logic 37 (3):440-451.
Inconsistent models for relevant arithmetics.Robert Meyer & Chris Mortensen - 1984 - Journal of Symbolic Logic 49 (3):917-929.
Limits for Paraconsistent Calculi.Walter A. Carnielli & João Marcos - 1999 - Notre Dame Journal of Formal Logic 40 (3):375-390.
Anti-intuitionism and paraconsistency.Andreas B. M. Brunner & Walter A. Carnielli - 2005 - Journal of Applied Logic 3 (1):161-184.

View all 11 references / Add more references