Usando el ambiente Maude para la demostración semi-automática de teoremas en lógica temporal lineal de primer orden

En este artículo, presentamos una implementación modular de un demostrador semi-automático de teoremas para la lógica temporal lineal de primer orden, realizada en el ambiente Maude. Maude es un ambiente de programación y especificación, basado en la lógica de reescritura, propuesta por J. Meseguer....

Descripción completa

Guardado en:

Detalles Bibliográficos
Autores principales:	Mac Donnell, Patricio, Aguirre, Nazareno Matías
Formato:	Objeto de conferencia
Lenguaje:	Español
Publicado:	2005
Materias:	Ciencias Informáticas Temporal logic Programming Environments
Acceso en línea:	http://sedici.unlp.edu.ar/handle/10915/23074
Aporte de:	SEDICI (UNLP) de Universidad Nacional de La Plata

id	I19-R120-10915-23074
record_format	dspace
institution	Universidad Nacional de La Plata
institution_str	I-19
repository_str	R-120
collection	SEDICI (UNLP)
language	Español
topic	Ciencias Informáticas Temporal logic Programming Environments
spellingShingle	Ciencias Informáticas Temporal logic Programming Environments Mac Donnell, Patricio Aguirre, Nazareno Matías Usando el ambiente Maude para la demostración semi-automática de teoremas en lógica temporal lineal de primer orden
topic_facet	Ciencias Informáticas Temporal logic Programming Environments
description	En este artículo, presentamos una implementación modular de un demostrador semi-automático de teoremas para la lógica temporal lineal de primer orden, realizada en el ambiente Maude. Maude es un ambiente de programación y especificación, basado en la lógica de reescritura, propuesta por J. Meseguer. Entre las aplicaciones de la lógica de reescritura, se destaca la aplicación de ´esta como ambiente para la implementación de otras lógicas. Aprovechamos en este artículo esta singular característica de la lógica de reescritura, y la simplicidad, expresividad y eficiencia de Maude, para construir un demostrador de teoremas interactivo, para la lógica temporal lineal de primer orden, basado en un cálculo de secuentes para ésta
format	Objeto de conferencia Objeto de conferencia
author	Mac Donnell, Patricio Aguirre, Nazareno Matías
author_facet	Mac Donnell, Patricio Aguirre, Nazareno Matías
author_sort	Mac Donnell, Patricio
title	Usando el ambiente Maude para la demostración semi-automática de teoremas en lógica temporal lineal de primer orden
title_short	Usando el ambiente Maude para la demostración semi-automática de teoremas en lógica temporal lineal de primer orden
title_full	Usando el ambiente Maude para la demostración semi-automática de teoremas en lógica temporal lineal de primer orden
title_fullStr	Usando el ambiente Maude para la demostración semi-automática de teoremas en lógica temporal lineal de primer orden
title_full_unstemmed	Usando el ambiente Maude para la demostración semi-automática de teoremas en lógica temporal lineal de primer orden
title_sort	usando el ambiente maude para la demostración semi-automática de teoremas en lógica temporal lineal de primer orden
publishDate	2005
url	http://sedici.unlp.edu.ar/handle/10915/23074
work_keys_str_mv	AT macdonnellpatricio usandoelambientemaudeparalademostracionsemiautomaticadeteoremasenlogicatemporallinealdeprimerorden AT aguirrenazarenomatias usandoelambientemaudeparalademostracionsemiautomaticadeteoremasenlogicatemporallinealdeprimerorden
bdutipo_str	Repositorios
_version_	1764820468089487363

Usando el ambiente Maude para la demostración semi-automática de teoremas en lógica temporal lineal de primer orden

Ejemplares similares