Add to ORKGInstitutions formalize the intuitive notion of logical system, including both syntax and semantics. A surprisin
A ‘hybridisation ’ of a logic, referred to as the base logic, consists of developing the characteris...
The notion of institution is dissected into somewhat weaker notions. We introduce a novel notion of ...
Let me start with a confession: I never properly learnt category theory, I never did any really non-...
: This paper presents a number of concepts of a mapping between logical systems modelled as institut...
The notion of institution is dissected into somewhat weaker notions. We introduce a novel notion of ...
: This paper presents a number of concepts of a mapping between logical systems modelled as institut...
By adopting theories as primitive components of a logic and recognizing that formulae are just pres...
Institutions give an algebraic answer to the question what is a logic?. In our paper we inter-nalise...
The theory of institutions constitutes an important application of category theory in computer scien...
International audienceSeveral logical operators are defined as dual pairs, in different types of log...
International audienceSeveral logical operators are defined as dual pairs, in different types of log...
International audienceSeveral logical operators are defined as dual pairs, in different types of log...
International audienceSeveral logical operators are defined as dual pairs, in different types of log...
Building on the work of Goguen and Burstall on institutions and on Tarski's notion of deductive syst...
Building on the work of Goguen and Burstall on institutions and on Tarski's notion of deductive syst...
A ‘hybridisation ’ of a logic, referred to as the base logic, consists of developing the characteris...
The notion of institution is dissected into somewhat weaker notions. We introduce a novel notion of ...
Let me start with a confession: I never properly learnt category theory, I never did any really non-...
: This paper presents a number of concepts of a mapping between logical systems modelled as institut...
The notion of institution is dissected into somewhat weaker notions. We introduce a novel notion of ...
: This paper presents a number of concepts of a mapping between logical systems modelled as institut...
By adopting theories as primitive components of a logic and recognizing that formulae are just pres...
Institutions give an algebraic answer to the question what is a logic?. In our paper we inter-nalise...
The theory of institutions constitutes an important application of category theory in computer scien...
International audienceSeveral logical operators are defined as dual pairs, in different types of log...
International audienceSeveral logical operators are defined as dual pairs, in different types of log...
International audienceSeveral logical operators are defined as dual pairs, in different types of log...
International audienceSeveral logical operators are defined as dual pairs, in different types of log...
Building on the work of Goguen and Burstall on institutions and on Tarski's notion of deductive syst...
Building on the work of Goguen and Burstall on institutions and on Tarski's notion of deductive syst...
A ‘hybridisation ’ of a logic, referred to as the base logic, consists of developing the characteris...
The notion of institution is dissected into somewhat weaker notions. We introduce a novel notion of ...
Let me start with a confession: I never properly learnt category theory, I never did any really non-...