Optimización de la traducción funcional para lógicas modales

Díaz, Marcio Oscar

dc.contributor.advisor	Areces, Carlos Eduardo
dc.contributor.author	Díaz, Marcio Oscar
dc.date.accessioned	2023-09-18T14:11:45Z
dc.date.available	2023-09-18T14:11:45Z
dc.date.issued	2013-08-09
dc.identifier.uri	http://hdl.handle.net/11086/549061
dc.description	Tesis (Lic. en Cs. de la Computación)--Universidad Nacional de Córdoba, Facultad de Matemática, Astronomía y Física, 2013.	es
dc.description.abstract	En esta tesis estudiamos las traducciones funcionales que transforman fórmulas de lógica modal a lógica de primer orden con sorts. En trabajos previos se mostró que remover las anotaciones de sorts de las traducciones funcionales preserva satisfacibilidad. Investigamos el desempeño de SPASS, un demostrador de lógica de primer orden, al suministrarle fórmulas traducidas con y sin anotaciones de sorts. Concluimos que, para todas los casos testeados, remover sorts mejora el desempeño del demostrador.	es
dc.language.iso	spa	es
dc.rights	Attribution-NonCommercial-NoDerivatives 4.0 Internacional	*
dc.rights.uri	http://creativecommons.org/licenses/by-nc-nd/4.0/	*
dc.subject	Lógica matemática	es
dc.subject	Lógica modal	es
dc.subject	Lógica híbrida	es
dc.subject	Traducciones funcionales	es
dc.subject	Lógica de primer orden	es
dc.subject	Demostrador de teoremas	es
dc.subject	Mathematical logic	en
dc.title	Optimización de la traducción funcional para lógicas modales	es
dc.type	bachelorThesis	es
dc.description.fil	Fil: Díaz, Marcio Oscar. Universidad Nacional de Córdoba. Facultad de Matemática, Astronomía y Física; Argentina.	es