Mostrar el registro sencillo del ítem
Ponencia
Lógicas polivalentes y bases de Gröbner
dc.creator | Alonso Jiménez, José Antonio | es |
dc.date.accessioned | 2017-03-06T10:48:27Z | |
dc.date.available | 2017-03-06T10:48:27Z | |
dc.date.issued | 1987 | |
dc.identifier.citation | Alonso Jiménez, J.A. (1987). Lógicas polivalentes y bases de Gröbner. En V Congreso de Lenguajes Naturales y Lenguajes Formales, Villafranca del Penedés. | |
dc.identifier.uri | http://hdl.handle.net/11441/55342 | |
dc.description.abstract | El objetivo de la comunicación es presentar una aplicación de las bases de Gröbner a la demostración automática en lógicas proposicionales polivalentes. La estructura de la comunicación es la siguiente: En la sección 1, recordamos conceptos sintácticos y semánticos de las lógicas polivalentes. A continuación, reducimos el problema de la validez en lógicas polivalentes al de pertenencia a un ideal (sección 2) y al de cálculo de una base de Gröbner (sección 3). Finalmente, en la sección 4 damos algoritmos para resolver los anteriores problemas. | es |
dc.format | application/pdf | es |
dc.language.iso | spa | es |
dc.relation.ispartof | V Congreso de Lenguajes Naturales y Lenguajes Formales (1987). | |
dc.rights | Attribution-NonCommercial-NoDerivatives 4.0 Internacional | * |
dc.rights.uri | http://creativecommons.org/licenses/by-nc-nd/4.0/ | * |
dc.title | Lógicas polivalentes y bases de Gröbner | es |
dc.type | info:eu-repo/semantics/conferenceObject | es |
dcterms.identifier | https://ror.org/03yxnpp24 | |
dc.type.version | info:eu-repo/semantics/submittedVersion | es |
dc.rights.accessRights | info:eu-repo/semantics/openAccess | es |
dc.contributor.affiliation | Universidad de Sevilla. Departamento de Ciencias de la Computación e Inteligencia Artificial | es |
dc.contributor.affiliation | Universidad de Sevilla. Departamento de álgebra | es |
dc.contributor.group | Universidad de Sevilla. TIC137: Lógica, Computación e Ingeniería del Conocimiento | es |
dc.contributor.group | Universidad de Sevilla. FQM366: Álgebras de Semigrupos, Computación y Aplicaciones | es |
idus.format.extent | 11 p. | es |
dc.eventtitle | V Congreso de Lenguajes Naturales y Lenguajes Formales | es |
dc.eventinstitution | Villafranca del Penedés | es |
Ficheros | Tamaño | Formato | Ver | Descripción |
---|---|---|---|---|
Lógicas polivalentes y bases de ... | 127.3Kb | [PDF] | Ver/ | |