Matches in SemOpenAlex for { <https://semopenalex.org/work/W2143183712> ?p ?o ?g. }
Showing items 1 to 83 of
83
with 100 items per page.
- W2143183712 abstract "Full first order linear logic can be presented as an abstract logic programming language in Miller's system Forum, which yields a sensible operational interpretation in the 'proof search as computation' paradigm. However, Forum still has to deal with syntactic details that would normally be ignored by a reasonable operational semantics. In this respect, Forum improves on Gentzen systems for linear logic by restricting the language and the form of inference rules. We further improve on Forum by restricting the class of formulae allowed, in a system we call G-Forum, which is still equivalent to full first order linear logic. The only formulae allowed in G-Forum have the same shape as Forum sequents: the restriction does not diminish expressiveness and makes G-Forum amenable to proof theoretic analysis. G-Forum consists of two (big) inference rules, for which we show a cut elimination procedure. This does not need to appeal to finer detail in formulae and sequents than is provided by G-Forum, thus successfully testing the internal symmetries of our system." @default.
- W2143183712 created "2016-06-24" @default.
- W2143183712 creator A5007010992 @default.
- W2143183712 creator A5083986303 @default.
- W2143183712 date "2005-01-01" @default.
- W2143183712 modified "2023-09-26" @default.
- W2143183712 title "OnStructuring Proof Search forFirstOrder Linear Logic" @default.
- W2143183712 cites W1535432451 @default.
- W2143183712 cites W1811725859 @default.
- W2143183712 cites W1966944960 @default.
- W2143183712 cites W2040807747 @default.
- W2143183712 cites W2070324762 @default.
- W2143183712 cites W2093111544 @default.
- W2143183712 cites W2102625227 @default.
- W2143183712 cites W2108721198 @default.
- W2143183712 cites W2134699386 @default.
- W2143183712 cites W2164449382 @default.
- W2143183712 cites W2168699673 @default.
- W2143183712 cites W2911865844 @default.
- W2143183712 hasPublicationYear "2005" @default.
- W2143183712 type Work @default.
- W2143183712 sameAs 2143183712 @default.
- W2143183712 citedByCount "0" @default.
- W2143183712 crossrefType "journal-article" @default.
- W2143183712 hasAuthorship W2143183712A5007010992 @default.
- W2143183712 hasAuthorship W2143183712A5083986303 @default.
- W2143183712 hasConcept C118615104 @default.
- W2143183712 hasConcept C128838566 @default.
- W2143183712 hasConcept C154945302 @default.
- W2143183712 hasConcept C184337299 @default.
- W2143183712 hasConcept C199360897 @default.
- W2143183712 hasConcept C2776214188 @default.
- W2143183712 hasConcept C2777212361 @default.
- W2143183712 hasConcept C2780069185 @default.
- W2143183712 hasConcept C28077239 @default.
- W2143183712 hasConcept C33923547 @default.
- W2143183712 hasConcept C3746660 @default.
- W2143183712 hasConcept C41008148 @default.
- W2143183712 hasConcept C527412718 @default.
- W2143183712 hasConcept C70846408 @default.
- W2143183712 hasConcept C80444323 @default.
- W2143183712 hasConceptScore W2143183712C118615104 @default.
- W2143183712 hasConceptScore W2143183712C128838566 @default.
- W2143183712 hasConceptScore W2143183712C154945302 @default.
- W2143183712 hasConceptScore W2143183712C184337299 @default.
- W2143183712 hasConceptScore W2143183712C199360897 @default.
- W2143183712 hasConceptScore W2143183712C2776214188 @default.
- W2143183712 hasConceptScore W2143183712C2777212361 @default.
- W2143183712 hasConceptScore W2143183712C2780069185 @default.
- W2143183712 hasConceptScore W2143183712C28077239 @default.
- W2143183712 hasConceptScore W2143183712C33923547 @default.
- W2143183712 hasConceptScore W2143183712C3746660 @default.
- W2143183712 hasConceptScore W2143183712C41008148 @default.
- W2143183712 hasConceptScore W2143183712C527412718 @default.
- W2143183712 hasConceptScore W2143183712C70846408 @default.
- W2143183712 hasConceptScore W2143183712C80444323 @default.
- W2143183712 hasLocation W21431837121 @default.
- W2143183712 hasOpenAccess W2143183712 @default.
- W2143183712 hasPrimaryLocation W21431837121 @default.
- W2143183712 hasRelatedWork W1504859349 @default.
- W2143183712 hasRelatedWork W159279589 @default.
- W2143183712 hasRelatedWork W1602107760 @default.
- W2143183712 hasRelatedWork W1967844876 @default.
- W2143183712 hasRelatedWork W1993875471 @default.
- W2143183712 hasRelatedWork W1998330152 @default.
- W2143183712 hasRelatedWork W2041060409 @default.
- W2143183712 hasRelatedWork W2048265179 @default.
- W2143183712 hasRelatedWork W2086765598 @default.
- W2143183712 hasRelatedWork W2094047447 @default.
- W2143183712 hasRelatedWork W2098844027 @default.
- W2143183712 hasRelatedWork W2130524429 @default.
- W2143183712 hasRelatedWork W2157109596 @default.
- W2143183712 hasRelatedWork W2161910935 @default.
- W2143183712 hasRelatedWork W2167964658 @default.
- W2143183712 hasRelatedWork W2315100164 @default.
- W2143183712 hasRelatedWork W2576910171 @default.
- W2143183712 hasRelatedWork W2579646656 @default.
- W2143183712 hasRelatedWork W2952026790 @default.
- W2143183712 hasRelatedWork W44606644 @default.
- W2143183712 isParatext "false" @default.
- W2143183712 isRetracted "false" @default.
- W2143183712 magId "2143183712" @default.
- W2143183712 workType "article" @default.