Affiliation:
1. Université Paris 7, UER de Mathématiques, Paris
Abstract
We introduce classes of interpretations. We characterize the free and Herbrand interpretations for a class. We define the algebraic, equational, relational and first-order classes of interpretations, study their properties and relate them to the literature. We apply this study to derive complete proof systems for deducing (in some (in) equational logic) all (in) equalitions valid in a class.
Publisher
Association for Computing Machinery (ACM)
Reference46 articles.
1. /AN/ H. Andreka I. Nemeti Generalization of variety and quasi-variety concepts to partial algebras through category theory Dissertations Mathematicae (Rozprawy Math.) 204 (1982). /AN/ H. Andreka I. Nemeti Generalization of variety and quasi-variety concepts to partial algebras through category theory Dissertations Mathematicae (Rozprawy Math.) 204 (1982).
2. /AN1/ H. Andreka I. Nemeti Applications of Universal Algebra Model theory and categories in Computer Science FCT 81 LNCS 117 Berlin (1981) 16--23. /AN1/ H. Andreka I. Nemeti Applications of Universal Algebra Model theory and categories in Computer Science FCT 81 LNCS 117 Berlin (1981) 16--23.
3. /ARN/ A. Arnold M. Nivat Non-deterministic recursive program schemes FCT 77 LNCS 56 Berlin (1977) 12--21. /ARN/ A. Arnold M. Nivat Non-deterministic recursive program schemes FCT 77 LNCS 56 Berlin (1977) 12--21.
4. /BG1/ D. Benson I. Guessarian Algebraic solutions to recursion schemes LITP-Report no 81-66 Paris (1981) submitted for publication. /BG1/ D. Benson I. Guessarian Algebraic solutions to recursion schemes LITP-Report no 81-66 Paris (1981) submitted for publication.