The Basic Constructive Logic for a Weak Sense of Consistency defined with a Propositional Falsity Constant

&
Logic Journal of the IGPL 16 (1):33-41 (2008)
  Copy   BIBTEX

Abstract

The logic BKc1 is the basic constructive logic in the ternary relational semantics adequate to consistency understood as the absence of the negation of any theorem. Negation is introduced in BKc1 with a negation connective. The aim of this paper is to define the logic BKc1F. In this logic negation is introduced via a propositional falsity constant. We prove that BKc1 and BKc1F are definitionally equivalent.

Categories

Keywords

Reprint years

DOI

10.1093/jigpal/jzm015

Links

PhilArchive



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

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 defined with a Propositional Falsity Constant.Gemma Robles - 2008 - Logic Journal of the IGPL 16 (3):275-291.
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.
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 absolute consistency.José M. Méndez & Gemma Robles - 2009 - Journal of Logic, Language and Information 18 (2):199-216.
The basic constructive logic for negation-consistency.Gemma Robles - 2008 - Journal of Logic, Language and Information 17 (2):161-181.
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.
The basic constructive logic for weak consistency and the reductio axioms.Gemma Robles & José M. Méndez - 2009 - Bulletin of the Section of Logic 38 (1/2):61-76.
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.
Co-constructive logic for proofs and refutations.James Trafford - 2014 - Studia Humana 3 (4):22-40.
A weak intuitionistic propositional logic with purely constructive implication.Mitsuhiro Okada - 1987 - Studia Logica 46 (4):371 - 382.
Constructive Logic and the Medvedev Lattice.Sebastiaan A. Terwijn - 2006 - Notre Dame Journal of Formal Logic 47 (1):73-82.
Relevance Logics, Paradoxes Of Consistency And The K Rule Ii.José Méndez & Gemma Robles - 2006 - Logic and Logical Philosophy 15:175-191.
Gentzen-style axiomatizations for some conservative extensions of basic propositional logic.Mojtaba Aghaei & Mohammad Ardeshir - 2001 - Studia Logica 68 (2):263-285.

Analytics

Added to PP
2016-06-30

Downloads
8 (#1,237,933)

6 months
3 (#857,336)

Historical graph of downloads
How can I increase my downloads?

Author Profiles

José M. Méndez
Universidad de Salamanca
Gemma Robles
Universidad de León

Citations of this work

Add more citations

References found in this work

No references found.

Add more references