|
JAIST Repository >
School of Information Science >
JAIST Research Reports >
Research Report - School of Information Science ： ISSN 0918-7553 >
IS-RR-2009 >
Please use this identifier to cite or link to this item:
http://hdl.handle.net/10119/8177
|
| Title: | Constructor-based Institutions |
| Authors: | Gaina, Daniel
Futatsugi, Kokichi
Ogata, Kazuhiro |
| Issue Date: | 2009-05-29 |
| Publisher: | 北陸先端科学技術大学院大学情報科学研究科 |
| Magazine name: | Research report (School of Information Science, Japan Advanced Institute of Science and Technology) |
| Volume: | IS-RR-2009-002 |
| Start page: | 1 |
| End page: | 19 |
| Abstract: | Many computer science applications concern properties which are true of a restricted class of models. We present a couple of constructorbasedinstitutions defined on top of some base institutions by restricting the class of models. We define the proof rules for these logics formalized as institutions, and prove their completeness in the abstract framework of institutions. |
| URI: | http://hdl.handle.net/10119/8177 |
| Material Type: | publisher |
| Appears in Collections: | IS-RR-2009
|
Files in This Item:
| File |
Description |
Size | Format |
|---|
| IS-RR-2009-002.pdf | | 301Kb | Adobe PDF | View/Open |
|
All items in DSpace are protected by copyright, with all rights reserved.
|
