Journal of Applied Non-Classical Logics 18 (2-3):341-364 (2008)

Authors
Heinrich Wansing
Ruhr-Universität Bochum
Abstract
In this paper, a family of paraconsistent propositional logics with constructive negation, constructive implication, and constructive co-implication is introduced. Although some fragments of these logics are known from the literature and although these logics emerge quite naturally, it seems that none of them has been considered so far. A relational possible worlds semantics as well as sound and complete display sequent calculi for the logics under consideration are presented.
Keywords No keywords specified (fix it)
Categories (categorize this paper)
ISBN(s)
DOI 10.3166/jancl.18.341-364
Options
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy


Upload a copy of this paper     Check publisher's policy     Papers currently archived: 65,683
External links

Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library

References found in this work BETA

Logic and Structure.D. van Dalen - 1980 - Springer Verlag.
Constructible Falsity.David Nelson - 1949 - Journal of Symbolic Logic 14 (1):16-26.
Display Logic.Nuel D. Belnap - 1982 - Journal of Philosophical Logic 11 (4):375-417.
Constructible Falsity and Inexact Predicates.Ahmad Almukdad & David Nelson - 1984 - Journal of Symbolic Logic 49 (1):231-233.

View all 34 references / Add more references

Citations of this work BETA

Negation on the Australian Plan.Francesco Berto & Greg Restall - 2019 - Journal of Philosophical Logic 48 (6):1119-1144.
Logics of Nonsense and Parry Systems.Thomas Macaulay Ferguson - 2015 - Journal of Philosophical Logic 44 (1):65-80.
Modal Logics with Belnapian Truth Values.Serge P. Odintsov & Heinrich Wansing - 2010 - Journal of Applied Non-Classical Logics 20 (3):279-304.

View all 25 citations / Add more citations

Similar books and articles

On the Role of Implication in Formal Logic.Jonathan P. Seldin - 2000 - Journal of Symbolic Logic 65 (3):1076-1114.
O implikacji kauzalnej.Anna Modrzejewska - 2004 - Roczniki Filozoficzne 52 (1):215-224.
A Complete Many-Valued Logic with Product-Conjunction.Petr Hájek, Lluis Godo & Francesc Esteva - 1996 - Archive for Mathematical Logic 35 (3):191-208.
Free Łukasiewicz Implication Algebras.José Patricio Díaz Varela - 2008 - Archive for Mathematical Logic 47 (1):25-33.
Dynamic Negation and Negative Information.Sebastian Sequoiah-grayson - 2009 - Review of Symbolic Logic 2 (1):233-248.
What Projects and Why.Mandy Simons, David Beaver, Judith Tonhauser & Craige Roberts - 2010 - Semantics and Linguistic Theory 20:309-327.
Constructive Notions of Equicontinuity.Douglas S. Bridges - 2009 - Archive for Mathematical Logic 48 (5):437-448.

Analytics

Added to PP index
2013-12-29

Total views
61 ( #179,368 of 2,462,447 )

Recent downloads (6 months)
4 ( #178,988 of 2,462,447 )

How can I increase my downloads?

Downloads

My notes