{"product_id":"towards-automated-derivation-in-the-theory-of-allegories-von-joel-glanfield","title":"Towards Automated Derivation in the Theory of Allegories","description":"\u003cp\u003eWe provide an algorithm that automatically derives  many provable theorems in the equational theory of  allegories. This was accomplished by noticing  properties of an existing decision algorithm that  could be extended to provide a derivation in addition to a decision certi¿cate. We also suggest  improvements and corrections to previous research  in order to motivate further work on a complete  derivation mechanism. The results presented here  are signi¿cant for those interested in relational  theories, since we essentially have a subtheory where automatic proof-generation is possible. This is also relevant to program veri¿cation since relations are well-suited to describe the behaviour of computer programs. It is likely that extensions of the theory of allegories are also decidable and possibly suitable for further expansions of the algorithm presented here.\u003c\/p\u003e\u003cdiv class=\"aw-variant-hidden-subtitle-div\" id=\"aw-variant-subtitle-9783838325866\"\u003e\u003ch3\u003eMaster of Science\u003c\/h3\u003e\u003c\/div\u003e","brand":"Autorenwelt Shop","offers":[{"title":"Softcover - 9783838325866","offer_id":39469221412957,"sku":"9783838325866","price":49.0,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0940\/0622\/files\/151ceaf9-47ee-4c98-b811-2cca2635b42a.jpg?v=1757826351","url":"https:\/\/shop.autorenwelt.de\/products\/towards-automated-derivation-in-the-theory-of-allegories-von-joel-glanfield","provider":"Autorenwelt Shop","version":"1.0","type":"link"}