Skip to search formSkip to main contentSkip to account menu>Semantic Scholar Semantic Scholar's Logo

Search

You are currently offline. Some features of the site may not work correctly.

Semantic Scholar uses AI to extract papers important to this topic.

2017

2017

We develop an extension of institution theory that accommodates implicitly the partiality of the signature morphisms and its… Expand

2017

2017

Institution theory is a categorical approach to abstract model theory free of commitment to any particular logical system. As… Expand

2014

2014

Making jointly a semi formal language and a formal language can be seen as the transformation of a semi formal model into a… Expand

2014

2014

We develop a general study of graded consequence (of many-valued logic) in an institution theoretic (in the sense of Goguen and… Expand

2013

2013

The relocation of the wool market from London to the major Australian port cities from the late nineteenth century required the… Expand

2013

2013

Research evaluation is a necessity for management of academic units (scientists, research groups, departments, institutes… Expand

Highly Cited

2010

Highly Cited

2010

This paper addresses questions of universality related to ontological engineering, namely aims at substantiating (negative… Expand

Highly Cited

2008

Highly Cited

2008

Formal generalized sketches is a graph-based specification format that borrows its main ideas from categorical and ordinary first… Expand

2007

2007

The theory of “institutions” [40] is a categorical universal model theory which formalises the intuitive notion of logical system… Expand

Highly Cited

2002

Highly Cited

2002

Abstract. Institutions formalise the intuitive notion of logical system, including syntax, semantics, and the relation of… Expand