This HTML5 document contains 57 embedded RDF statements represented using HTML+Microdata notation.

The embedded RDF content will be recognized by any processor of HTML5 Microdata.

Namespace Prefixes

PrefixIRI
dctermshttp://purl.org/dc/terms/
dbohttp://dbpedia.org/ontology/
foafhttp://xmlns.com/foaf/0.1/
dbpedia-kohttp://ko.dbpedia.org/resource/
n21http://www.imar.ro/~diacon/
n10https://global.dbpedia.org/id/
dbthttp://dbpedia.org/resource/Template:
rdfshttp://www.w3.org/2000/01/rdf-schema#
freebasehttp://rdf.freebase.com/ns/
n20https://www.springer.com/birkhauser/mathematics/book/
rdfhttp://www.w3.org/1999/02/22-rdf-syntax-ns#
n17https://iep.utm.edu/insti-th/
owlhttp://www.w3.org/2002/07/owl#
wikipedia-enhttp://en.wikipedia.org/wiki/
provhttp://www.w3.org/ns/prov#
n6http://www-cse.ucsd.edu/users/goguen/projs/
dbphttp://dbpedia.org/property/
dbchttp://dbpedia.org/resource/Category:
xsdhhttp://www.w3.org/2001/XMLSchema#
wikidatahttp://www.wikidata.org/entity/
dbrhttp://dbpedia.org/resource/
n15http://www.informatik.uni-bremen.de/flirts/

Statements

Subject Item
dbr:Institution_(computer_science)
rdfs:label
제도 (논리학) Institution (computer science)
rdfs:comment
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. 수리논리학과 컴퓨터 과학에서 제도(制度, 영어: institution 인스티튜션[*])는 문법과 모형 이론이 부여된 논리 체계의 추상화이다.
dcterms:subject
dbc:Theoretical_computer_science dbc:Model_theory
dbo:wikiPageID
2156522
dbo:wikiPageRevisionID
1061609711
dbo:wikiPageWikiLink
dbr:Joseph_Goguen dbr:Specification_language dbr:Higher-order_logic dbr:T-schema dbr:Morphism dbr:Category_(mathematics) dbr:Functor dbr:First-order_logic dbr:Sentence_(mathematical_logic) dbr:Intuitionistic_logic dbc:Theoretical_computer_science dbr:Temporal_logic dbr:Proof_calculi dbr:Common_logic dbr:Tool dbc:Model_theory dbr:Signature_(logic) dbr:Computer_science dbr:Model_theory dbr:Web_Ontology_Language dbr:Institutional_model_theory dbr:Propositional_logic dbr:Interpretation_(logic) dbr:Category_of_sets dbr:Universal_logic dbr:Rod_Burstall dbr:Category_of_small_categories dbr:Binary_relation dbr:Opposite_category dbr:Logical_system dbr:Abstract_model_theory dbr:Modal_logic dbr:Common_Algebraic_Specification_Language
dbo:wikiPageExternalLink
n6:inst.html n15: n17: n20:978-3-7643-8707-5 n21:publications.html%23Institutions__institution-independent
owl:sameAs
n10:4nhNf dbpedia-ko:제도_(논리학) freebase:m.06q_kr wikidata:Q6041045
dbp:wikiPageUsesTemplate
dbt:Reflist dbt:Citation
dbo:abstract
수리논리학과 컴퓨터 과학에서 제도(制度, 영어: institution 인스티튜션[*])는 문법과 모형 이론이 부여된 논리 체계의 추상화이다. 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.
prov:wasDerivedFrom
wikipedia-en:Institution_(computer_science)?oldid=1061609711&ns=0
dbo:wikiPageLength
8409
foaf:isPrimaryTopicOf
wikipedia-en:Institution_(computer_science)