Matches in SemOpenAlex for { <https://semopenalex.org/work/W2218005905> ?p ?o ?g. }
- W2218005905 abstract "Since proof-nets for MLL- were introduced by Girard 1987, several studies have been made on its soundness proof. Bellin & Van de Wiele 1995 produced an elegant proof based on properties of subnets empires and kingdoms and Robinson 2003 proposed a straightforward generalization of this presentation for proof-nets from sequent calculus for classical logic. This paper extends these studies to obtain a proof of sequentialization theorem for N-Graphs, which is a symmetric natural deduction calculus for classical propositional logic that adopts Danos---Regnier's criteria and has defocussing switchable links, via sub-N-Graphs." @default.
- W2218005905 created "2016-06-24" @default.
- W2218005905 creator A5041639452 @default.
- W2218005905 creator A5054374660 @default.
- W2218005905 creator A5061878202 @default.
- W2218005905 creator A5084128763 @default.
- W2218005905 date "2014-01-01" @default.
- W2218005905 modified "2023-09-26" @default.
- W2218005905 title "Sequentialization for N-Graphs via Sub-N-Graphs" @default.
- W2218005905 cites W102956799 @default.
- W2218005905 cites W1541328677 @default.
- W2218005905 cites W1548306918 @default.
- W2218005905 cites W1573600014 @default.
- W2218005905 cites W1590029082 @default.
- W2218005905 cites W1603473135 @default.
- W2218005905 cites W1606555018 @default.
- W2218005905 cites W1620944542 @default.
- W2218005905 cites W1927937548 @default.
- W2218005905 cites W1999679315 @default.
- W2218005905 cites W2003313916 @default.
- W2218005905 cites W2015626965 @default.
- W2218005905 cites W2075367647 @default.
- W2218005905 cites W2079171825 @default.
- W2218005905 cites W2106988030 @default.
- W2218005905 cites W2111101597 @default.
- W2218005905 cites W2158086914 @default.
- W2218005905 cites W2161079746 @default.
- W2218005905 cites W2171382283 @default.
- W2218005905 cites W2911865844 @default.
- W2218005905 cites W566558991 @default.
- W2218005905 cites W637946551 @default.
- W2218005905 cites W81282799 @default.
- W2218005905 doi "https://doi.org/10.1007/978-3-662-44145-9_7" @default.
- W2218005905 hasPublicationYear "2014" @default.
- W2218005905 type Work @default.
- W2218005905 sameAs 2218005905 @default.
- W2218005905 citedByCount "2" @default.
- W2218005905 countsByYear W22180059052016 @default.
- W2218005905 countsByYear W22180059052018 @default.
- W2218005905 crossrefType "book-chapter" @default.
- W2218005905 hasAuthorship W2218005905A5041639452 @default.
- W2218005905 hasAuthorship W2218005905A5054374660 @default.
- W2218005905 hasAuthorship W2218005905A5061878202 @default.
- W2218005905 hasAuthorship W2218005905A5084128763 @default.
- W2218005905 hasConcept C105605280 @default.
- W2218005905 hasConcept C108710211 @default.
- W2218005905 hasConcept C11413529 @default.
- W2218005905 hasConcept C118615104 @default.
- W2218005905 hasConcept C134306372 @default.
- W2218005905 hasConcept C177148314 @default.
- W2218005905 hasConcept C195653647 @default.
- W2218005905 hasConcept C199343813 @default.
- W2218005905 hasConcept C199360897 @default.
- W2218005905 hasConcept C206880738 @default.
- W2218005905 hasConcept C2318724 @default.
- W2218005905 hasConcept C2524010 @default.
- W2218005905 hasConcept C2777686260 @default.
- W2218005905 hasConcept C33923547 @default.
- W2218005905 hasConcept C39920170 @default.
- W2218005905 hasConcept C41008148 @default.
- W2218005905 hasConcept C62073222 @default.
- W2218005905 hasConcept C65880906 @default.
- W2218005905 hasConcept C69562738 @default.
- W2218005905 hasConcept C71924100 @default.
- W2218005905 hasConcept C89421646 @default.
- W2218005905 hasConceptScore W2218005905C105605280 @default.
- W2218005905 hasConceptScore W2218005905C108710211 @default.
- W2218005905 hasConceptScore W2218005905C11413529 @default.
- W2218005905 hasConceptScore W2218005905C118615104 @default.
- W2218005905 hasConceptScore W2218005905C134306372 @default.
- W2218005905 hasConceptScore W2218005905C177148314 @default.
- W2218005905 hasConceptScore W2218005905C195653647 @default.
- W2218005905 hasConceptScore W2218005905C199343813 @default.
- W2218005905 hasConceptScore W2218005905C199360897 @default.
- W2218005905 hasConceptScore W2218005905C206880738 @default.
- W2218005905 hasConceptScore W2218005905C2318724 @default.
- W2218005905 hasConceptScore W2218005905C2524010 @default.
- W2218005905 hasConceptScore W2218005905C2777686260 @default.
- W2218005905 hasConceptScore W2218005905C33923547 @default.
- W2218005905 hasConceptScore W2218005905C39920170 @default.
- W2218005905 hasConceptScore W2218005905C41008148 @default.
- W2218005905 hasConceptScore W2218005905C62073222 @default.
- W2218005905 hasConceptScore W2218005905C65880906 @default.
- W2218005905 hasConceptScore W2218005905C69562738 @default.
- W2218005905 hasConceptScore W2218005905C71924100 @default.
- W2218005905 hasConceptScore W2218005905C89421646 @default.
- W2218005905 hasLocation W22180059051 @default.
- W2218005905 hasOpenAccess W2218005905 @default.
- W2218005905 hasPrimaryLocation W22180059051 @default.
- W2218005905 hasRelatedWork W1549284562 @default.
- W2218005905 hasRelatedWork W1573739954 @default.
- W2218005905 hasRelatedWork W1695339719 @default.
- W2218005905 hasRelatedWork W182346379 @default.
- W2218005905 hasRelatedWork W2270243227 @default.
- W2218005905 hasRelatedWork W2529880865 @default.
- W2218005905 hasRelatedWork W2800852260 @default.
- W2218005905 hasRelatedWork W2885468325 @default.
- W2218005905 hasRelatedWork W2899920859 @default.
- W2218005905 hasRelatedWork W2900352879 @default.
- W2218005905 hasRelatedWork W2912243182 @default.