Matches in SemOpenAlex for { <https://semopenalex.org/work/W2108049042> ?p ?o ?g. }
Showing items 1 to 95 of
95
with 100 items per page.
- W2108049042 endingPage "726" @default.
- W2108049042 startingPage "699" @default.
- W2108049042 abstract "Nominal logic is a variant of first-order logic that provides support for reasoning about bound names in abstract syntax. A key feature of nominal logic is the new-quantifier, which quantifies over fresh names (names not appearing in any values considered so far). Previous attempts have been made to develop convenient rules for reasoning with the new-quantifier, but we a rgue that none of these attempts is completely satisfactory. In this article we develop a new sequent calculus for nominal logic in which the rules for the newquantifier are much simpler than in previous attempts. We als o prove several structural and metatheoretic properties, including cut-elimination, consistenc y, and equivalence to Pitts’ axiomatization of nominal logic." @default.
- W2108049042 created "2016-06-24" @default.
- W2108049042 creator A5056138547 @default.
- W2108049042 date "2014-05-19" @default.
- W2108049042 modified "2023-09-27" @default.
- W2108049042 title "A simple sequent calculus for nominal logic" @default.
- W2108049042 cites W1528233644 @default.
- W2108049042 cites W1594084984 @default.
- W2108049042 cites W1600588339 @default.
- W2108049042 cites W1975082667 @default.
- W2108049042 cites W1986464815 @default.
- W2108049042 cites W2032234226 @default.
- W2108049042 cites W2050286254 @default.
- W2108049042 cites W2081611233 @default.
- W2108049042 cites W2092116738 @default.
- W2108049042 cites W2098581602 @default.
- W2108049042 cites W2134607541 @default.
- W2108049042 cites W2161033077 @default.
- W2108049042 cites W2166559785 @default.
- W2108049042 cites W2172176924 @default.
- W2108049042 cites W2912255765 @default.
- W2108049042 cites W2912466821 @default.
- W2108049042 cites W4232327280 @default.
- W2108049042 cites W4249736722 @default.
- W2108049042 doi "https://doi.org/10.1093/logcom/exu024" @default.
- W2108049042 hasPublicationYear "2014" @default.
- W2108049042 type Work @default.
- W2108049042 sameAs 2108049042 @default.
- W2108049042 citedByCount "3" @default.
- W2108049042 countsByYear W21080490422017 @default.
- W2108049042 countsByYear W21080490422020 @default.
- W2108049042 countsByYear W21080490422022 @default.
- W2108049042 crossrefType "journal-article" @default.
- W2108049042 hasAuthorship W2108049042A5056138547 @default.
- W2108049042 hasBestOaLocation W21080490422 @default.
- W2108049042 hasConcept C108710211 @default.
- W2108049042 hasConcept C111404639 @default.
- W2108049042 hasConcept C111472728 @default.
- W2108049042 hasConcept C11413529 @default.
- W2108049042 hasConcept C118615104 @default.
- W2108049042 hasConcept C138885662 @default.
- W2108049042 hasConcept C199343813 @default.
- W2108049042 hasConcept C2524010 @default.
- W2108049042 hasConcept C2777686260 @default.
- W2108049042 hasConcept C2780586882 @default.
- W2108049042 hasConcept C33923547 @default.
- W2108049042 hasConcept C41008148 @default.
- W2108049042 hasConcept C62073222 @default.
- W2108049042 hasConcept C6489637 @default.
- W2108049042 hasConcept C65880906 @default.
- W2108049042 hasConcept C71924100 @default.
- W2108049042 hasConcept C89421646 @default.
- W2108049042 hasConcept C94375191 @default.
- W2108049042 hasConceptScore W2108049042C108710211 @default.
- W2108049042 hasConceptScore W2108049042C111404639 @default.
- W2108049042 hasConceptScore W2108049042C111472728 @default.
- W2108049042 hasConceptScore W2108049042C11413529 @default.
- W2108049042 hasConceptScore W2108049042C118615104 @default.
- W2108049042 hasConceptScore W2108049042C138885662 @default.
- W2108049042 hasConceptScore W2108049042C199343813 @default.
- W2108049042 hasConceptScore W2108049042C2524010 @default.
- W2108049042 hasConceptScore W2108049042C2777686260 @default.
- W2108049042 hasConceptScore W2108049042C2780586882 @default.
- W2108049042 hasConceptScore W2108049042C33923547 @default.
- W2108049042 hasConceptScore W2108049042C41008148 @default.
- W2108049042 hasConceptScore W2108049042C62073222 @default.
- W2108049042 hasConceptScore W2108049042C6489637 @default.
- W2108049042 hasConceptScore W2108049042C65880906 @default.
- W2108049042 hasConceptScore W2108049042C71924100 @default.
- W2108049042 hasConceptScore W2108049042C89421646 @default.
- W2108049042 hasConceptScore W2108049042C94375191 @default.
- W2108049042 hasIssue "2" @default.
- W2108049042 hasLocation W21080490421 @default.
- W2108049042 hasLocation W21080490422 @default.
- W2108049042 hasLocation W21080490423 @default.
- W2108049042 hasLocation W21080490424 @default.
- W2108049042 hasOpenAccess W2108049042 @default.
- W2108049042 hasPrimaryLocation W21080490421 @default.
- W2108049042 hasRelatedWork W1479042755 @default.
- W2108049042 hasRelatedWork W1562648369 @default.
- W2108049042 hasRelatedWork W1987945064 @default.
- W2108049042 hasRelatedWork W2023557900 @default.
- W2108049042 hasRelatedWork W2137780954 @default.
- W2108049042 hasRelatedWork W2513857873 @default.
- W2108049042 hasRelatedWork W3090765541 @default.
- W2108049042 hasRelatedWork W4289719533 @default.
- W2108049042 hasRelatedWork W4295728898 @default.
- W2108049042 hasRelatedWork W2584381231 @default.
- W2108049042 hasVolume "26" @default.
- W2108049042 isParatext "false" @default.
- W2108049042 isRetracted "false" @default.
- W2108049042 magId "2108049042" @default.
- W2108049042 workType "article" @default.