Matches in SemOpenAlex for { <https://semopenalex.org/work/W2017041211> ?p ?o ?g. }
Showing items 1 to 92 of
92
with 100 items per page.
- W2017041211 endingPage "360" @default.
- W2017041211 startingPage "333" @default.
- W2017041211 abstract "To provide a formal framework for discussing specifications of abstract data types we restrict the notion of institution due to Goguen and Burstall (“Lecture Notes in Computer Sci.,” No. 164, pp. 221–256, Springer, Berlin, 1984) which formalizes the concept of a logical system for writing specifications, and deal with abstract algebraic institutions . These are institutions equipped with a notion of submodel which satisfy a number of technical conditions. In this framework we introduce an abstract notion of ground equation which, in turn, determines notions of abstract infinitary conditional equation and inequation. We prove that quasi-varieties (i.e., classes of models closed under submodels and nonempty products) are exactly classes of models definable by abstract infinitary conditional equations and inequations. As a consequence we obtain “syntactic” characterizations of abstract algebraic institutions which guarantee the existence of reachable initial models for any consistent set of axioms, as well as those which guarantee the existence of a free model of a theory generated by any model of a subtheory (with respect to an arbitrary theory morphism). We also show how to specialize these results for abstract algebraic institutions of, respectively, total, partial, and continuous algebras." @default.
- W2017041211 created "2016-06-24" @default.
- W2017041211 creator A5087292234 @default.
- W2017041211 date "1986-12-01" @default.
- W2017041211 modified "2023-10-16" @default.
- W2017041211 title "Quasi-varieties in abstract algebraic institutions" @default.
- W2017041211 cites W1554884006 @default.
- W2017041211 cites W1970554275 @default.
- W2017041211 cites W1971240584 @default.
- W2017041211 cites W1974483963 @default.
- W2017041211 cites W2002486184 @default.
- W2017041211 cites W2007975299 @default.
- W2017041211 cites W2010453304 @default.
- W2017041211 cites W2042319653 @default.
- W2017041211 cites W2062341323 @default.
- W2017041211 cites W2070706877 @default.
- W2017041211 cites W2166822586 @default.
- W2017041211 cites W3163760467 @default.
- W2017041211 cites W58233137 @default.
- W2017041211 doi "https://doi.org/10.1016/0022-0000(86)90057-7" @default.
- W2017041211 hasPublicationYear "1986" @default.
- W2017041211 type Work @default.
- W2017041211 sameAs 2017041211 @default.
- W2017041211 citedByCount "73" @default.
- W2017041211 countsByYear W20170412112012 @default.
- W2017041211 countsByYear W20170412112013 @default.
- W2017041211 countsByYear W20170412112014 @default.
- W2017041211 countsByYear W20170412112015 @default.
- W2017041211 countsByYear W20170412112016 @default.
- W2017041211 countsByYear W20170412112017 @default.
- W2017041211 countsByYear W20170412112020 @default.
- W2017041211 countsByYear W20170412112022 @default.
- W2017041211 countsByYear W20170412112023 @default.
- W2017041211 crossrefType "journal-article" @default.
- W2017041211 hasAuthorship W2017041211A5087292234 @default.
- W2017041211 hasConcept C118615104 @default.
- W2017041211 hasConcept C125773388 @default.
- W2017041211 hasConcept C134306372 @default.
- W2017041211 hasConcept C136119220 @default.
- W2017041211 hasConcept C137212723 @default.
- W2017041211 hasConcept C144237770 @default.
- W2017041211 hasConcept C153046414 @default.
- W2017041211 hasConcept C154564781 @default.
- W2017041211 hasConcept C154690210 @default.
- W2017041211 hasConcept C167729594 @default.
- W2017041211 hasConcept C177264268 @default.
- W2017041211 hasConcept C199360897 @default.
- W2017041211 hasConcept C202444582 @default.
- W2017041211 hasConcept C2524010 @default.
- W2017041211 hasConcept C33923547 @default.
- W2017041211 hasConcept C41008148 @default.
- W2017041211 hasConcept C47030870 @default.
- W2017041211 hasConcept C9376300 @default.
- W2017041211 hasConceptScore W2017041211C118615104 @default.
- W2017041211 hasConceptScore W2017041211C125773388 @default.
- W2017041211 hasConceptScore W2017041211C134306372 @default.
- W2017041211 hasConceptScore W2017041211C136119220 @default.
- W2017041211 hasConceptScore W2017041211C137212723 @default.
- W2017041211 hasConceptScore W2017041211C144237770 @default.
- W2017041211 hasConceptScore W2017041211C153046414 @default.
- W2017041211 hasConceptScore W2017041211C154564781 @default.
- W2017041211 hasConceptScore W2017041211C154690210 @default.
- W2017041211 hasConceptScore W2017041211C167729594 @default.
- W2017041211 hasConceptScore W2017041211C177264268 @default.
- W2017041211 hasConceptScore W2017041211C199360897 @default.
- W2017041211 hasConceptScore W2017041211C202444582 @default.
- W2017041211 hasConceptScore W2017041211C2524010 @default.
- W2017041211 hasConceptScore W2017041211C33923547 @default.
- W2017041211 hasConceptScore W2017041211C41008148 @default.
- W2017041211 hasConceptScore W2017041211C47030870 @default.
- W2017041211 hasConceptScore W2017041211C9376300 @default.
- W2017041211 hasIssue "3" @default.
- W2017041211 hasLocation W20170412111 @default.
- W2017041211 hasOpenAccess W2017041211 @default.
- W2017041211 hasPrimaryLocation W20170412111 @default.
- W2017041211 hasRelatedWork W1574487246 @default.
- W2017041211 hasRelatedWork W1971240584 @default.
- W2017041211 hasRelatedWork W1979597349 @default.
- W2017041211 hasRelatedWork W1993159501 @default.
- W2017041211 hasRelatedWork W2014633187 @default.
- W2017041211 hasRelatedWork W2017041211 @default.
- W2017041211 hasRelatedWork W2028114523 @default.
- W2017041211 hasRelatedWork W2393443133 @default.
- W2017041211 hasRelatedWork W2435666652 @default.
- W2017041211 hasRelatedWork W4240105968 @default.
- W2017041211 hasVolume "33" @default.
- W2017041211 isParatext "false" @default.
- W2017041211 isRetracted "false" @default.
- W2017041211 magId "2017041211" @default.
- W2017041211 workType "article" @default.