Εξισωτική λογική

Abstract

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

Introduction to Equational Logic (Equational Reasoning). Signatures and examples. Syntax. Σ-algebras and illustrative examples. Equational deduction rules. Equational rewriting. Semantics (models, equational satisfaction). Order-sorted equational logic. Continuous equational logic. Hidden-sorted equational logic and behavioral logic. Rewriting logic. Equational programming and equational logic programming. Examples and applications.