Matches in SemOpenAlex for { <https://semopenalex.org/work/W2752354736> ?p ?o ?g. }
Showing items 1 to 83 of
83
with 100 items per page.
- W2752354736 abstract "The decidability of the implicational fragment (T_{rightarrow }) of the relevance logic of ticket entailment was recently claimed independently by Bimbo and Dunn, and Padovani. We present a mechanised formalisation, in Isabelle/HOL, of the various proof-theoretical results due to Bimbo and Dunn that underpin their claim. We also discuss the issues that stymied our attempt to verify their proof of decidability." @default.
- W2752354736 created "2017-09-15" @default.
- W2752354736 creator A5008451865 @default.
- W2752354736 creator A5088219777 @default.
- W2752354736 date "2017-01-01" @default.
- W2752354736 modified "2023-09-23" @default.
- W2752354736 title "Issues in Machine-Checking the Decidability of Implicational Ticket Entailment" @default.
- W2752354736 cites W117036793 @default.
- W2752354736 cites W1545081843 @default.
- W2752354736 cites W1558859407 @default.
- W2752354736 cites W1823478466 @default.
- W2752354736 cites W2082042052 @default.
- W2752354736 cites W2102143997 @default.
- W2752354736 cites W2156168582 @default.
- W2752354736 doi "https://doi.org/10.1007/978-3-319-66902-1_21" @default.
- W2752354736 hasPublicationYear "2017" @default.
- W2752354736 type Work @default.
- W2752354736 sameAs 2752354736 @default.
- W2752354736 citedByCount "2" @default.
- W2752354736 countsByYear W27523547362018 @default.
- W2752354736 countsByYear W27523547362020 @default.
- W2752354736 crossrefType "book-chapter" @default.
- W2752354736 hasAuthorship W2752354736A5008451865 @default.
- W2752354736 hasAuthorship W2752354736A5088219777 @default.
- W2752354736 hasConcept C11413529 @default.
- W2752354736 hasConcept C134752490 @default.
- W2752354736 hasConcept C153269930 @default.
- W2752354736 hasConcept C154945302 @default.
- W2752354736 hasConcept C158154518 @default.
- W2752354736 hasConcept C17435882 @default.
- W2752354736 hasConcept C17744445 @default.
- W2752354736 hasConcept C199360897 @default.
- W2752354736 hasConcept C199539241 @default.
- W2752354736 hasConcept C204321447 @default.
- W2752354736 hasConcept C206880738 @default.
- W2752354736 hasConcept C2776235265 @default.
- W2752354736 hasConcept C2776540713 @default.
- W2752354736 hasConcept C38652104 @default.
- W2752354736 hasConcept C41008148 @default.
- W2752354736 hasConcept C95318506 @default.
- W2752354736 hasConceptScore W2752354736C11413529 @default.
- W2752354736 hasConceptScore W2752354736C134752490 @default.
- W2752354736 hasConceptScore W2752354736C153269930 @default.
- W2752354736 hasConceptScore W2752354736C154945302 @default.
- W2752354736 hasConceptScore W2752354736C158154518 @default.
- W2752354736 hasConceptScore W2752354736C17435882 @default.
- W2752354736 hasConceptScore W2752354736C17744445 @default.
- W2752354736 hasConceptScore W2752354736C199360897 @default.
- W2752354736 hasConceptScore W2752354736C199539241 @default.
- W2752354736 hasConceptScore W2752354736C204321447 @default.
- W2752354736 hasConceptScore W2752354736C206880738 @default.
- W2752354736 hasConceptScore W2752354736C2776235265 @default.
- W2752354736 hasConceptScore W2752354736C2776540713 @default.
- W2752354736 hasConceptScore W2752354736C38652104 @default.
- W2752354736 hasConceptScore W2752354736C41008148 @default.
- W2752354736 hasConceptScore W2752354736C95318506 @default.
- W2752354736 hasLocation W27523547361 @default.
- W2752354736 hasOpenAccess W2752354736 @default.
- W2752354736 hasPrimaryLocation W27523547361 @default.
- W2752354736 hasRelatedWork W1517928606 @default.
- W2752354736 hasRelatedWork W1558859407 @default.
- W2752354736 hasRelatedWork W1575011135 @default.
- W2752354736 hasRelatedWork W1594701037 @default.
- W2752354736 hasRelatedWork W2036263203 @default.
- W2752354736 hasRelatedWork W2077128347 @default.
- W2752354736 hasRelatedWork W2091962463 @default.
- W2752354736 hasRelatedWork W2098316338 @default.
- W2752354736 hasRelatedWork W2207935163 @default.
- W2752354736 hasRelatedWork W2463700520 @default.
- W2752354736 hasRelatedWork W2534205211 @default.
- W2752354736 hasRelatedWork W2889578028 @default.
- W2752354736 hasRelatedWork W3013165824 @default.
- W2752354736 hasRelatedWork W3094379708 @default.
- W2752354736 hasRelatedWork W3105570133 @default.
- W2752354736 hasRelatedWork W3177081497 @default.
- W2752354736 hasRelatedWork W3188988341 @default.
- W2752354736 hasRelatedWork W3196549399 @default.
- W2752354736 hasRelatedWork W66503809 @default.
- W2752354736 hasRelatedWork W1799115352 @default.
- W2752354736 isParatext "false" @default.
- W2752354736 isRetracted "false" @default.
- W2752354736 magId "2752354736" @default.
- W2752354736 workType "book-chapter" @default.