A deductive calculus for conditional equational systems with built-in predicates as premises

Conditional equationally defined classes of many-sorted algebras, whose premises are conjunctions of (positive) equations and builtin predicates (constraints) in a basic first-order theory, are introduced. These classes are important in the field of algebraic specification because the combination of...

Full description

Autores:
Ayala-Rincón, Mauricio
Tipo de recurso:
Article of journal
Fecha de publicación:
1997
Institución:
Universidad Nacional de Colombia
Repositorio:
Universidad Nacional de Colombia
Idioma:
spa
OAI Identifier:
oai:repositorio.unal.edu.co:unal/43661
Acceso en línea:
https://repositorio.unal.edu.co/handle/unal/43661
http://bdigital.unal.edu.co/33759/
Palabra clave:
Algebraic specification
rewriting systems
theorem proving
Rights
openAccess
License
Atribución-NoComercial 4.0 Internacional
id UNACIONAL2_f590209690095c07d5bd5d67f3cd94ab
oai_identifier_str oai:repositorio.unal.edu.co:unal/43661
network_acronym_str UNACIONAL2
network_name_str Universidad Nacional de Colombia
repository_id_str
spelling Atribución-NoComercial 4.0 InternacionalDerechos reservados - Universidad Nacional de Colombiahttp://creativecommons.org/licenses/by-nc/4.0/info:eu-repo/semantics/openAccesshttp://purl.org/coar/access_right/c_abf2Ayala-Rincón, Mauricioc8e37654-0013-46bb-bab7-23ddc9ade1e93002019-06-28T12:16:25Z2019-06-28T12:16:25Z1997https://repositorio.unal.edu.co/handle/unal/43661http://bdigital.unal.edu.co/33759/Conditional equationally defined classes of many-sorted algebras, whose premises are conjunctions of (positive) equations and builtin 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 which 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.application/pdfspaUniversidad Nacuional de Colombia; Sociedad Colombiana de matemáticashttp://revistas.unal.edu.co/index.php/recolma/article/view/33659Universidad Nacional de Colombia Revistas electrónicas UN Revista Colombiana de MatemáticasRevista Colombiana de MatemáticasRevista Colombiana de Matemáticas; Vol. 31, núm. 2 (1997); 77-98 0034-7426Ayala-Rincón, Mauricio (1997) A deductive calculus for conditional equational systems with built-in predicates as premises. Revista Colombiana de Matemáticas; Vol. 31, núm. 2 (1997); 77-98 0034-7426 .A deductive calculus for conditional equational systems with built-in predicates as premisesArtículo de revistainfo:eu-repo/semantics/articleinfo:eu-repo/semantics/publishedVersionhttp://purl.org/coar/resource_type/c_6501http://purl.org/coar/resource_type/c_2df8fbb1http://purl.org/coar/version/c_970fb48d4fbd8a85Texthttp://purl.org/redcol/resource_type/ARTAlgebraic specificationrewriting systemstheorem provingORIGINAL33659-125194-1-PB.pdfapplication/pdf10634202https://repositorio.unal.edu.co/bitstream/unal/43661/1/33659-125194-1-PB.pdf33311efe1d1099cc5e9ecc134b6974b8MD51THUMBNAIL33659-125194-1-PB.pdf.jpg33659-125194-1-PB.pdf.jpgGenerated Thumbnailimage/jpeg7371https://repositorio.unal.edu.co/bitstream/unal/43661/2/33659-125194-1-PB.pdf.jpgbe39465b09f15c184782d038d64bfc85MD52unal/43661oai:repositorio.unal.edu.co:unal/436612023-02-13 23:04:52.629Repositorio Institucional Universidad Nacional de Colombiarepositorio_nal@unal.edu.co
dc.title.spa.fl_str_mv A deductive calculus for conditional equational systems with built-in predicates as premises
title A deductive calculus for conditional equational systems with built-in predicates as premises
spellingShingle A deductive calculus for conditional equational systems with built-in predicates as premises
Algebraic specification
rewriting systems
theorem proving
title_short A deductive calculus for conditional equational systems with built-in predicates as premises
title_full A deductive calculus for conditional equational systems with built-in predicates as premises
title_fullStr A deductive calculus for conditional equational systems with built-in predicates as premises
title_full_unstemmed A deductive calculus for conditional equational systems with built-in predicates as premises
title_sort A deductive calculus for conditional equational systems with built-in predicates as premises
dc.creator.fl_str_mv Ayala-Rincón, Mauricio
dc.contributor.author.spa.fl_str_mv Ayala-Rincón, Mauricio
dc.subject.proposal.spa.fl_str_mv Algebraic specification
rewriting systems
theorem proving
topic Algebraic specification
rewriting systems
theorem proving
description Conditional equationally defined classes of many-sorted algebras, whose premises are conjunctions of (positive) equations and builtin 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 which 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.
publishDate 1997
dc.date.issued.spa.fl_str_mv 1997
dc.date.accessioned.spa.fl_str_mv 2019-06-28T12:16:25Z
dc.date.available.spa.fl_str_mv 2019-06-28T12:16:25Z
dc.type.spa.fl_str_mv Artículo de revista
dc.type.coar.fl_str_mv http://purl.org/coar/resource_type/c_2df8fbb1
dc.type.driver.spa.fl_str_mv info:eu-repo/semantics/article
dc.type.version.spa.fl_str_mv info:eu-repo/semantics/publishedVersion
dc.type.coar.spa.fl_str_mv http://purl.org/coar/resource_type/c_6501
dc.type.coarversion.spa.fl_str_mv http://purl.org/coar/version/c_970fb48d4fbd8a85
dc.type.content.spa.fl_str_mv Text
dc.type.redcol.spa.fl_str_mv http://purl.org/redcol/resource_type/ART
format http://purl.org/coar/resource_type/c_6501
status_str publishedVersion
dc.identifier.uri.none.fl_str_mv https://repositorio.unal.edu.co/handle/unal/43661
dc.identifier.eprints.spa.fl_str_mv http://bdigital.unal.edu.co/33759/
url https://repositorio.unal.edu.co/handle/unal/43661
http://bdigital.unal.edu.co/33759/
dc.language.iso.spa.fl_str_mv spa
language spa
dc.relation.spa.fl_str_mv http://revistas.unal.edu.co/index.php/recolma/article/view/33659
dc.relation.ispartof.spa.fl_str_mv Universidad Nacional de Colombia Revistas electrónicas UN Revista Colombiana de Matemáticas
Revista Colombiana de Matemáticas
dc.relation.ispartofseries.none.fl_str_mv Revista Colombiana de Matemáticas; Vol. 31, núm. 2 (1997); 77-98 0034-7426
dc.relation.references.spa.fl_str_mv Ayala-Rincón, Mauricio (1997) A deductive calculus for conditional equational systems with built-in predicates as premises. Revista Colombiana de Matemáticas; Vol. 31, núm. 2 (1997); 77-98 0034-7426 .
dc.rights.spa.fl_str_mv Derechos reservados - Universidad Nacional de Colombia
dc.rights.coar.fl_str_mv http://purl.org/coar/access_right/c_abf2
dc.rights.license.spa.fl_str_mv Atribución-NoComercial 4.0 Internacional
dc.rights.uri.spa.fl_str_mv http://creativecommons.org/licenses/by-nc/4.0/
dc.rights.accessrights.spa.fl_str_mv info:eu-repo/semantics/openAccess
rights_invalid_str_mv Atribución-NoComercial 4.0 Internacional
Derechos reservados - Universidad Nacional de Colombia
http://creativecommons.org/licenses/by-nc/4.0/
http://purl.org/coar/access_right/c_abf2
eu_rights_str_mv openAccess
dc.format.mimetype.spa.fl_str_mv application/pdf
dc.publisher.spa.fl_str_mv Universidad Nacuional de Colombia; Sociedad Colombiana de matemáticas
institution Universidad Nacional de Colombia
bitstream.url.fl_str_mv https://repositorio.unal.edu.co/bitstream/unal/43661/1/33659-125194-1-PB.pdf
https://repositorio.unal.edu.co/bitstream/unal/43661/2/33659-125194-1-PB.pdf.jpg
bitstream.checksum.fl_str_mv 33311efe1d1099cc5e9ecc134b6974b8
be39465b09f15c184782d038d64bfc85
bitstream.checksumAlgorithm.fl_str_mv MD5
MD5
repository.name.fl_str_mv Repositorio Institucional Universidad Nacional de Colombia
repository.mail.fl_str_mv repositorio_nal@unal.edu.co
_version_ 1814090138080247808

Publicaciones similares