Matches in SemOpenAlex for { <https://semopenalex.org/work/W197243926> ?p ?o ?g. }
Showing items 1 to 66 of
66
with 100 items per page.
- W197243926 endingPage "255" @default.
- W197243926 startingPage "251" @default.
- W197243926 abstract "One of computer science motivations for Linear Logic is that proofs in this logic reflect the use of certain resources. However, the problem of availability of resources is not addressed. In this paper we are attempting to fill this gap.Our approach can be illustrated most clearly by example of a Horn fragment. In this fragment, the left part of each sequent is a conjunction of simple implications and supplies, and the right part is a simple conjunction of supplies. An implication is called simple, if both its succedent and antecedent are conjunctions of supplies. As usual, a supply is simply a letter.The standard axiom system for this Horn fragment consists of three inference rules, while the axioms are all the sequents with a single letter both for the left and right parts (the letter is the same).On the other hand, the implications can be thought of as determining relations in a commutative semigroup and then we show that a sequent is provable iff the collection of supplies in its right part can be obtained from the left one by applying all the relations from the left part in appropriate order.Now, let us require that the left part (i.e. all its supplies) is available. For this case we construct a new axiom system with sligtly more complex axioms and inference rules in which any axiom can be used at most once. Among other corollaries of this result we obtain the NP-completeness of the Horn fragment (known result).However, for a bounded number of implication types we construct a subexponential algorithm for the derivation search." @default.
- W197243926 created "2016-06-24" @default.
- W197243926 creator A5047597853 @default.
- W197243926 creator A5079603987 @default.
- W197243926 date "1993-01-01" @default.
- W197243926 modified "2023-09-27" @default.
- W197243926 title "The other linear logic" @default.
- W197243926 doi "https://doi.org/10.1007/bfb0039712" @default.
- W197243926 hasPublicationYear "1993" @default.
- W197243926 type Work @default.
- W197243926 sameAs 197243926 @default.
- W197243926 citedByCount "0" @default.
- W197243926 crossrefType "book-chapter" @default.
- W197243926 hasAuthorship W197243926A5047597853 @default.
- W197243926 hasAuthorship W197243926A5079603987 @default.
- W197243926 hasConcept C102993220 @default.
- W197243926 hasConcept C108710211 @default.
- W197243926 hasConcept C144760519 @default.
- W197243926 hasConcept C169896238 @default.
- W197243926 hasConcept C199360897 @default.
- W197243926 hasConcept C2524010 @default.
- W197243926 hasConcept C28077239 @default.
- W197243926 hasConcept C33923547 @default.
- W197243926 hasConcept C41008148 @default.
- W197243926 hasConcept C47884741 @default.
- W197243926 hasConcept C80444323 @default.
- W197243926 hasConceptScore W197243926C102993220 @default.
- W197243926 hasConceptScore W197243926C108710211 @default.
- W197243926 hasConceptScore W197243926C144760519 @default.
- W197243926 hasConceptScore W197243926C169896238 @default.
- W197243926 hasConceptScore W197243926C199360897 @default.
- W197243926 hasConceptScore W197243926C2524010 @default.
- W197243926 hasConceptScore W197243926C28077239 @default.
- W197243926 hasConceptScore W197243926C33923547 @default.
- W197243926 hasConceptScore W197243926C41008148 @default.
- W197243926 hasConceptScore W197243926C47884741 @default.
- W197243926 hasConceptScore W197243926C80444323 @default.
- W197243926 hasLocation W1972439261 @default.
- W197243926 hasOpenAccess W197243926 @default.
- W197243926 hasPrimaryLocation W1972439261 @default.
- W197243926 hasRelatedWork W1541284235 @default.
- W197243926 hasRelatedWork W1590721214 @default.
- W197243926 hasRelatedWork W198268620 @default.
- W197243926 hasRelatedWork W2029562322 @default.
- W197243926 hasRelatedWork W2037919977 @default.
- W197243926 hasRelatedWork W2067241493 @default.
- W197243926 hasRelatedWork W2101341561 @default.
- W197243926 hasRelatedWork W2155148619 @default.
- W197243926 hasRelatedWork W2161025668 @default.
- W197243926 hasRelatedWork W2178584730 @default.
- W197243926 hasRelatedWork W2417653876 @default.
- W197243926 hasRelatedWork W2619632367 @default.
- W197243926 hasRelatedWork W2795178949 @default.
- W197243926 hasRelatedWork W2883044121 @default.
- W197243926 hasRelatedWork W3023676132 @default.
- W197243926 hasRelatedWork W3084583988 @default.
- W197243926 hasRelatedWork W3099059787 @default.
- W197243926 hasRelatedWork W3105187766 @default.
- W197243926 hasRelatedWork W3157078235 @default.
- W197243926 hasRelatedWork W655257519 @default.
- W197243926 isParatext "false" @default.
- W197243926 isRetracted "false" @default.
- W197243926 magId "197243926" @default.
- W197243926 workType "book-chapter" @default.