About: Institution (computer science)

An Entity of Type: Thing, from Named Graph: http://dbpedia.org, within Data Space: dbpedia.org

The notion of institution was created by Joseph Goguen and Rod Burstall in the late 1970s, in order to deal with the "population explosion among the logical systems used in computer science". The notion attempts to "formalize the informal" concept of logical system. The spread of institutional model theory has generalized various notions and results of model theory, and institutions themselves have impacted the progress of universal logic.

Property Value
dbo:abstract
  • The notion of institution was created by Joseph Goguen and Rod Burstall in the late 1970s, in order to deal with the "population explosion among the logical systems used in computer science". The notion attempts to "formalize the informal" concept of logical system. The use of institutions makes it possible to develop concepts of specification languages (like structuring of specifications, parameterization, implementation, refinement, and development), proof calculi, and even tools in a way completely independent of the underlying logical system. There are also morphisms that allow to relate and translate logical systems. Important applications of this are re-use of logical structure (also called borrowing), and heterogeneous specification and combination of logics. The spread of institutional model theory has generalized various notions and results of model theory, and institutions themselves have impacted the progress of universal logic. (en)
  • 수리논리학과 컴퓨터 과학에서 제도(制度, 영어: institution 인스티튜션[*])는 문법과 모형 이론이 부여된 논리 체계의 추상화이다. (ko)
dbo:wikiPageExternalLink
dbo:wikiPageID
  • 2156522 (xsd:integer)
dbo:wikiPageLength
  • 8409 (xsd:nonNegativeInteger)
dbo:wikiPageRevisionID
  • 1061609711 (xsd:integer)
dbo:wikiPageWikiLink
dbp:wikiPageUsesTemplate
dcterms:subject
rdfs:comment
  • 수리논리학과 컴퓨터 과학에서 제도(制度, 영어: institution 인스티튜션[*])는 문법과 모형 이론이 부여된 논리 체계의 추상화이다. (ko)
  • The notion of institution was created by Joseph Goguen and Rod Burstall in the late 1970s, in order to deal with the "population explosion among the logical systems used in computer science". The notion attempts to "formalize the informal" concept of logical system. The spread of institutional model theory has generalized various notions and results of model theory, and institutions themselves have impacted the progress of universal logic. (en)
rdfs:label
  • Institution (computer science) (en)
  • 제도 (논리학) (ko)
owl:sameAs
prov:wasDerivedFrom
foaf:isPrimaryTopicOf
is dbo:knownFor of
is dbo:wikiPageDisambiguates of
is dbo:wikiPageWikiLink of
is dbp:knownFor of
is foaf:primaryTopic of
Powered by OpenLink Virtuoso    This material is Open Knowledge     W3C Semantic Web Technology     This material is Open Knowledge    Valid XHTML + RDFa
This content was extracted from Wikipedia and is licensed under the Creative Commons Attribution-ShareAlike 3.0 Unported License