Matches in SemOpenAlex for { <https://semopenalex.org/work/W2038242523> ?p ?o ?g. }
Showing items 1 to 60 of
60
with 100 items per page.
- W2038242523 abstract "Lemmon and Scott introduced the notion of a modal system's providing the rule of disjunction. No consistent normal extension of KB provides this rule. An alternative rule is defined, which KDB, KTB, and other systems are shown to provide, while K and other systems provide the Lemmon-Scott rule but not the alternative rule. If S provides the alternative rule then either —A is a theorem of S or A is whenever A -> ΠA is a theorem; the converse fails. It is suggested that systems with this property are appropriate for handling sorites paradoxes, where D is read as 'clearly*. The S4 axiom fails in such systems." @default.
- W2038242523 created "2016-06-24" @default.
- W2038242523 creator A5007201391 @default.
- W2038242523 date "1991-12-01" @default.
- W2038242523 modified "2023-09-28" @default.
- W2038242523 title "An alternative rule of disjunction in modal logic." @default.
- W2038242523 cites W1600348701 @default.
- W2038242523 cites W2017372516 @default.
- W2038242523 doi "https://doi.org/10.1305/ndjfl/1093636011" @default.
- W2038242523 hasPublicationYear "1991" @default.
- W2038242523 type Work @default.
- W2038242523 sameAs 2038242523 @default.
- W2038242523 citedByCount "35" @default.
- W2038242523 countsByYear W20382425232012 @default.
- W2038242523 countsByYear W20382425232013 @default.
- W2038242523 countsByYear W20382425232015 @default.
- W2038242523 countsByYear W20382425232019 @default.
- W2038242523 crossrefType "journal-article" @default.
- W2038242523 hasAuthorship W2038242523A5007201391 @default.
- W2038242523 hasBestOaLocation W20382425231 @default.
- W2038242523 hasConcept C114092440 @default.
- W2038242523 hasConcept C185592680 @default.
- W2038242523 hasConcept C188027245 @default.
- W2038242523 hasConcept C199343813 @default.
- W2038242523 hasConcept C27508121 @default.
- W2038242523 hasConcept C2777686260 @default.
- W2038242523 hasConcept C33923547 @default.
- W2038242523 hasConcept C41008148 @default.
- W2038242523 hasConcept C71139939 @default.
- W2038242523 hasConcept C71924100 @default.
- W2038242523 hasConceptScore W2038242523C114092440 @default.
- W2038242523 hasConceptScore W2038242523C185592680 @default.
- W2038242523 hasConceptScore W2038242523C188027245 @default.
- W2038242523 hasConceptScore W2038242523C199343813 @default.
- W2038242523 hasConceptScore W2038242523C27508121 @default.
- W2038242523 hasConceptScore W2038242523C2777686260 @default.
- W2038242523 hasConceptScore W2038242523C33923547 @default.
- W2038242523 hasConceptScore W2038242523C41008148 @default.
- W2038242523 hasConceptScore W2038242523C71139939 @default.
- W2038242523 hasConceptScore W2038242523C71924100 @default.
- W2038242523 hasIssue "1" @default.
- W2038242523 hasLocation W20382425231 @default.
- W2038242523 hasLocation W20382425232 @default.
- W2038242523 hasOpenAccess W2038242523 @default.
- W2038242523 hasPrimaryLocation W20382425231 @default.
- W2038242523 hasRelatedWork W2067687795 @default.
- W2038242523 hasRelatedWork W2077500377 @default.
- W2038242523 hasRelatedWork W2263480042 @default.
- W2038242523 hasRelatedWork W2540322980 @default.
- W2038242523 hasRelatedWork W3205223140 @default.
- W2038242523 hasRelatedWork W4226055581 @default.
- W2038242523 hasRelatedWork W4229992111 @default.
- W2038242523 hasRelatedWork W4294810627 @default.
- W2038242523 hasRelatedWork W4286903732 @default.
- W2038242523 hasRelatedWork W46061460 @default.
- W2038242523 hasVolume "33" @default.
- W2038242523 isParatext "false" @default.
- W2038242523 isRetracted "false" @default.
- W2038242523 magId "2038242523" @default.
- W2038242523 workType "article" @default.