Matches in SemOpenAlex for { <https://semopenalex.org/work/W3213267890> ?p ?o ?g. }
Showing items 1 to 93 of
93
with 100 items per page.
- W3213267890 abstract "A linear inference is a valid inequality of Boolean algebra in which each variable occurs at most once on each side. In this work we leverage recently developed graphical representations of linear formulae to build an implementation that is capable of more efficiently searching for switch-medial-independent inferences. We use it to find four `minimal' 8-variable independent inferences and also prove that no smaller ones exist; in contrast, a previous approach based directly on formulae reached computational limits already at 7 variables. Two of these new inferences derive some previously found independent linear inferences. The other two (which are dual) exhibit structure seemingly beyond the scope of previous approaches we are aware of; in particular, their existence contradicts a conjecture of Das and Strassburger. We were also able to identify 10 minimal 9-variable linear inferences independent of all the aforementioned inferences, comprising 5 dual pairs, and present applications of our implementation to recent `graph logics'." @default.
- W3213267890 created "2021-11-22" @default.
- W3213267890 creator A5067017084 @default.
- W3213267890 creator A5089810498 @default.
- W3213267890 date "2023-05-19" @default.
- W3213267890 modified "2023-10-16" @default.
- W3213267890 title "Enumerating Independent Linear Inferences" @default.
- W3213267890 cites W1811725859 @default.
- W3213267890 cites W1968811614 @default.
- W3213267890 cites W1988083342 @default.
- W3213267890 cites W1996605832 @default.
- W3213267890 cites W2014195574 @default.
- W3213267890 cites W2102625227 @default.
- W3213267890 cites W2116007667 @default.
- W3213267890 cites W2119641906 @default.
- W3213267890 cites W2160595899 @default.
- W3213267890 cites W2164449415 @default.
- W3213267890 cites W2168747849 @default.
- W3213267890 cites W2279916621 @default.
- W3213267890 cites W25034683 @default.
- W3213267890 cites W2911865844 @default.
- W3213267890 cites W2947285303 @default.
- W3213267890 cites W2965703671 @default.
- W3213267890 cites W2995216536 @default.
- W3213267890 cites W3020532926 @default.
- W3213267890 cites W3032692372 @default.
- W3213267890 cites W3110522991 @default.
- W3213267890 cites W3183446349 @default.
- W3213267890 cites W4501298 @default.
- W3213267890 cites W64134619 @default.
- W3213267890 doi "https://doi.org/10.46298/lmcs-19(2:11)2023" @default.
- W3213267890 hasPublicationYear "2023" @default.
- W3213267890 type Work @default.
- W3213267890 sameAs 3213267890 @default.
- W3213267890 citedByCount "0" @default.
- W3213267890 crossrefType "journal-article" @default.
- W3213267890 hasAuthorship W3213267890A5067017084 @default.
- W3213267890 hasAuthorship W3213267890A5089810498 @default.
- W3213267890 hasBestOaLocation W32132678901 @default.
- W3213267890 hasConcept C11413529 @default.
- W3213267890 hasConcept C118615104 @default.
- W3213267890 hasConcept C119857082 @default.
- W3213267890 hasConcept C132525143 @default.
- W3213267890 hasConcept C134306372 @default.
- W3213267890 hasConcept C139352143 @default.
- W3213267890 hasConcept C153083717 @default.
- W3213267890 hasConcept C154945302 @default.
- W3213267890 hasConcept C155846161 @default.
- W3213267890 hasConcept C169272836 @default.
- W3213267890 hasConcept C182365436 @default.
- W3213267890 hasConcept C2524010 @default.
- W3213267890 hasConcept C2776214188 @default.
- W3213267890 hasConcept C2776502983 @default.
- W3213267890 hasConcept C2780990831 @default.
- W3213267890 hasConcept C33923547 @default.
- W3213267890 hasConcept C41008148 @default.
- W3213267890 hasConcept C80444323 @default.
- W3213267890 hasConceptScore W3213267890C11413529 @default.
- W3213267890 hasConceptScore W3213267890C118615104 @default.
- W3213267890 hasConceptScore W3213267890C119857082 @default.
- W3213267890 hasConceptScore W3213267890C132525143 @default.
- W3213267890 hasConceptScore W3213267890C134306372 @default.
- W3213267890 hasConceptScore W3213267890C139352143 @default.
- W3213267890 hasConceptScore W3213267890C153083717 @default.
- W3213267890 hasConceptScore W3213267890C154945302 @default.
- W3213267890 hasConceptScore W3213267890C155846161 @default.
- W3213267890 hasConceptScore W3213267890C169272836 @default.
- W3213267890 hasConceptScore W3213267890C182365436 @default.
- W3213267890 hasConceptScore W3213267890C2524010 @default.
- W3213267890 hasConceptScore W3213267890C2776214188 @default.
- W3213267890 hasConceptScore W3213267890C2776502983 @default.
- W3213267890 hasConceptScore W3213267890C2780990831 @default.
- W3213267890 hasConceptScore W3213267890C33923547 @default.
- W3213267890 hasConceptScore W3213267890C41008148 @default.
- W3213267890 hasConceptScore W3213267890C80444323 @default.
- W3213267890 hasLocation W32132678901 @default.
- W3213267890 hasOpenAccess W3213267890 @default.
- W3213267890 hasPrimaryLocation W32132678901 @default.
- W3213267890 hasRelatedWork W1559992293 @default.
- W3213267890 hasRelatedWork W2037309121 @default.
- W3213267890 hasRelatedWork W2086857504 @default.
- W3213267890 hasRelatedWork W2535143705 @default.
- W3213267890 hasRelatedWork W2793431221 @default.
- W3213267890 hasRelatedWork W2964084343 @default.
- W3213267890 hasRelatedWork W2964209567 @default.
- W3213267890 hasRelatedWork W4293162579 @default.
- W3213267890 hasRelatedWork W4301951271 @default.
- W3213267890 hasRelatedWork W4313063266 @default.
- W3213267890 hasVolume "Volume 19, Issue 2" @default.
- W3213267890 isParatext "false" @default.
- W3213267890 isRetracted "false" @default.
- W3213267890 magId "3213267890" @default.
- W3213267890 workType "article" @default.