Matches in SemOpenAlex for { <https://semopenalex.org/work/W2052793485> ?p ?o ?g. }
Showing items 1 to 83 of
83
with 100 items per page.
- W2052793485 endingPage "367" @default.
- W2052793485 startingPage "341" @default.
- W2052793485 abstract "Nominal algebra is a logic of equality developed to reason algebraically in the presence of binding. In previous work, it has been shown how nominal algebra can be used to specify and reason algebraically about systems with binding, such as first-order logic, the λ-calculus or process calculi. Nominal algebra has a semantics in nominal sets (sets with a finitely supported permutation action); previous work proved soundness and completeness. The HSP theorem characterizes the class of models of an algebraic theory as a class closed under homomorphic images, subalgebras and products, and is a fundamental result of universal algebra. It is not obvious that nominal algebra should satisfy the HSP theorem: nominal algebra axioms are subject to so-called freshness conditions which give them some flavour of implication; nominal sets have significantly richer structure than the sets semantics traditionally used in universal algebra. The usual method of proof for the HSP theorem does not obviously transfer to the nominal algebra setting. In this article, we give the constructions which show that, after all, a ‘nominal’ version of the HSP theorem holds for nominal algebra; it corresponds to closure under homomorphic images, subalgebras, products and an atoms-abstraction construction specific to nominal-style semantics." @default.
- W2052793485 created "2016-06-24" @default.
- W2052793485 creator A5022313675 @default.
- W2052793485 date "2008-08-14" @default.
- W2052793485 modified "2023-10-08" @default.
- W2052793485 title "Nominal Algebra and the HSP Theorem" @default.
- W2052793485 cites W1975808446 @default.
- W2052793485 cites W1991093042 @default.
- W2052793485 cites W2034319793 @default.
- W2052793485 cites W2049352524 @default.
- W2052793485 cites W2092116738 @default.
- W2052793485 cites W2168547990 @default.
- W2052793485 cites W2180471721 @default.
- W2052793485 cites W2911271085 @default.
- W2052793485 cites W2912255765 @default.
- W2052793485 cites W4212868911 @default.
- W2052793485 doi "https://doi.org/10.1093/logcom/exn055" @default.
- W2052793485 hasPublicationYear "2008" @default.
- W2052793485 type Work @default.
- W2052793485 sameAs 2052793485 @default.
- W2052793485 citedByCount "28" @default.
- W2052793485 countsByYear W20527934852012 @default.
- W2052793485 countsByYear W20527934852013 @default.
- W2052793485 countsByYear W20527934852014 @default.
- W2052793485 countsByYear W20527934852015 @default.
- W2052793485 countsByYear W20527934852016 @default.
- W2052793485 countsByYear W20527934852017 @default.
- W2052793485 countsByYear W20527934852018 @default.
- W2052793485 countsByYear W20527934852019 @default.
- W2052793485 countsByYear W20527934852020 @default.
- W2052793485 crossrefType "journal-article" @default.
- W2052793485 hasAuthorship W2052793485A5022313675 @default.
- W2052793485 hasBestOaLocation W20527934852 @default.
- W2052793485 hasConcept C100899422 @default.
- W2052793485 hasConcept C118615104 @default.
- W2052793485 hasConcept C134306372 @default.
- W2052793485 hasConcept C136119220 @default.
- W2052793485 hasConcept C138354692 @default.
- W2052793485 hasConcept C14394260 @default.
- W2052793485 hasConcept C169171071 @default.
- W2052793485 hasConcept C170517529 @default.
- W2052793485 hasConcept C188971069 @default.
- W2052793485 hasConcept C200116569 @default.
- W2052793485 hasConcept C202444582 @default.
- W2052793485 hasConcept C2779729104 @default.
- W2052793485 hasConcept C33923547 @default.
- W2052793485 hasConcept C9376300 @default.
- W2052793485 hasConceptScore W2052793485C100899422 @default.
- W2052793485 hasConceptScore W2052793485C118615104 @default.
- W2052793485 hasConceptScore W2052793485C134306372 @default.
- W2052793485 hasConceptScore W2052793485C136119220 @default.
- W2052793485 hasConceptScore W2052793485C138354692 @default.
- W2052793485 hasConceptScore W2052793485C14394260 @default.
- W2052793485 hasConceptScore W2052793485C169171071 @default.
- W2052793485 hasConceptScore W2052793485C170517529 @default.
- W2052793485 hasConceptScore W2052793485C188971069 @default.
- W2052793485 hasConceptScore W2052793485C200116569 @default.
- W2052793485 hasConceptScore W2052793485C202444582 @default.
- W2052793485 hasConceptScore W2052793485C2779729104 @default.
- W2052793485 hasConceptScore W2052793485C33923547 @default.
- W2052793485 hasConceptScore W2052793485C9376300 @default.
- W2052793485 hasIssue "2" @default.
- W2052793485 hasLocation W20527934851 @default.
- W2052793485 hasLocation W20527934852 @default.
- W2052793485 hasOpenAccess W2052793485 @default.
- W2052793485 hasPrimaryLocation W20527934851 @default.
- W2052793485 hasRelatedWork W1589148048 @default.
- W2052793485 hasRelatedWork W1593360783 @default.
- W2052793485 hasRelatedWork W2363005291 @default.
- W2052793485 hasRelatedWork W2377379511 @default.
- W2052793485 hasRelatedWork W2393564296 @default.
- W2052793485 hasRelatedWork W2393711593 @default.
- W2052793485 hasRelatedWork W2736389046 @default.
- W2052793485 hasRelatedWork W3025931133 @default.
- W2052793485 hasRelatedWork W4310792615 @default.
- W2052793485 hasRelatedWork W4366152377 @default.
- W2052793485 hasVolume "19" @default.
- W2052793485 isParatext "false" @default.
- W2052793485 isRetracted "false" @default.
- W2052793485 magId "2052793485" @default.
- W2052793485 workType "article" @default.