A deductive calculus for conditional equational systems with built-in predicates as premises
- Autores: Mauricio Ayala Rincón
- Localización: Revista Colombiana de Matemáticas, ISSN-e 0034-7426, Vol. 31, Nº. 2, 1997, págs. 77-98
- Idioma: inglés
- Enlaces
-
Resumen
Conditional equationally defined classes of many-sorted algebras, whose premises are conjunctions of (positive) equations and built-in predicates (constraints) in a basic first-order theory, are introduced. These classes are important in the field of algebraic specification because the combination of equational and built-in premises give rise to a type of clauses wich is more expressive than purely conditional equations. A sound and complete deductive system is presented and algebraic aspects of these classes are investigated. In particular, the existence of free algebras is examined.
¿Es nuevo? Regístrese
Ventajas de registrarse
