Matches in SemOpenAlex for { <https://semopenalex.org/work/W2913608813> ?p ?o ?g. }
Showing items 1 to 65 of
65
with 100 items per page.
- W2913608813 abstract "Tarski's relevance logic is defined and shown to contain many formulas and derived rules of inference. The definition arises from Tarski's work on first-order logic restricted to finitely many variables. It is a relevance logic because it contains the Basic Logic of Routley-Plumwood-Meyer-Brady, has Belnap's variable-sharing property, and avoids the paradoxes of implication. It does not include many formulas used as axioms in other relevance logics. For example, contraposition is a derived rule of inference but it is not in Tarski's relevance logic." @default.
- W2913608813 created "2019-02-21" @default.
- W2913608813 creator A5051809424 @default.
- W2913608813 date "2019-01-19" @default.
- W2913608813 modified "2023-09-27" @default.
- W2913608813 title "Tarski's relevance logic" @default.
- W2913608813 hasPublicationYear "2019" @default.
- W2913608813 type Work @default.
- W2913608813 sameAs 2913608813 @default.
- W2913608813 citedByCount "0" @default.
- W2913608813 crossrefType "posted-content" @default.
- W2913608813 hasAuthorship W2913608813A5051809424 @default.
- W2913608813 hasConcept C111472728 @default.
- W2913608813 hasConcept C138885662 @default.
- W2913608813 hasConcept C154945302 @default.
- W2913608813 hasConcept C158154518 @default.
- W2913608813 hasConcept C167729594 @default.
- W2913608813 hasConcept C17744445 @default.
- W2913608813 hasConcept C189950617 @default.
- W2913608813 hasConcept C199539241 @default.
- W2913608813 hasConcept C2524010 @default.
- W2913608813 hasConcept C2776214188 @default.
- W2913608813 hasConcept C33923547 @default.
- W2913608813 hasConcept C3746660 @default.
- W2913608813 hasConcept C41008148 @default.
- W2913608813 hasConceptScore W2913608813C111472728 @default.
- W2913608813 hasConceptScore W2913608813C138885662 @default.
- W2913608813 hasConceptScore W2913608813C154945302 @default.
- W2913608813 hasConceptScore W2913608813C158154518 @default.
- W2913608813 hasConceptScore W2913608813C167729594 @default.
- W2913608813 hasConceptScore W2913608813C17744445 @default.
- W2913608813 hasConceptScore W2913608813C189950617 @default.
- W2913608813 hasConceptScore W2913608813C199539241 @default.
- W2913608813 hasConceptScore W2913608813C2524010 @default.
- W2913608813 hasConceptScore W2913608813C2776214188 @default.
- W2913608813 hasConceptScore W2913608813C33923547 @default.
- W2913608813 hasConceptScore W2913608813C3746660 @default.
- W2913608813 hasConceptScore W2913608813C41008148 @default.
- W2913608813 hasLocation W29136088131 @default.
- W2913608813 hasOpenAccess W2913608813 @default.
- W2913608813 hasPrimaryLocation W29136088131 @default.
- W2913608813 hasRelatedWork W1531571632 @default.
- W2913608813 hasRelatedWork W1667825161 @default.
- W2913608813 hasRelatedWork W1760954332 @default.
- W2913608813 hasRelatedWork W1927491598 @default.
- W2913608813 hasRelatedWork W1982596434 @default.
- W2913608813 hasRelatedWork W2029847850 @default.
- W2913608813 hasRelatedWork W2035142752 @default.
- W2913608813 hasRelatedWork W2077879002 @default.
- W2913608813 hasRelatedWork W2088690463 @default.
- W2913608813 hasRelatedWork W2146526988 @default.
- W2913608813 hasRelatedWork W2153017713 @default.
- W2913608813 hasRelatedWork W2167626756 @default.
- W2913608813 hasRelatedWork W2182414126 @default.
- W2913608813 hasRelatedWork W2202962081 @default.
- W2913608813 hasRelatedWork W2304246814 @default.
- W2913608813 hasRelatedWork W2809627437 @default.
- W2913608813 hasRelatedWork W2839780276 @default.
- W2913608813 hasRelatedWork W2920501492 @default.
- W2913608813 hasRelatedWork W2965030146 @default.
- W2913608813 hasRelatedWork W2995797464 @default.
- W2913608813 isParatext "false" @default.
- W2913608813 isRetracted "false" @default.
- W2913608813 magId "2913608813" @default.
- W2913608813 workType "article" @default.