The Basic Constructive Logic for Absolute Consistency defined with a Propositional Falsity Constant

Logic Journal of the IGPL 16 (3):275-291 (2008)
  Copy   BIBTEX

Abstract

The logic BKc6 is the basic constructive logic in the ternary relational semantics adequate to consistency understood as absolute consistency, i.e., non-triviality. Negation is introduced in BKc6 with a negation connective. The aim of this paper is to define the logic BKc6F. In this logic negation is introduced via a propositional falsity constant. We prove that BKc6 and BKc6F are definitionally equivalent. Then, we show how to extend BKc6F within the spectrum of logics delimited by contractionless intuitionistic logic. All logics defined in the paper are paraconsistent logics

Categories

Keywords

Reprint years

DOI

10.1093/jigpal/jzn007

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 92,150

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

Extensions of the basic constructive logic for weak consistency BKc1 defined with a falsity constant.Gemma Robles - 2007 - Logic and Logical Philosophy 16 (4):311-322.
The basic constructive logic for absolute consistency.José M. Méndez & Gemma Robles - 2009 - Journal of Logic, Language and Information 18 (2):199-216.
The basic constructive logic for a weak sense of consistency.Gemma Robles & José M. Méndez - 2008 - Journal of Logic, Language and Information 17 (1):89-107.
The basic constructive logic for negation-consistency.Gemma Robles - 2008 - Journal of Logic, Language and Information 17 (2):161-181.
The basic constructive logic for negation-consistency defined with a propositional falsity constant.José M. Méndez, Gemma Robles & Francisco Salto - 2007 - Bulletin of the Section of Logic 36 (1-2):45-58.
Strong paraconsistency and the basic constructive logic for an even weaker sense of consistency.Gemma Robles & José M. Méndez - 2009 - Journal of Logic, Language and Information 18 (3):357-402.
Relevance logics, paradoxes of consistency and the K rule II. A non-constructive negation.José M. Méndez & Gemma Robles - 2007 - Logic and Logical Philosophy 15 (3):175-191.
Converse Ackermann property and constructive negation defined with a negation connective.Gemma Robles & José M. Méndez - 2006 - Logic and Logical Philosophy 15 (2):113-130.
Constructive negation defined with a falsity constant for positive logics with the CAP defined with a truth constant A.Gemma Robles & José M. Méndez - 2005 - Logique Et Analyse 48 (192):87-100.
Relevance Logics, Paradoxes Of Consistency And The K Rule Ii.José Méndez & Gemma Robles - 2006 - Logic and Logical Philosophy 15:175-191.
Łukasiewicz Negation and Many-Valued Extensions of Constructive Logics.Thomas Macaulay Ferguson - 2014 - In Proc. 44th International Symposium on Multiple-Valued Logic. IEEE Computer Society Press. pp. 121-127.
Investigation into certain implication-negation fragments of propositional logic.Lung-ock Chung - unknown
Weakening of Intuitionistic Negation for Many-valued Paraconsistent da Costa System.Zoran Majkić - 2008 - Notre Dame Journal of Formal Logic 49 (4):401-424.
Extensions of the basic constructive logic for negation-consistency BKc4.Gemma Robles - 2008 - Logique Et Analyse 51.
A constructive negation defined with a negation connective for logics including Bp+.Gemma Robles, Francisco Salto & José M. Méndez - 2005 - Bulletin of the Section of Logic 34 (3):177-190.

Analytics

Added to PP
2015-02-04

Downloads
10 (#1,196,476)

6 months
2 (#1,203,099)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Gemma Robles
Universidad de León

Citations of this work

Add more citations

References found in this work

No references found.

Add more references