Matches in SemOpenAlex for { <https://semopenalex.org/work/W2627866801> ?p ?o ?g. }
Showing items 1 to 100 of
100
with 100 items per page.
- W2627866801 abstract "Abstract The addition of the bounded contraction rules to Full Lambek Calculus with exchange and weakening ( FL ew ) gives rise to serious complications for proof search. For example, adding to FL ew a naive version of these rules brakes cut-admissibility. Although this can be avoided by refining these rules, in this work we show that even “good” proof systems for FL ew plus bounded contraction do not necessarily lead to good implementations. In order to solve this problem, we propose an extension of the lazy splitting methodology to bounded contractions, showing how to transform our focused, cut-free sequent calculus into a terminating theorem prover. Our system is used to show that the decision problem for FL ew with bounded contraction is in EXPTIME ." @default.
- W2627866801 created "2017-06-30" @default.
- W2627866801 creator A5009045679 @default.
- W2627866801 creator A5042888655 @default.
- W2627866801 creator A5047180960 @default.
- W2627866801 creator A5086733054 @default.
- W2627866801 date "2017-06-01" @default.
- W2627866801 modified "2023-10-04" @default.
- W2627866801 title "From Cut-free Calculi to Automated Deduction: The Case of Bounded Contraction" @default.
- W2627866801 cites W1503075583 @default.
- W2627866801 cites W1852594029 @default.
- W2627866801 cites W1983988429 @default.
- W2627866801 cites W1993244347 @default.
- W2627866801 cites W2001730565 @default.
- W2627866801 cites W2054761820 @default.
- W2627866801 cites W2070324762 @default.
- W2627866801 cites W2076859913 @default.
- W2627866801 cites W2077586596 @default.
- W2627866801 cites W2095436832 @default.
- W2627866801 cites W2106458801 @default.
- W2627866801 cites W2131739376 @default.
- W2627866801 cites W2160771441 @default.
- W2627866801 cites W2911865844 @default.
- W2627866801 cites W76748986 @default.
- W2627866801 doi "https://doi.org/10.1016/j.entcs.2017.04.006" @default.
- W2627866801 hasPublicationYear "2017" @default.
- W2627866801 type Work @default.
- W2627866801 sameAs 2627866801 @default.
- W2627866801 citedByCount "1" @default.
- W2627866801 countsByYear W26278668012019 @default.
- W2627866801 crossrefType "journal-article" @default.
- W2627866801 hasAuthorship W2627866801A5009045679 @default.
- W2627866801 hasAuthorship W2627866801A5042888655 @default.
- W2627866801 hasAuthorship W2627866801A5047180960 @default.
- W2627866801 hasAuthorship W2627866801A5086733054 @default.
- W2627866801 hasBestOaLocation W26278668011 @default.
- W2627866801 hasConcept C108710211 @default.
- W2627866801 hasConcept C111404639 @default.
- W2627866801 hasConcept C118615104 @default.
- W2627866801 hasConcept C126322002 @default.
- W2627866801 hasConcept C134306372 @default.
- W2627866801 hasConcept C163415756 @default.
- W2627866801 hasConcept C175454919 @default.
- W2627866801 hasConcept C199343813 @default.
- W2627866801 hasConcept C2524010 @default.
- W2627866801 hasConcept C2777686260 @default.
- W2627866801 hasConcept C33923547 @default.
- W2627866801 hasConcept C34388435 @default.
- W2627866801 hasConcept C62073222 @default.
- W2627866801 hasConcept C6489637 @default.
- W2627866801 hasConcept C65880906 @default.
- W2627866801 hasConcept C71924100 @default.
- W2627866801 hasConcept C89421646 @default.
- W2627866801 hasConcept C93796298 @default.
- W2627866801 hasConceptScore W2627866801C108710211 @default.
- W2627866801 hasConceptScore W2627866801C111404639 @default.
- W2627866801 hasConceptScore W2627866801C118615104 @default.
- W2627866801 hasConceptScore W2627866801C126322002 @default.
- W2627866801 hasConceptScore W2627866801C134306372 @default.
- W2627866801 hasConceptScore W2627866801C163415756 @default.
- W2627866801 hasConceptScore W2627866801C175454919 @default.
- W2627866801 hasConceptScore W2627866801C199343813 @default.
- W2627866801 hasConceptScore W2627866801C2524010 @default.
- W2627866801 hasConceptScore W2627866801C2777686260 @default.
- W2627866801 hasConceptScore W2627866801C33923547 @default.
- W2627866801 hasConceptScore W2627866801C34388435 @default.
- W2627866801 hasConceptScore W2627866801C62073222 @default.
- W2627866801 hasConceptScore W2627866801C6489637 @default.
- W2627866801 hasConceptScore W2627866801C65880906 @default.
- W2627866801 hasConceptScore W2627866801C71924100 @default.
- W2627866801 hasConceptScore W2627866801C89421646 @default.
- W2627866801 hasConceptScore W2627866801C93796298 @default.
- W2627866801 hasLocation W26278668011 @default.
- W2627866801 hasLocation W26278668012 @default.
- W2627866801 hasOpenAccess W2627866801 @default.
- W2627866801 hasPrimaryLocation W26278668011 @default.
- W2627866801 hasRelatedWork W108287753 @default.
- W2627866801 hasRelatedWork W1559475567 @default.
- W2627866801 hasRelatedWork W1588714103 @default.
- W2627866801 hasRelatedWork W1840129892 @default.
- W2627866801 hasRelatedWork W1889888010 @default.
- W2627866801 hasRelatedWork W1966337849 @default.
- W2627866801 hasRelatedWork W1991481174 @default.
- W2627866801 hasRelatedWork W2000108579 @default.
- W2627866801 hasRelatedWork W2081303576 @default.
- W2627866801 hasRelatedWork W2123860315 @default.
- W2627866801 hasRelatedWork W2158086914 @default.
- W2627866801 hasRelatedWork W2164449415 @default.
- W2627866801 hasRelatedWork W2185367022 @default.
- W2627866801 hasRelatedWork W2188917269 @default.
- W2627866801 hasRelatedWork W2307777635 @default.
- W2627866801 hasRelatedWork W2410196248 @default.
- W2627866801 hasRelatedWork W2461509449 @default.
- W2627866801 hasRelatedWork W2726021294 @default.
- W2627866801 hasRelatedWork W2950089159 @default.
- W2627866801 hasRelatedWork W2953194033 @default.
- W2627866801 isParatext "false" @default.
- W2627866801 isRetracted "false" @default.
- W2627866801 magId "2627866801" @default.
- W2627866801 workType "article" @default.