The basic constructive logic for negation-consistency defined with a propositional falsity constant

, &
Bulletin of the Section of Logic 36 (1-2):45-58 (2007)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

Links

PhilArchive



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

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.
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 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.
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.
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.
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.
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.
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.
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.
Two versions of minimal intuitionism with the cap. A note.Gemma Robles & José M. Méndez - 2005 - Theoria 20 (2):183-190.
Investigation into certain implication-negation fragments of propositional logic.Lung-ock Chung - unknown
Four kinds of subminimal negation within the context of the basic positive logic b+ Jose M. Mendez, francisco Salto and Pedro Mendez R.Jose M. Mendez - 2002 - Logique Et Analyse 45 (178):119-128.
Review: A. Bialynicki-Birula, H. Rasiowa, On Constructible Falsity in the Constructive Logic with Strong Negation. [REVIEW]David Nelson - 1970 - Journal of Symbolic Logic 35 (1):138-138.

Analytics

Added to PP
2013-12-30

Downloads
37 (#428,882)

6 months
6 (#507,808)

Historical graph of downloads
How can I increase my downloads?

Author Profiles

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

Citations of this work

Add more citations

References found in this work

The basic constructive logic for negation-consistency.Gemma Robles - 2008 - Journal of Logic, Language and Information 17 (2):161-181.

Add more references