@incollection{mossakowski_parchments_2014,
	address = {Berlin, Heidelberg},
	series = {Lecture {Notes} in {Computer} {Science}},
	title = {Parchments for {CafeOBJ} {Logics}},
	isbn = {978-3-642-54624-2},
	url = {https://doi.org/10.1007/978-3-642-54624-2_4},
	abstract = {This paper addresses issues arising in the systematic construction of large logical systems. We rely on a model-theoretic view of logical systems, captured by institutions that are in turn presented by parchments. We define their categories, and study constructions that may be carried out in these categories. In particular we show how limits of parchments may be used to combine features involved in various logical systems, sometimes necessarily augmenting the universal construction by additional systematic adjustments. We illustrate these developments by sketching how the logical systems that form the logical foundations of CafeOBJ may be built in this manner.},
	language = {en},
	urldate = {2020-09-10},
	booktitle = {Specification, {Algebra}, and {Software}: {Essays} {Dedicated} to {Kokichi} {Futatsugi}},
	publisher = {Springer},
	author = {Mossakowski, Till and Pawłowski, Wiesław and Sannella, Donald and Tarlecki, Andrzej},
	editor = {Iida, Shusaku and Meseguer, José and Ogata, Kazuhiro},
	year = {2014},
	doi = {10.1007/978-3-642-54624-2_4},
	keywords = {Behavioural Signature, Evaluation Structure, Logical System, Natural Transformation, Satisfaction Condition},
	pages = {66--91},
}

{"_id":"BDGrffwJF7epEjoNq","bibbaseid":"mossakowski-pawowski-sannella-tarlecki-parchmentsforcafeobjlogics-2014","author_short":["Mossakowski, T.","Pawłowski, W.","Sannella, D.","Tarlecki, A."],"bibdata":{"bibtype":"incollection","type":"incollection","address":"Berlin, Heidelberg","series":"Lecture Notes in Computer Science","title":"Parchments for CafeOBJ Logics","isbn":"978-3-642-54624-2","url":"https://doi.org/10.1007/978-3-642-54624-2_4","abstract":"This paper addresses issues arising in the systematic construction of large logical systems. We rely on a model-theoretic view of logical systems, captured by institutions that are in turn presented by parchments. We define their categories, and study constructions that may be carried out in these categories. In particular we show how limits of parchments may be used to combine features involved in various logical systems, sometimes necessarily augmenting the universal construction by additional systematic adjustments. We illustrate these developments by sketching how the logical systems that form the logical foundations of CafeOBJ may be built in this manner.","language":"en","urldate":"2020-09-10","booktitle":"Specification, Algebra, and Software: Essays Dedicated to Kokichi Futatsugi","publisher":"Springer","author":[{"propositions":[],"lastnames":["Mossakowski"],"firstnames":["Till"],"suffixes":[]},{"propositions":[],"lastnames":["Pawłowski"],"firstnames":["Wiesław"],"suffixes":[]},{"propositions":[],"lastnames":["Sannella"],"firstnames":["Donald"],"suffixes":[]},{"propositions":[],"lastnames":["Tarlecki"],"firstnames":["Andrzej"],"suffixes":[]}],"editor":[{"propositions":[],"lastnames":["Iida"],"firstnames":["Shusaku"],"suffixes":[]},{"propositions":[],"lastnames":["Meseguer"],"firstnames":["José"],"suffixes":[]},{"propositions":[],"lastnames":["Ogata"],"firstnames":["Kazuhiro"],"suffixes":[]}],"year":"2014","doi":"10.1007/978-3-642-54624-2_4","keywords":"Behavioural Signature, Evaluation Structure, Logical System, Natural Transformation, Satisfaction Condition","pages":"66–91","bibtex":"@incollection{mossakowski_parchments_2014,\n\taddress = {Berlin, Heidelberg},\n\tseries = {Lecture {Notes} in {Computer} {Science}},\n\ttitle = {Parchments for {CafeOBJ} {Logics}},\n\tisbn = {978-3-642-54624-2},\n\turl = {https://doi.org/10.1007/978-3-642-54624-2_4},\n\tabstract = {This paper addresses issues arising in the systematic construction of large logical systems. We rely on a model-theoretic view of logical systems, captured by institutions that are in turn presented by parchments. We define their categories, and study constructions that may be carried out in these categories. In particular we show how limits of parchments may be used to combine features involved in various logical systems, sometimes necessarily augmenting the universal construction by additional systematic adjustments. We illustrate these developments by sketching how the logical systems that form the logical foundations of CafeOBJ may be built in this manner.},\n\tlanguage = {en},\n\turldate = {2020-09-10},\n\tbooktitle = {Specification, {Algebra}, and {Software}: {Essays} {Dedicated} to {Kokichi} {Futatsugi}},\n\tpublisher = {Springer},\n\tauthor = {Mossakowski, Till and Pawłowski, Wiesław and Sannella, Donald and Tarlecki, Andrzej},\n\teditor = {Iida, Shusaku and Meseguer, José and Ogata, Kazuhiro},\n\tyear = {2014},\n\tdoi = {10.1007/978-3-642-54624-2_4},\n\tkeywords = {Behavioural Signature, Evaluation Structure, Logical System, Natural Transformation, Satisfaction Condition},\n\tpages = {66--91},\n}\n\n","author_short":["Mossakowski, T.","Pawłowski, W.","Sannella, D.","Tarlecki, A."],"editor_short":["Iida, S.","Meseguer, J.","Ogata, K."],"key":"mossakowski_parchments_2014","id":"mossakowski_parchments_2014","bibbaseid":"mossakowski-pawowski-sannella-tarlecki-parchmentsforcafeobjlogics-2014","role":"author","urls":{"Paper":"https://doi.org/10.1007/978-3-642-54624-2_4"},"keyword":["Behavioural Signature","Evaluation Structure","Logical System","Natural Transformation","Satisfaction Condition"],"metadata":{"authorlinks":{}},"html":""},"bibtype":"incollection","biburl":"https://bibbase.org/zotero/SilverSylvester","dataSources":["YCBcQPneB9oxahSnp"],"keywords":["behavioural signature","evaluation structure","logical system","natural transformation","satisfaction condition"],"search_terms":["parchments","cafeobj","logics","mossakowski","pawłowski","sannella","tarlecki"],"title":"Parchments for CafeOBJ Logics","year":2014}