Universität Bremen  
  FB 3  
  Group BKB > Publications > Search > Deutsch
English
 

Publications Search - Details

 
Publication type: Article in Proceedings
Author: T. Mossakowski
Editor: H. Kleine Büning
Title: Equivalences among various logical frameworks of partial algebras
Book / Collection title: Computer Science Logic. 9th Workshop, CSL'95. Paderborn, Germany, September 1995, Selected Papers
Volume: 1092
Page(s): 403 – 433
Series: Lecture Notes in Computer Science
Year published: 1996
Publisher: Springer Verlag, London
Abstract: We examine a variety of liberal logical frameworks of partial algebras. Therefore we use simple, conjunctive and weak embeddings of institutions which preserve model categories and may map sentences to sentences, finite sets of sentences, or theory extensions using unique-existential quantifiers, respectively. They faithfully represent theories, model categories, theory morphisms, colimit of theories, reducts etc. Moreover, along simple and conjunctive embeddings, theorem provers can be re-used in a way that soundness and completeness is preserved. Our main result states the equivalence of all the logical frameworks with respect to weak embeddability. This gives us compilers between all frameworks. Thus it is a chance to unify the different branches of specification using liberal partial logics. This is important for reaching the goal of formal interoperability of different specification languages for software development. With formal interoperability, a specification can contain parts written in different logical frameworks using a multiparadigm specification language, and one can re-use tools which are available for one framework also for other frameworks.
ISBN: 3-540-61377-3
Internet: http://www.springerlink.com/(bt4qw245oavupgzdxw3zpuul)/app/home/contribution.asp?referrer=parent&backto=searchcitationsresults,1,38;
PostScript Version: http://www.informatik.uni-bremen.de/~till/papers/equiv.ps
Status: Reviewed
Last updated: 01. 02. 2006

 Back to result list
 
   
Author: Automatically generated page
 
  Group BKB 
Last updated: May 9, 2023   impressum