Bulletin of the Section of Logic 16 (4):167-173 (1987)

José M. Méndez
Universidad de Salamanca
Let R+ be the positive fragment of Anderson and Belnap’s Logic of Relevance, R. And let RMO+ be the result of adding the Mingle principle ) to R+. We have shown in [2] that either a minimal negation or else a semiclassical one can be added to RMO+ preserving the variable-sharing property. Moreover, each of there systems is given a semantics in the Routley-Meyer style. In describing in [2] the models for RMO+ plus minimal negation, we noted that a similar strategy would give us a semantics for R+ with minimal negation; that is, constructive R. The aim of this paper is to prove this claim
Keywords No keywords specified (fix it)
Categories (categorize this paper)
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy

Upload a copy of this paper     Check publisher's policy     Papers currently archived: 63,206
External links

Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library

References found in this work BETA

The Semantics of Entailment — III.Richard Routley & Robert K. Meyer - 1972 - Journal of Philosophical Logic 1 (2):192 - 208.
Semantics for Relevant Logics.Alasdair Urquhart - 1972 - Journal of Symbolic Logic 37 (1):159-169.
The Compatibility of Relevance and Mingle.José M. Méndez - 1988 - Journal of Philosophical Logic 17 (3):279 - 297.

Add more references

Citations of this work BETA

No citations found.

Add more citations

Similar books and articles

Constructive Empiricism and Modal Nominalism.Monton Bradley & Fraassen Bas C. Van - 2003 - British Journal for the Philosophy of Science 54 (3):405 - 422.
The Basic Constructive Logic for Absolute Consistency.José M. Méndez & Gemma Robles - 2009 - Journal of Logic, Language and Information 18 (2):199-216.
Varieties of Constructive Mathematics.D. S. Bridges - 1987 - Cambridge University Press.
Constructivity and Relational Belief.D. E. Over - 1983 - Journal of Semantics 2 (1):41-62.
What is Constructive Empiricism?Gideon Rosen - 1994 - Philosophical Studies 74 (2):143 - 178.
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.
Constructive Empiricism: Normative or Descriptive?Moti Mizrahi - 2014 - International Journal of Philosophical Studies 22 (4):604-616.


Added to PP index

Total views
30 ( #363,209 of 2,448,358 )

Recent downloads (6 months)
1 ( #450,223 of 2,448,358 )

How can I increase my downloads?


My notes