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

Theoria: Revista de Teoría, Historia y Fundamentos de la Ciencia 5 (1-2):223-228 (1990)
  Copy   BIBTEX

Abstract

RMO -> is the result of adding the ‘mingle principle’ ) 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

ISBN(s)

04954548

Links

PhilArchive



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

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 5 (1):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-> with a select list of representative theses.Jose Mendez - 1988 - Bulletin of the Section of Logic 17 (1):15-20.
Anderson and Belnap’s Invitation to Sin.Alasdair Urquhart - 2010 - Journal of Philosophical Logic 39 (4):453 - 472.
Completeness theorems for two propositional logics in which identity diverges from mutual entailment.Philip Hugly & Charles Sayward - 1981 - Notre Dame Journal of Formal Logic 22 (3):269-282.
Semantics for analytic containment.Fabrice Correia - 2004 - Studia Logica 77 (1):87-104.
First Degree Entailments. [REVIEW]Stig Kanger - 1971 - Journal of Symbolic Logic 36 (3):520-521.
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.
Review: A. R. Anderson, N. D. Belnap Jr., First Degree Entailments. [REVIEW]Stig Kanger - 1971 - Journal of Symbolic Logic 36 (3):520-521.
Tautological entailments.Alan Ross Anderson & Nuel D. Belnap - 1962 - Philosophical Studies 13 (1-2):9 - 24.
Review: Alan Ross Anderson, Nuel D. Belnap, Tautological Entailments. [REVIEW]David Makinson - 1968 - Journal of Symbolic Logic 33 (4):608-608.
CE is not a conservative extension of E.Edwin D. Mares - 2000 - Journal of Philosophical Logic 29 (3):263-275.
Presentence, revision, truth, and paradox. [REVIEW]Nuel Belnap - 2006 - Philosophy and Phenomenological Research 73 (3):705–712.
Enthymemes.Alan Ross Anderson & Nuel D. Belnap - 1961 - Journal of Philosophy 58 (23):713-723.

Analytics

Added to PP
2017-01-11

Downloads
11 (#1,133,540)

6 months
3 (#965,065)

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