{"product_id":"an-n-approach-to-the-maksym-bortin-9783832525026","title":"An N Approach to the Extension of a Theorem Prover by Advanced Structuring Mechanisms","description":"General purpose theorem provers provide sophisticated proof methods, and become valuable tools in, e.g. formal software development. Of particular interest here are proof systems with the LCF architecture, developing large theories from a small logical kernel, because this approach simplifies the validation of derived results. On the other hand, such provers often lack some of advanced structuring mechanisms found in specification languages. This thesis firstly gives a formal foundation for a seamless extension of a logical framework by similar mechanisms, and secondly presents an elaborated case study in the LCF-style theorem prover Isabelle, employing the introduced concepts of morphisms and instantiation of theories in-the-large.\u003cbr\u003e\u003cbr\u003e\u003cb\u003eAuthor:\u003c\/b\u003e Maksym Bortin\u003cbr\u003e\u003cb\u003eISBN-10:\u003c\/b\u003e 3832525025\u003cbr\u003e\u003cb\u003eISBN-13:\u003c\/b\u003e 9783832525026\u003cbr\u003e\u003cb\u003ePublisher:\u003c\/b\u003e Logos Verlag Berlin\u003cbr\u003e\u003cb\u003eLanguage:\u003c\/b\u003e English\u003cbr\u003e\u003cb\u003ePublished:\u003c\/b\u003e 06\/30\/2010\u003cbr\u003e\u003cb\u003ePages:\u003c\/b\u003e 235\u003cbr\u003e\u003cb\u003eFormat:\u003c\/b\u003e Paperback\u003cbr\u003e\u003cb\u003eWeight:\u003c\/b\u003e 0.90lbs\u003cbr\u003e\u003cb\u003eSize:\u003c\/b\u003e 9.40h x 6.60w x 0.50d","brand":"Maksym Bortin","offers":[{"title":"Paperback","offer_id":48450120941823,"sku":"9783832525026","price":60.0,"currency_code":"USD","in_stock":false}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0662\/2982\/9887\/files\/img_8450596c-05ee-4946-8ff4-465f3bee0e49.jpg?v=1777266305","url":"https:\/\/www.whiterainbookhouse.com\/products\/an-n-approach-to-the-maksym-bortin-9783832525026","provider":"WR Book House","version":"1.0","type":"link"}