Bilattice Logic Properly Displayed

We introduce a proper multi-type display calculus for bilattice logic (with conflation) for which we prove soundness, completeness, conservativity, standard subformula property and cut elimination. Our proposal builds on the product representation of bilattices and applies the guidelines of the mult...

Descripción completa

Detalles Bibliográficos
Autores: Greco, Giuseppe, Fei Liang,, Palmigiano,Alessandra, Rivieccio, Umberto
Tipo de recurso: artículo
Fecha de publicación:2019
País:España
Institución:Universidad Nacional de Educación a Distancia
Repositorio:e-spacio. Repositorio Institucional de la UNED
Idioma:inglés
OAI Identifier:oai:e-spacio.uned.es:20.500.14468/24640
Acceso en línea:https://hdl.handle.net/20.500.14468/24640
Access Level:acceso abierto
Palabra clave:11 Lógica
Non-classical logics
bilattice logic
many-valued logics
substructural logics
algebraic proof theory
sequent calculi
cut elimination
display calculi
multi-type calculi
id ES_d00b39a36146f6185a2530a0f9eda67f
oai_identifier_str oai:e-spacio.uned.es:20.500.14468/24640
network_acronym_str ES
network_name_str España
repository_id_str
spelling Bilattice Logic Properly DisplayedGreco, GiuseppeFei Liang,Palmigiano,AlessandraRivieccio, Umberto11 LógicaNon-classical logicsbilattice logicmany-valued logicssubstructural logicsalgebraic proof theorysequent calculicut eliminationdisplay calculimulti-type calculiWe introduce a proper multi-type display calculus for bilattice logic (with conflation) for which we prove soundness, completeness, conservativity, standard subformula property and cut elimination. Our proposal builds on the product representation of bilattices and applies the guidelines of the multi-type methodology in the design of display calculi.Elseviere-Spacio UNED20242024-12-0220192019-05-1520192019-05-15journal articlehttp://purl.org/coar/resource_type/c_6501info:eu-repo/semantics/articleapplication/pdfhttps://hdl.handle.net/20.500.14468/24640reponame:e-spacio. Repositorio Institucional de la UNEDinstname:Universidad Nacional de Educación a DistanciaInglésengopen accesshttp://purl.org/coar/access_right/c_abf2info:eu-repo/semantics/openAccesshttp://creativecommons.org/licenses/by-nc-nd/4.0/deed.esoai:e-spacio.uned.es:20.500.14468/246402026-06-06T12:38:31Z
dc.title.none.fl_str_mv Bilattice Logic Properly Displayed
title Bilattice Logic Properly Displayed
spellingShingle Bilattice Logic Properly Displayed
Greco, Giuseppe
11 Lógica
Non-classical logics
bilattice logic
many-valued logics
substructural logics
algebraic proof theory
sequent calculi
cut elimination
display calculi
multi-type calculi
title_short Bilattice Logic Properly Displayed
title_full Bilattice Logic Properly Displayed
title_fullStr Bilattice Logic Properly Displayed
title_full_unstemmed Bilattice Logic Properly Displayed
title_sort Bilattice Logic Properly Displayed
dc.creator.none.fl_str_mv Greco, Giuseppe
Fei Liang,
Palmigiano,Alessandra
Rivieccio, Umberto
author Greco, Giuseppe
author_facet Greco, Giuseppe
Fei Liang,
Palmigiano,Alessandra
Rivieccio, Umberto
author_role author
author2 Fei Liang,
Palmigiano,Alessandra
Rivieccio, Umberto
author2_role author
author
author
dc.contributor.none.fl_str_mv e-Spacio UNED
dc.subject.none.fl_str_mv 11 Lógica
Non-classical logics
bilattice logic
many-valued logics
substructural logics
algebraic proof theory
sequent calculi
cut elimination
display calculi
multi-type calculi
topic 11 Lógica
Non-classical logics
bilattice logic
many-valued logics
substructural logics
algebraic proof theory
sequent calculi
cut elimination
display calculi
multi-type calculi
description We introduce a proper multi-type display calculus for bilattice logic (with conflation) for which we prove soundness, completeness, conservativity, standard subformula property and cut elimination. Our proposal builds on the product representation of bilattices and applies the guidelines of the multi-type methodology in the design of display calculi.
publishDate 2019
dc.date.none.fl_str_mv 2019
2019-05-15
2019
2019-05-15
2024
2024-12-02
dc.type.none.fl_str_mv journal article
http://purl.org/coar/resource_type/c_6501
dc.type.openaire.fl_str_mv info:eu-repo/semantics/article
format article
dc.identifier.none.fl_str_mv https://hdl.handle.net/20.500.14468/24640
url https://hdl.handle.net/20.500.14468/24640
dc.language.none.fl_str_mv Inglés
eng
language_invalid_str_mv Inglés
language eng
dc.rights.none.fl_str_mv open access
http://purl.org/coar/access_right/c_abf2
info:eu-repo/semantics/openAccess
http://creativecommons.org/licenses/by-nc-nd/4.0/deed.es
rights_invalid_str_mv open access
http://purl.org/coar/access_right/c_abf2
http://creativecommons.org/licenses/by-nc-nd/4.0/deed.es
eu_rights_str_mv openAccess
dc.format.none.fl_str_mv application/pdf
dc.publisher.none.fl_str_mv Elsevier
publisher.none.fl_str_mv Elsevier
dc.source.none.fl_str_mv reponame:e-spacio. Repositorio Institucional de la UNED
instname:Universidad Nacional de Educación a Distancia
instname_str Universidad Nacional de Educación a Distancia
reponame_str e-spacio. Repositorio Institucional de la UNED
collection e-spacio. Repositorio Institucional de la UNED
repository.name.fl_str_mv
repository.mail.fl_str_mv
_version_ 1869420137688334336
score 15,812455

Similares en LA Referencia