Exhaustively axiomatizing RMO with an appropiate extension of Anderson and Belnap's “strong and natural list of valid entailments”

Theoria 5 (1):223-228 (1990)
  Copy   BIBTEX

Abstract

RMO -> is the result of adding the ‘mingle principle’ (viz. A-> (A -> A)) to Anderson and Belnap’s implicative logic of relevance R->. The aim of this paper is to provide all possible axiomatizations with independent axioms of RMO -> formulable with Anderson and Belnap’s list extended with three characteristic minglish principles

Categories

Keywords

Reprint years

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 93,098

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

Exhaustively axiomatizing RMO with an appropiate extension of Anderson and Belnap’s “strong and natural list of valid entailments”.José M. Méndez - 1990 - Theoria: Revista de Teoría, Historia y Fundamentos de la Ciencia 5 (1-2):223-228.
Exhaustively axiomatizing RMO with an appropiate extensión of Anderson and Belnap's "strong and natural list of valid entailments".José Manuel Méndez Rodríguez - 1990 - Theoria 5 (12):223-228.
Axiomatizing E→ and R→ with Anderson and Belnap's 'strong and natural'list of valid entailments.José M. Méndez - 1987 - Bulletin of the Section of Logic 16 (1):2-7.
Exhaustively Axiomatizing S3°→ and S4°→.Gemma Robles, Francisco Salto & José M. Méndez - 2008 - Teorema: International Journal of Philosophy 27 (2):79-89.
Exhaustively Axiomatizing S3 (->) degrees and S4 (->) degrees.Gemma Robles, Francisco Salto & Jose M. Mendez - 2008 - Teorema: International Journal of Philosophy 27 (2):79-89.
Constructive R.José M. Méndez - 1987 - Bulletin of the Section of Logic 16 (4):167-173.
Exhaustively axiomatizing S3-> and S4-> with a select list of representative theses.Jose Mendez - 1988 - Bulletin of the Section of Logic 17 (1):15-20.
Exhaustively axiomatizing rmo→ with a select list of representative theses including restricted Mingle principles.Francisco Salto, Gemma Robles & José M. Méndez - 1999 - Bulletin of the Section of Logic 28 (4):195-206.
Anderson And Belnap's Minimal Positive Logic With Minimal Negation.J. Mendez, F. Salto & G. Robles - 2002 - Reports on Mathematical Logic 36:117-130.
CE is not a conservative extension of E.Edwin D. Mares - 2000 - Journal of Philosophical Logic 29 (3):263-275.

Analytics

Added to PP
2009-01-28

Downloads
32 (#516,119)

6 months
5 (#710,385)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

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