A strong completeness theorem for the gentzen systems associated with finite algebras

Preprint enviat per a la seva publicació en una revista científica: Journal of Applied Non-Classical Logics. 1999, vol. 9, issue 1, pp 9-36. [http://doi.org/10.1080/11663081.1999.10510956]

Detalles Bibliográficos
Autores: Gil, Àngel J., Rebagliato, Jordi, Verdú, B. (Buenaventura)
Tipo de recurso: artículo
Estado:Versión enviada para evaluación y publicación
Fecha de publicación:1996
País:España
Institución:Universidad de Barcelona
Repositorio:Dipòsit Digital de la UB
OAI Identifier:oai:diposit.ub.edu:2445/152101
Acceso en línea:https://hdl.handle.net/2445/152101
Access Level:acceso abierto
Palabra clave:Lògica matemàtica
Teoria de la prova
Universitat de Barcelona. Institut de Matemàtica
id ES_c998d4cd25f2bb6f50dbaf0fab1fffa2
oai_identifier_str oai:diposit.ub.edu:2445/152101
network_acronym_str ES
network_name_str España
repository_id_str
spelling A strong completeness theorem for the gentzen systems associated with finite algebrasGil, Àngel J.Rebagliato, JordiVerdú, B. (Buenaventura)Lògica matemàticaTeoria de la provaUniversitat de Barcelona. Institut de MatemàticaPreprint enviat per a la seva publicació en una revista científica: Journal of Applied Non-Classical Logics. 1999, vol. 9, issue 1, pp 9-36. [http://doi.org/10.1080/11663081.1999.10510956]In this paper we study consequence relations on the set of many sided sequents over a propositional language. We deal with the consequence relations axiomatized by the sequent calculi defined in [2] and associated with arbitrary finite algebras. These consequence relations are examples of what we call Gentzen systems. We define a semantics for these systems and prove a Strong Completeness Theorem, which is an extension of the Completeness Theorem for provable sequents stated in [2]. For the special case of the finite linear MV-algebras, the Strong Completeness Theorem was proved in [10], as a consequence of McNaughton's Theorem. The main tool to prove this result for arbitrary algebras is the deduction-detachment theorem for Gentzen systems.Universitat de Barcelona1996info:eu-repo/semantics/articleinfo:eu-repo/semantics/submittedVersionapplication/pdfhttps://hdl.handle.net/2445/152101Preprints de Matemàtiques - Mathematics Preprint Seriesreponame:Dipòsit Digital de la UBinstname:Universidad de BarcelonaInglésReproducció digital del document original en paper [CRAI Biblioteca de Matemàtiques i Informàtica - Dipòsit Departament CAIXA 37.13]Mathematics Preprint Series; 218(c) Àngel J. Gil, et al., 1996info:eu-repo/semantics/openAccessoai:diposit.ub.edu:2445/1521012026-05-27T06:46:51Z
dc.title.none.fl_str_mv A strong completeness theorem for the gentzen systems associated with finite algebras
title A strong completeness theorem for the gentzen systems associated with finite algebras
spellingShingle A strong completeness theorem for the gentzen systems associated with finite algebras
Gil, Àngel J.
Lògica matemàtica
Teoria de la prova
Universitat de Barcelona. Institut de Matemàtica
title_short A strong completeness theorem for the gentzen systems associated with finite algebras
title_full A strong completeness theorem for the gentzen systems associated with finite algebras
title_fullStr A strong completeness theorem for the gentzen systems associated with finite algebras
title_full_unstemmed A strong completeness theorem for the gentzen systems associated with finite algebras
title_sort A strong completeness theorem for the gentzen systems associated with finite algebras
dc.creator.none.fl_str_mv Gil, Àngel J.
Rebagliato, Jordi
Verdú, B. (Buenaventura)
author Gil, Àngel J.
author_facet Gil, Àngel J.
Rebagliato, Jordi
Verdú, B. (Buenaventura)
author_role author
author2 Rebagliato, Jordi
Verdú, B. (Buenaventura)
author2_role author
author
dc.subject.none.fl_str_mv Lògica matemàtica
Teoria de la prova
Universitat de Barcelona. Institut de Matemàtica
topic Lògica matemàtica
Teoria de la prova
Universitat de Barcelona. Institut de Matemàtica
description Preprint enviat per a la seva publicació en una revista científica: Journal of Applied Non-Classical Logics. 1999, vol. 9, issue 1, pp 9-36. [http://doi.org/10.1080/11663081.1999.10510956]
publishDate 1996
dc.date.none.fl_str_mv 1996
dc.type.none.fl_str_mv info:eu-repo/semantics/article
info:eu-repo/semantics/submittedVersion
format article
status_str submittedVersion
dc.identifier.none.fl_str_mv https://hdl.handle.net/2445/152101
url https://hdl.handle.net/2445/152101
dc.language.none.fl_str_mv Inglés
language_invalid_str_mv Inglés
dc.relation.none.fl_str_mv Reproducció digital del document original en paper [CRAI Biblioteca de Matemàtiques i Informàtica - Dipòsit Departament CAIXA 37.13]
Mathematics Preprint Series; 218
dc.rights.none.fl_str_mv (c) Àngel J. Gil, et al., 1996
info:eu-repo/semantics/openAccess
rights_invalid_str_mv (c) Àngel J. Gil, et al., 1996
eu_rights_str_mv openAccess
dc.format.none.fl_str_mv application/pdf
dc.publisher.none.fl_str_mv Universitat de Barcelona
publisher.none.fl_str_mv Universitat de Barcelona
dc.source.none.fl_str_mv Preprints de Matemàtiques - Mathematics Preprint Series
reponame:Dipòsit Digital de la UB
instname:Universidad de Barcelona
instname_str Universidad de Barcelona
reponame_str Dipòsit Digital de la UB
collection Dipòsit Digital de la UB
repository.name.fl_str_mv
repository.mail.fl_str_mv
_version_ 1869419384613634048
score 15.300719

Similares en LA Referencia