Matches in SemOpenAlex for { <https://semopenalex.org/work/W2853550260> ?p ?o ?g. }
Showing items 1 to 79 of
79
with 100 items per page.
- W2853550260 endingPage "406" @default.
- W2853550260 startingPage "381" @default.
- W2853550260 abstract "The Routley star, an involutive function between possible worlds or set-ups against which negation is evaluated, is a hallmark feature of Richard Sylvan and Val Plumwood's set-up semantics for the logic of first-degree entailment. Less frequently acknowledged is the weaker mate function described by Sylvan and his collaborators, which results from stripping the requirement of involutivity from the Routley star. Between the mate function and the Routley star, however, lies an broad field of intermediate semantical conditions characterizing an infinite number of consequence relations closely related to first-degree entailment. In this paper, we consider the semantics and proof theory for deductive systems corresponding to set-up models in which the mate function is cyclical. We describe modifications to Anderson and Belnap's consecution calculus LE_fde2 that correspond to these constraints, for which we prove soundness and completeness with respect to the set-up semantics. Finally, we show that a number of familiar metalogical properties are coordinated with the parity of a mate function's period, including refined versions of the variable-sharing property and the property of gentle explosiveness." @default.
- W2853550260 created "2018-07-19" @default.
- W2853550260 creator A5029348229 @default.
- W2853550260 date "2018-07-05" @default.
- W2853550260 modified "2023-09-27" @default.
- W2853550260 title "Parity, Relevance, and Gentle Explosiveness in the Context of Sylvan's Mate Function" @default.
- W2853550260 doi "https://doi.org/10.26686/ajl.v15i2.4071" @default.
- W2853550260 hasPublicationYear "2018" @default.
- W2853550260 type Work @default.
- W2853550260 sameAs 2853550260 @default.
- W2853550260 citedByCount "0" @default.
- W2853550260 crossrefType "journal-article" @default.
- W2853550260 hasAuthorship W2853550260A5029348229 @default.
- W2853550260 hasBestOaLocation W28535502601 @default.
- W2853550260 hasConcept C109214941 @default.
- W2853550260 hasConcept C118615104 @default.
- W2853550260 hasConcept C121332964 @default.
- W2853550260 hasConcept C127001435 @default.
- W2853550260 hasConcept C134306372 @default.
- W2853550260 hasConcept C134752490 @default.
- W2853550260 hasConcept C14036430 @default.
- W2853550260 hasConcept C154945302 @default.
- W2853550260 hasConcept C156325763 @default.
- W2853550260 hasConcept C17231256 @default.
- W2853550260 hasConcept C184337299 @default.
- W2853550260 hasConcept C199360897 @default.
- W2853550260 hasConcept C202444582 @default.
- W2853550260 hasConcept C2185349 @default.
- W2853550260 hasConcept C2777151079 @default.
- W2853550260 hasConcept C2778795570 @default.
- W2853550260 hasConcept C33923547 @default.
- W2853550260 hasConcept C39920170 @default.
- W2853550260 hasConcept C41008148 @default.
- W2853550260 hasConcept C78458016 @default.
- W2853550260 hasConcept C86803240 @default.
- W2853550260 hasConcept C9652623 @default.
- W2853550260 hasConceptScore W2853550260C109214941 @default.
- W2853550260 hasConceptScore W2853550260C118615104 @default.
- W2853550260 hasConceptScore W2853550260C121332964 @default.
- W2853550260 hasConceptScore W2853550260C127001435 @default.
- W2853550260 hasConceptScore W2853550260C134306372 @default.
- W2853550260 hasConceptScore W2853550260C134752490 @default.
- W2853550260 hasConceptScore W2853550260C14036430 @default.
- W2853550260 hasConceptScore W2853550260C154945302 @default.
- W2853550260 hasConceptScore W2853550260C156325763 @default.
- W2853550260 hasConceptScore W2853550260C17231256 @default.
- W2853550260 hasConceptScore W2853550260C184337299 @default.
- W2853550260 hasConceptScore W2853550260C199360897 @default.
- W2853550260 hasConceptScore W2853550260C202444582 @default.
- W2853550260 hasConceptScore W2853550260C2185349 @default.
- W2853550260 hasConceptScore W2853550260C2777151079 @default.
- W2853550260 hasConceptScore W2853550260C2778795570 @default.
- W2853550260 hasConceptScore W2853550260C33923547 @default.
- W2853550260 hasConceptScore W2853550260C39920170 @default.
- W2853550260 hasConceptScore W2853550260C41008148 @default.
- W2853550260 hasConceptScore W2853550260C78458016 @default.
- W2853550260 hasConceptScore W2853550260C86803240 @default.
- W2853550260 hasConceptScore W2853550260C9652623 @default.
- W2853550260 hasIssue "2" @default.
- W2853550260 hasLocation W28535502601 @default.
- W2853550260 hasOpenAccess W2853550260 @default.
- W2853550260 hasPrimaryLocation W28535502601 @default.
- W2853550260 hasRelatedWork W1525805777 @default.
- W2853550260 hasRelatedWork W1538563044 @default.
- W2853550260 hasRelatedWork W1906127347 @default.
- W2853550260 hasRelatedWork W2034075659 @default.
- W2853550260 hasRelatedWork W2062391009 @default.
- W2853550260 hasRelatedWork W2090508430 @default.
- W2853550260 hasRelatedWork W2123303914 @default.
- W2853550260 hasRelatedWork W2586881755 @default.
- W2853550260 hasRelatedWork W2853550260 @default.
- W2853550260 hasRelatedWork W2575416816 @default.
- W2853550260 hasVolume "15" @default.
- W2853550260 isParatext "false" @default.
- W2853550260 isRetracted "false" @default.
- W2853550260 magId "2853550260" @default.
- W2853550260 workType "article" @default.