Matches in SemOpenAlex for { <https://semopenalex.org/work/W2023402716> ?p ?o ?g. }
Showing items 1 to 87 of
87
with 100 items per page.
- W2023402716 endingPage "239" @default.
- W2023402716 startingPage "233" @default.
- W2023402716 abstract "In [8] and [9] Urquhart presented the semilattice semantics for a relevance logic with conjunction and disjunction. These semantics combined the simplest known semantics for relevant implication, with minimal modification of the truth conditions for conjunction and disjunction. A slightly different approach leads to the distinct positive relevance logic of [7] and [5]. Sound and complete axiomatic logics for the semilattice semantics were readily available, so long as disjunction was left out. The purpose of this paper is to report the remedy of this lack. In [1] the author developed work of Fine ([3], announced in [4]) and Prawitz [6] to show soundness and completeness of an axiomatic logic and two natural deduction logics, with respect to Urquhart's semantics. Thus Prawitz' positive relevance logic is equivalent to the semilattice logic, rather than the logic of [5]. We present here the axiomatic logic and show its equivalence to the semilattice semantics. In §1 the languages and logic are given, along with a few proof-theoretic remarks. In §2 the semantics are defined, and the soundness proof is sketched. In §3, the completeness proof is given." @default.
- W2023402716 created "2016-06-24" @default.
- W2023402716 creator A5052374420 @default.
- W2023402716 date "1981-06-01" @default.
- W2023402716 modified "2023-09-25" @default.
- W2023402716 title "An axiomatic version of positive semilattice relevance logic" @default.
- W2023402716 cites W2016788972 @default.
- W2023402716 doi "https://doi.org/10.2307/2273616" @default.
- W2023402716 hasPublicationYear "1981" @default.
- W2023402716 type Work @default.
- W2023402716 sameAs 2023402716 @default.
- W2023402716 citedByCount "17" @default.
- W2023402716 countsByYear W20234027162016 @default.
- W2023402716 countsByYear W20234027162018 @default.
- W2023402716 countsByYear W20234027162020 @default.
- W2023402716 countsByYear W20234027162021 @default.
- W2023402716 crossrefType "journal-article" @default.
- W2023402716 hasAuthorship W2023402716A5052374420 @default.
- W2023402716 hasConcept C108710211 @default.
- W2023402716 hasConcept C118615104 @default.
- W2023402716 hasConcept C125773388 @default.
- W2023402716 hasConcept C132170107 @default.
- W2023402716 hasConcept C134306372 @default.
- W2023402716 hasConcept C156325763 @default.
- W2023402716 hasConcept C158154518 @default.
- W2023402716 hasConcept C167729594 @default.
- W2023402716 hasConcept C17231256 @default.
- W2023402716 hasConcept C17744445 @default.
- W2023402716 hasConcept C184337299 @default.
- W2023402716 hasConcept C195653647 @default.
- W2023402716 hasConcept C199360897 @default.
- W2023402716 hasConcept C199539241 @default.
- W2023402716 hasConcept C207405024 @default.
- W2023402716 hasConcept C207648694 @default.
- W2023402716 hasConcept C2318724 @default.
- W2023402716 hasConcept C2524010 @default.
- W2023402716 hasConcept C33923547 @default.
- W2023402716 hasConcept C39920170 @default.
- W2023402716 hasConcept C41008148 @default.
- W2023402716 hasConcept C58041814 @default.
- W2023402716 hasConcept C61151141 @default.
- W2023402716 hasConcept C89497691 @default.
- W2023402716 hasConceptScore W2023402716C108710211 @default.
- W2023402716 hasConceptScore W2023402716C118615104 @default.
- W2023402716 hasConceptScore W2023402716C125773388 @default.
- W2023402716 hasConceptScore W2023402716C132170107 @default.
- W2023402716 hasConceptScore W2023402716C134306372 @default.
- W2023402716 hasConceptScore W2023402716C156325763 @default.
- W2023402716 hasConceptScore W2023402716C158154518 @default.
- W2023402716 hasConceptScore W2023402716C167729594 @default.
- W2023402716 hasConceptScore W2023402716C17231256 @default.
- W2023402716 hasConceptScore W2023402716C17744445 @default.
- W2023402716 hasConceptScore W2023402716C184337299 @default.
- W2023402716 hasConceptScore W2023402716C195653647 @default.
- W2023402716 hasConceptScore W2023402716C199360897 @default.
- W2023402716 hasConceptScore W2023402716C199539241 @default.
- W2023402716 hasConceptScore W2023402716C207405024 @default.
- W2023402716 hasConceptScore W2023402716C207648694 @default.
- W2023402716 hasConceptScore W2023402716C2318724 @default.
- W2023402716 hasConceptScore W2023402716C2524010 @default.
- W2023402716 hasConceptScore W2023402716C33923547 @default.
- W2023402716 hasConceptScore W2023402716C39920170 @default.
- W2023402716 hasConceptScore W2023402716C41008148 @default.
- W2023402716 hasConceptScore W2023402716C58041814 @default.
- W2023402716 hasConceptScore W2023402716C61151141 @default.
- W2023402716 hasConceptScore W2023402716C89497691 @default.
- W2023402716 hasIssue "2" @default.
- W2023402716 hasLocation W20234027161 @default.
- W2023402716 hasOpenAccess W2023402716 @default.
- W2023402716 hasPrimaryLocation W20234027161 @default.
- W2023402716 hasRelatedWork W1525805777 @default.
- W2023402716 hasRelatedWork W1977055342 @default.
- W2023402716 hasRelatedWork W2023402716 @default.
- W2023402716 hasRelatedWork W2030438584 @default.
- W2023402716 hasRelatedWork W2227026850 @default.
- W2023402716 hasRelatedWork W2389570364 @default.
- W2023402716 hasRelatedWork W2533984190 @default.
- W2023402716 hasRelatedWork W2548065651 @default.
- W2023402716 hasRelatedWork W2973978040 @default.
- W2023402716 hasRelatedWork W3023973746 @default.
- W2023402716 hasVolume "46" @default.
- W2023402716 isParatext "false" @default.
- W2023402716 isRetracted "false" @default.
- W2023402716 magId "2023402716" @default.
- W2023402716 workType "article" @default.