ΕΞΙΣΩΤΙΚΗ ΛΟΓΙΚΗ

Abstract

Εισαγωγή στην εξισωτική λογική (equational reasoning). <br/>Χαρακτηριστικές (Signatures).<br/>Παραδείγματα. Συντακτικό. <br/>Σ-άλγεβρες και παραδείγματα.<br/>Κανόνες λογικής παραγωγής (equational deduction). <br/>Αναγραφή με εξισώσεις (equational rewritting).<br/>Σημασιολογία (μοντέλα, εξισωτική ικανοποιησιμότητα (equational satisfaction)). <br/><br/>Η εξισωτική λογική με διατεταγμένους τύπους (order sorted equational logic).<br/>Η εξισωτική λογική με συνέχεια (continious equational logic).<br/>Η εξισωτική λογική με κρυμμένους τύπους (hidden sorted equational logic) και <br/>η συμπεριφοριακή λογική (behavioral logic)<br/>Η λογική της αναγραφής (rewritting logic). <br/><br/>Εξισωτικός προγραμματισμός (equational programming).<br/>Εξισωτικός λογικός προγραμματισμός (equational logic programming).<br/><br/>Παραδείγματα και εφαρμογές