The basic constructive logic for weak consistency and the reductio axioms

&
Bulletin of the Section of Logic 38 (1/2):61-76 (2009)
  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,435

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.
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 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.
The basic constructive logic for negation-consistency.Gemma Robles - 2008 - Journal of Logic, Language and Information 17 (2):161-181.
The logic B and the reductio axioms.Gemma Robles & José M. Méndez - 2004 - Bulletin of the Section of Logic 33 (2):87-94.
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.
Displaying the modal logic of consistency.Heinrich Wansing - 1999 - Journal of Symbolic Logic 64 (4):1573-1590.
The relative consistency of the class axioms of abstraction and extensionality and the axioms of NBG in a three-valued logic.Ross T. Brady - 1972 - Notre Dame Journal of Formal Logic 13 (2):161-176.
A weak logic with the axiom Mingle lacking the variable-sharing property.Gemma Robles, Francisco Salto & José M. Méndez - 2011 - Bulletin of the Section of Logic 40 (3/4):195-202.
Axiomatizing s4+ and j+ without the suffixing, prefixing and self-distribution of the conditional axioms.Gemma Robles & José M. Méndez - 2010 - Bulletin of the Section of Logic 39 (1/2):79-91.
Some axioms for constructive analysis.Joan Rand Moschovakis & Garyfallia Vafeiadou - 2012 - Archive for Mathematical Logic 51 (5-6):443-459.
Exhibiting Wide Families of Maximal Intermediate Propositional Logics with the Disjunction Property.Guido Bertolotti, Pierangelo Miglioli & Daniela Silvestrini - 1996 - Mathematical Logic Quarterly 42 (1):501-536.

Analytics

Added to PP
2013-12-22

Downloads
27 (#581,493)

6 months
4 (#787,091)

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

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references