A semantic analysis of some distributive logics with negation

Autores
Celani, Sergio Arturo
Año de publicación
2013
Idioma
inglés
Tipo de recurso
artículo
Estado
versión publicada
Descripción
In this paper we shall study some extensions of the semilattice based deductive systems S (N) and S (N, 1), where N is the variety of bounded distributive lattices with a negation operator. We shall prove that S (N) and S (N, 1) are the deductive systems generated by the local consequence relation and the global consequence relation associated with ¬-frames, respectively. Using algebraic and relational methods we will prove that S (N) and some of its extensions are canonical and frame complete.
Fil: Celani, Sergio Arturo. Universidad Nacional del Centro de la Provincia de Buenos Aires.facultad de Ciencias Exactas; Argentina
Materia
Distributive Logics
Negation
Kripke Semantics
Lattices
Nivel de accesibilidad
acceso abierto
Condiciones de uso
https://creativecommons.org/licenses/by-nc-sa/2.5/ar/
Repositorio
CONICET Digital (CONICET)
Institución
Consejo Nacional de Investigaciones Científicas y Técnicas
OAI Identificador
oai:ri.conicet.gov.ar:11336/7071
Acceder
id CONICETDig_5741567cc49d072e7cc72e15c11fafd6
oai_identifier_str oai:ri.conicet.gov.ar:11336/7071
network_acronym_str CONICETDig
repository_id_str 3498
network_name_str CONICET Digital (CONICET)
spelling A semantic analysis of some distributive logics with negationCelani, Sergio ArturoDistributive LogicsNegationKripke SemanticsLatticeshttps://purl.org/becyt/ford/1.1https://purl.org/becyt/ford/1In this paper we shall study some extensions of the semilattice based deductive systems S (N) and S (N, 1), where N is the variety of bounded distributive lattices with a negation operator. We shall prove that S (N) and S (N, 1) are the deductive systems generated by the local consequence relation and the global consequence relation associated with ¬-frames, respectively. Using algebraic and relational methods we will prove that S (N) and some of its extensions are canonical and frame complete.Fil: Celani, Sergio Arturo. Universidad Nacional del Centro de la Provincia de Buenos Aires.facultad de Ciencias Exactas; ArgentinaJagiellonian University2013-10info:eu-repo/semantics/articleinfo:eu-repo/semantics/publishedVersionhttp://purl.org/coar/resource_type/c_6501info:ar-repo/semantics/articuloapplication/pdfapplication/pdfhttp://hdl.handle.net/11336/7071Celani, Sergio Arturo; A semantic analysis of some distributive logics with negation; Jagiellonian University; Reports on Mathematical Logic; 48; 10-2013; 79-980137-2904enginfo:eu-repo/semantics/altIdentifier/url/http://www.ejournals.eu/rml/2013/Number-48/art/1775/info:eu-repo/semantics/altIdentifier/url/http://rml.tcs.uj.edu.pl/rml-48/4-celani.pdfinfo:eu-repo/semantics/altIdentifier/doi/10.4467/20842589RM.13.004.1256info:eu-repo/semantics/altIdentifier/doi/info:eu-repo/semantics/openAccesshttps://creativecommons.org/licenses/by-nc-sa/2.5/ar/reponame:CONICET Digital (CONICET)instname:Consejo Nacional de Investigaciones Científicas y Técnicas2025-11-05T09:35:59Zoai:ri.conicet.gov.ar:11336/7071instacron:CONICETInstitucionalhttp://ri.conicet.gov.ar/Organismo científico-tecnológicoNo correspondehttp://ri.conicet.gov.ar/oai/requestdasensio@conicet.gov.ar; lcarlino@conicet.gov.arArgentinaNo correspondeNo correspondeNo correspondeopendoar:34982025-11-05 09:35:59.717CONICET Digital (CONICET) - Consejo Nacional de Investigaciones Científicas y Técnicasfalse
dc.title.none.fl_str_mv A semantic analysis of some distributive logics with negation
title A semantic analysis of some distributive logics with negation
spellingShingle A semantic analysis of some distributive logics with negation
Celani, Sergio Arturo
Distributive Logics
Negation
Kripke Semantics
Lattices
title_short A semantic analysis of some distributive logics with negation
title_full A semantic analysis of some distributive logics with negation
title_fullStr A semantic analysis of some distributive logics with negation
title_full_unstemmed A semantic analysis of some distributive logics with negation
title_sort A semantic analysis of some distributive logics with negation
dc.creator.none.fl_str_mv Celani, Sergio Arturo
author Celani, Sergio Arturo
author_facet Celani, Sergio Arturo
author_role author
dc.subject.none.fl_str_mv Distributive Logics
Negation
Kripke Semantics
Lattices
topic Distributive Logics
Negation
Kripke Semantics
Lattices
purl_subject.fl_str_mv https://purl.org/becyt/ford/1.1
https://purl.org/becyt/ford/1
dc.description.none.fl_txt_mv In this paper we shall study some extensions of the semilattice based deductive systems S (N) and S (N, 1), where N is the variety of bounded distributive lattices with a negation operator. We shall prove that S (N) and S (N, 1) are the deductive systems generated by the local consequence relation and the global consequence relation associated with ¬-frames, respectively. Using algebraic and relational methods we will prove that S (N) and some of its extensions are canonical and frame complete.
Fil: Celani, Sergio Arturo. Universidad Nacional del Centro de la Provincia de Buenos Aires.facultad de Ciencias Exactas; Argentina
description In this paper we shall study some extensions of the semilattice based deductive systems S (N) and S (N, 1), where N is the variety of bounded distributive lattices with a negation operator. We shall prove that S (N) and S (N, 1) are the deductive systems generated by the local consequence relation and the global consequence relation associated with ¬-frames, respectively. Using algebraic and relational methods we will prove that S (N) and some of its extensions are canonical and frame complete.
publishDate 2013
dc.date.none.fl_str_mv 2013-10
dc.type.none.fl_str_mv info:eu-repo/semantics/article
info:eu-repo/semantics/publishedVersion
http://purl.org/coar/resource_type/c_6501
info:ar-repo/semantics/articulo
format article
status_str publishedVersion
dc.identifier.none.fl_str_mv http://hdl.handle.net/11336/7071
Celani, Sergio Arturo; A semantic analysis of some distributive logics with negation; Jagiellonian University; Reports on Mathematical Logic; 48; 10-2013; 79-98
0137-2904
url http://hdl.handle.net/11336/7071
identifier_str_mv Celani, Sergio Arturo; A semantic analysis of some distributive logics with negation; Jagiellonian University; Reports on Mathematical Logic; 48; 10-2013; 79-98
0137-2904
dc.language.none.fl_str_mv eng
language eng
dc.relation.none.fl_str_mv info:eu-repo/semantics/altIdentifier/url/http://www.ejournals.eu/rml/2013/Number-48/art/1775/
info:eu-repo/semantics/altIdentifier/url/http://rml.tcs.uj.edu.pl/rml-48/4-celani.pdf
info:eu-repo/semantics/altIdentifier/doi/10.4467/20842589RM.13.004.1256
info:eu-repo/semantics/altIdentifier/doi/
dc.rights.none.fl_str_mv info:eu-repo/semantics/openAccess
https://creativecommons.org/licenses/by-nc-sa/2.5/ar/
eu_rights_str_mv openAccess
rights_invalid_str_mv https://creativecommons.org/licenses/by-nc-sa/2.5/ar/
dc.format.none.fl_str_mv application/pdf
application/pdf
dc.publisher.none.fl_str_mv Jagiellonian University
publisher.none.fl_str_mv Jagiellonian University
dc.source.none.fl_str_mv reponame:CONICET Digital (CONICET)
instname:Consejo Nacional de Investigaciones Científicas y Técnicas
reponame_str CONICET Digital (CONICET)
collection CONICET Digital (CONICET)
instname_str Consejo Nacional de Investigaciones Científicas y Técnicas
repository.name.fl_str_mv CONICET Digital (CONICET) - Consejo Nacional de Investigaciones Científicas y Técnicas
repository.mail.fl_str_mv dasensio@conicet.gov.ar; lcarlino@conicet.gov.ar
_version_ 1847976798924570624
score 13.087074

Publicaciones similares