Skip to main content
SpringerLink
Log in

The Basic Constructive Logic for Negation-Consistency

  • Published:
Journal of Logic, Language and Information Aims and scope Submit manuscript

Abstract

In this paper, consistency is understood in the standard way, i.e. as the absence of a contradiction. The basic constructive logic BKc4, which is adequate to this sense of consistency in the ternary relational semantics without a set of designated points, is defined. Then, it is shown how to define a series of logics by extending BKc4 up to minimal intuitionistic logic. All logics defined in this paper are paraconsistent logics.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Log in via an institution

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Similar content being viewed by others

References

  • Méndez J.M. (1987). Axiomatizing E→ and R→ with Anderson and Belnap’s ‘strong and natural’ list of valid entailments. Bulletin of the Section of Logic 16, 2–10

    Google Scholar 

  • Priest, G., & Tanaka, K. (2004). Paraconsistent Logic. In E. N. Zalta (Ed.), The Standford Encyclopedia of Philosophy. Winter 2004 Edition. URL: http://plato.stanford.edu/archives/win2004/entries/logic-paraconsistent/.

  • Robles G., Méndez J.M. (2004). The logic B and the reductio axioms. Bulletin of the Section of Logic 33(2): 87–94

    Google Scholar 

  • Robles, G., & Méndez, J. M. (2007). The basic constructive logic for a weak sense of consistency. Journal of Logic Language and Information. DOI 10.1007/s10849-007-9042-5.

  • Robles, G., & Méndez, J. M. (In preparation). The basic constructive logic for an even weaker sense of consistency.

  • Robles G., Méndez J.M., Salto F. (2005). Minimal negation in the ternary relational semantics. Reports on Mathematical Logic 39, 47–65

    Google Scholar 

  • Robles, G., Méndez, J. M., & Salto, F. (2007). Relevance logics, paradoxes of consistency and the K rule, Logique et Analyse, 198, 129–145. (An abstract of this paper presented at the Logic Colloquium 2006, Nijmegen, Holland, 27 July – 2 August 2006).

  • Routley, R. et al. (1982). Relevant Logics and their Rivals, vol. 1. Atascadero, CA: Ridgeview Publishing Co.

  • Slaney, J. (1995). MaGIC, Matrix Generator for Implication Connectives: Version 2.1, Notes and Guide. Canberra: Australian National University.

Download references

Author information

Authors and Affiliations

  1. Los Osorios, 13, 4I 24007, Leon, Spain

    Gemma Robles

Authors
  1. Gemma Robles
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Gemma Robles.

Rights and permissions

Reprints and permissions

About this article

Cite this article

Robles, G. The Basic Constructive Logic for Negation-Consistency. J of Log Lang and Inf 17, 161–181 (2008). https://doi.org/10.1007/s10849-007-9056-z

Download citation

  • Received:

  • Accepted:

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s10849-007-9056-z

Keywords

Search

Navigation