Axiomatizing E→ and R→ with Anderson and Belnap's 'strong and natural'list of valid entailments

Bulletin of the Section of Logic 16 (1):2-7 (1987)
  Copy   BIBTEX

Abstract

We provide all possible axiomatizations with independent axioms of E→ and R→ formulable with Anderson and Belnap’s list

Categories

Keywords

Reprint years

Links

PhilArchive



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

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.
Tautological entailments.Alan Ross Anderson & Nuel D. Belnap - 1962 - Philosophical Studies 13 (1-2):9 - 24.
Review: A. R. Anderson, N. D. Belnap Jr., First Degree Entailments. [REVIEW]Stig Kanger - 1971 - Journal of Symbolic Logic 36 (3):520-521.
Review: Alan Ross Anderson, Nuel D. Belnap, Tautological Entailments. [REVIEW]David Makinson - 1968 - Journal of Symbolic Logic 33 (4):608-608.
A sieve for entailments.J. Michael Dunn - 1980 - Journal of Philosophical Logic 9 (1):41 - 57.
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.
Anderson and Belnap’s Invitation to Sin.Alasdair Urquhart - 2010 - Journal of Philosophical Logic 39 (4):453 - 472.
Presentence, revision, truth, and paradox. [REVIEW]Nuel Belnap - 2006 - Philosophy and Phenomenological Research 73 (3):705–712.
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.
Axiomatizing Belnap's conditional assertion.J. Michael Dunn - 1975 - Journal of Philosophical Logic 4 (4):383 - 397.
Perfect validity, entailment and paraconsistency.Neil Tennant - 1984 - Studia Logica 43 (1-2):181 - 200.
Semantics for analytic containment.Fabrice Correia - 2004 - Studia Logica 77 (1):87-104.
Partiality and its dual.J. Michael Dunn - 2000 - Studia Logica 66 (1):5-40.

Analytics

Added to PP
2014-01-24

Downloads
31 (#503,056)

6 months
1 (#1,510,037)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

José M. Méndez
Universidad de Salamanca

Citations of this work

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

Add more citations

References found in this work

No references found.

Add more references