Publicación:
Bilattice Logic Properly Displayed

Vista sencilla de ítem
dc.contributor.authorGreco, Giuseppe
dc.contributor.authorFei Liang,
dc.contributor.authorPalmigiano,Alessandra
dc.contributor.authorRivieccio, Umberto
dc.date.accessioned2024-12-02T12:53:25Z
dc.date.available2024-12-02T12:53:25Z
dc.date.issued2019-05-15
dc.descriptionEste es el manuscrito aceptado del artículo. La versión registrada fue publicada por primera vez en Fuzzy Sets and Systems, Volume 363, 2019, Pages 138-155, ISSN 0165-0114, está disponible en línea en el sitio web del editor: https://doi.org/10.1016/j.fss.2018.05.007 This is the accepted manuscript of the article. The copyrighted version was first published in Fuzzy Sets and Systems, Volume 363, 2019, Pages 138-155, ISSN 0165-0114, is available online at the publisher's website: https://doi.org/10.1016/ j.fss.2018.05.007
dc.description.abstractWe 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.en
dc.description.versionversión final
dc.identifier.citationGiuseppe Greco, Fei Liang, Alessandra Palmigiano, Umberto Rivieccio, Bilattice logic properly displayed, Fuzzy Sets and Systems, Volume 363, 2019, Pages 138-155, ISSN 0165-0114, https://doi.org/10.1016/j.fss.2018.05.007.
dc.identifier.doihttps://doi.org/10.1016/j.fss.2018.05.007
dc.identifier.issn0165-0114; e-ISSN: 1872-6801
dc.identifier.urihttps://hdl.handle.net/20.500.14468/24640
dc.journal.titleFuzzy Sets and Systems
dc.journal.volume363
dc.language.isoen
dc.page.final155
dc.page.initial138
dc.publisherElsevier
dc.relation.centerFacultades y escuelas::Facultad de Filosofía
dc.relation.departmentLógica, Historia y Filosofía de la Ciencia
dc.rightsinfo:eu-repo/semantics/openAccess
dc.rights.urihttp://creativecommons.org/licenses/by-nc-nd/4.0/deed.es
dc.subject11 Lógica
dc.subject.keywordsNon-classical logicses
dc.subject.keywordsbilattice logicen
dc.subject.keywordsmany-valued logicsen
dc.subject.keywordssubstructural logicsen
dc.subject.keywordsalgebraic proof theoryen
dc.subject.keywordssequent calculien
dc.subject.keywordscut eliminationen
dc.subject.keywordsdisplay calculien
dc.subject.keywordsmulti-type calculien
dc.titleBilattice Logic Properly Displayeden
dc.typeartículoes
dc.typejournal articleen
dspace.entity.typePublication
relation.isAuthorOfPublication78477d31-191f-4cbb-b9ff-32b8ec63d72b
relation.isAuthorOfPublication.latestForDiscovery78477d31-191f-4cbb-b9ff-32b8ec63d72b
Archivos
Bloque original
Mostrando 1 - 1 de 1
Miniatura
Nombre:
Rivieccio_Umberto_BilatticeLogic.pdf
Tamaño:
155.52 KB
Formato:
Adobe Portable Document Format
Descargar
Bloque de licencias
Mostrando 1 - 1 de 1
No hay miniatura disponible
Nombre:
license.txt
Tamaño:
3.62 KB
Formato:
Item-specific license agreed to upon submission
Descripción:
Descargar
Colecciones
Artículos y papers