Welcome!
To use the personalized features of this site, please log in or register.
If you have forgotten your username or password, we can help.
My Menu
Saved Items

Presentations for Abstract Context Institutions

Wiesław PawłowskiContact Information

(5)  Institute of Computer Science, Polish Academy of Sciences, ul. Abrahama 18, 81-825 Sopot, Poland
Abstract
The paper discusses a generalization of the notion of context institution and introduces a suitable notion of presentation for it. With an appropriate notion of morphism presentations constitute a category, whose structural properties can be used to systematically construct logical systems (i.e. abstract context institutions).
This research has been partially supported by ESPRIT workingg roup 29432 (CoFI WG), and KBN grant No. 8 T11C 037 16.

Contact Information Wiesław Pawłowski
Email: w.pawlowski@ipipan.gda.pl
Fulltext Preview (Small, Large)
Image of the first page of the fulltext

References secured to subscribers.



Export this chapter
Export this chapter as RIS | Text
 
Remote Address: 38.107.191.119 • Server: mpweb03
HTTP User Agent: CCBot/1.0 (+http://www.commoncrawl.org/bot.html)