Powered by OpenAIRE graph
Found an issue? Give us feedback
image/svg+xml art designer at PLoS, modified by Wikipedia users Nina, Beao, JakobVoss, and AnonMoos Open Access logo, converted into svg, designed by PLoS. This version with transparent background. http://commons.wikimedia.org/wiki/File:Open_Access_logo_PLoS_white.svg art designer at PLoS, modified by Wikipedia users Nina, Beao, JakobVoss, and AnonMoos http://www.plos.org/ Notre Dame Journal o...arrow_drop_down
image/svg+xml art designer at PLoS, modified by Wikipedia users Nina, Beao, JakobVoss, and AnonMoos Open Access logo, converted into svg, designed by PLoS. This version with transparent background. http://commons.wikimedia.org/wiki/File:Open_Access_logo_PLoS_white.svg art designer at PLoS, modified by Wikipedia users Nina, Beao, JakobVoss, and AnonMoos http://www.plos.org/
Notre Dame Journal of Formal Logic
Article
License: implied-oa
Data sources: UnpayWall
image/svg+xml art designer at PLoS, modified by Wikipedia users Nina, Beao, JakobVoss, and AnonMoos Open Access logo, converted into svg, designed by PLoS. This version with transparent background. http://commons.wikimedia.org/wiki/File:Open_Access_logo_PLoS_white.svg art designer at PLoS, modified by Wikipedia users Nina, Beao, JakobVoss, and AnonMoos http://www.plos.org/
Project Euclid
Other literature type . 1987
Data sources: Project Euclid
image/svg+xml Jakob Voss, based on art designer at PLoS, modified by Wikipedia users Nina and Beao Closed Access logo, derived from PLoS Open Access logo. This version with transparent background. http://commons.wikimedia.org/wiki/File:Closed_Access_logo_transparent.svg Jakob Voss, based on art designer at PLoS, modified by Wikipedia users Nina and Beao
zbMATH Open
Article
Data sources: zbMATH Open
Notre Dame Journal of Formal Logic
Article . 1987 . Peer-reviewed
Data sources: Crossref
DBLP
Article
Data sources: DBLP
versions View all 4 versions
addClaim

This Research product is the result of merged Research products in OpenAIRE.

You have already added 0 works in your ORCID record related to the merged Research product.

Operational semantics for positive ${\rm R}$.

Operational semantics for positive R
Authors: Humberstone, I. L.;

Operational semantics for positive ${\rm R}$.

Abstract

This paper presents a ``semilattice'' semantics for the positive fragment of the relevant logic R, i.e. \(R+\). Early investigations of the semantics for relevant logics [e.g. \textit{A. Urquhart}, J. Symb. Logic 37, 159-169 (1972; Zbl 0245.02028)] attempted to fit a straightforward semilattice semantics to \(R+\), but soon discovered that there was no such fit. Indeed, for the most part all hope of discovering a variation of that semantics was abandoned. (Although recent work such as that by the reviewer and \textit{A. Urquhart} [Z. Math. Logik Grundlagen Math. 33, 433- 439 (1987; Zbl 0611.03005)] revived some hope for doing so for contractionless relevant logics such as \(RW+.)\) The problem had always been to accomodate disjunction (not to mention negation, of course). Humberstone shows that with an appropriate enrichment of the structure of the underlying semilattice frames (model structures) it is possible to alter the truth conditions for disjunction in such a way as to yield the desired semantic completeness. In particular, a frame is to be an algebra \(\) of similarity type (2,2,0,0) in which \(\) is a semilattice with zero (0), \(\) is a commutative semigroup with unit (1), and the following conditions are satisfied: (Pseudo-Idempotence) \(x(x+1)=x^ a+x;\) (Decomposition) If \(x\leq u+v,\) then there are u'\(\leq u\), v'\(\leq v\) with \(u'+v'=x;\) (Zeroing) \(0x=0\); (Ring Distribution) \(x(y+z)=xy+xz.\) Valuation functions (on atoms) must satisfy the conditions: \((C+)\) \(V(A,x+y)=T\) iff \(V(A,x)=V(A,y)=T\); (C0) \(V(A,0)=T\). They are extended to full interpretations via the usual recursive clauses for \& and \(\to\) along with the unusual: (*) \(I(A\vee B,x)=T\) iff there are y, z such that \(x=y+z\) and \(I(A,y)=I(B,z)=T.\) The completeness proof is then a straightforward adaptation of the usual, as by \textit{K. Fine} [J. Philos. Logic 3, 347-372 (1974; Zbl 0296.02013)] or \textit{R. Routley} and \textit{R. K. Meyer} [``The semantics of entailment'', in: Truth, Syntax and Modality, Stud. Logic Found. Math. 68, 199-243 (1973; Zbl 0317.02017)]. The paper gives some discussion of the interpretation and plausibility of the given semantics, as well as results concerning the addition of sentential constants, fusion (along with a very interesting discussion) and quantifiers. The author notes that changing Pseudo-Idempotence to full Idempotence, making \(\) a semilattice also, yields a semantics for \(R+\) Mingle.

Related Organizations
Keywords

relevance logics, fusion, disjunction, quantified relevant logic, Philosophical and critical aspects of logic and foundations, 03G25, semantics for the positive fragment of the relevant logic R, sentential constants, R Mingle, semilattice semantics, semantic completeness, 03B45, Modal logic (including the logic of norms)

  • BIP!
    Impact byBIP!
    selected citations
    These citations are derived from selected sources.
    This is an alternative to the "Influence" indicator, which also reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically).
    9
    popularity
    This indicator reflects the "current" impact/attention (the "hype") of an article in the research community at large, based on the underlying citation network.
    Top 10%
    influence
    This indicator reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically).
    Average
    impulse
    This indicator reflects the initial momentum of an article directly after its publication, based on the underlying citation network.
    Average
Powered by OpenAIRE graph
Found an issue? Give us feedback
selected citations
These citations are derived from selected sources.
This is an alternative to the "Influence" indicator, which also reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically).
BIP!Citations provided by BIP!
popularity
This indicator reflects the "current" impact/attention (the "hype") of an article in the research community at large, based on the underlying citation network.
BIP!Popularity provided by BIP!
influence
This indicator reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically).
BIP!Influence provided by BIP!
impulse
This indicator reflects the initial momentum of an article directly after its publication, based on the underlying citation network.
BIP!Impulse provided by BIP!
9
Top 10%
Average
Average
Green
hybrid