Pure Refined Variable Inclusion Logics

Autores
Szmuc, Damián Enrique; Rubin, Mariela
Año de publicación
2022
Idioma
inglés
Tipo de recurso
artículo
Estado
versión publicada
Descripción
In this article, we explore the semantic characterization of the (right) pure refined variable inclusion companion of all logics, which is a further refinement of the nowadays well-studied pure right variable inclusion logics. In particular, we will focus on giving a characterization of these fragments via a single logical matrix, when possible, and via a class of finite matrices, otherwise. In order to achieve this, we will rely on extending the semantics of the logics whose companions we will be discussing with infectious values in direct and in more subtle ways. This further establishes the connection between infectious logics and variable inclusion logics.
Fil: Szmuc, Damián Enrique. Consejo Nacional de Investigaciones Científicas y Técnicas. Oficina de Coordinación Administrativa Parque Centenario. Instituto de Investigaciones Filosóficas. - Sociedad Argentina de Análisis Filosófico. Instituto de Investigaciones Filosóficas; Argentina
Fil: Rubin, Mariela. Consejo Nacional de Investigaciones Científicas y Técnicas. Oficina de Coordinación Administrativa Parque Centenario. Instituto de Investigaciones Filosóficas. - Sociedad Argentina de Análisis Filosófico. Instituto de Investigaciones Filosóficas; Argentina
Materia
VARIABLE INCLUSION
PURE REFINED FRAGMENTS
MATRIX BUNDLE
LOGICAL MATRIX
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/202683
Acceder
id CONICETDig_b21b6755109fbd19c2c2d02c3444c46f
oai_identifier_str oai:ri.conicet.gov.ar:11336/202683
network_acronym_str CONICETDig
repository_id_str 3498
network_name_str CONICET Digital (CONICET)
spelling Pure Refined Variable Inclusion LogicsSzmuc, Damián EnriqueRubin, MarielaVARIABLE INCLUSIONPURE REFINED FRAGMENTSMATRIX BUNDLELOGICAL MATRIXhttps://purl.org/becyt/ford/6.3https://purl.org/becyt/ford/6In this article, we explore the semantic characterization of the (right) pure refined variable inclusion companion of all logics, which is a further refinement of the nowadays well-studied pure right variable inclusion logics. In particular, we will focus on giving a characterization of these fragments via a single logical matrix, when possible, and via a class of finite matrices, otherwise. In order to achieve this, we will rely on extending the semantics of the logics whose companions we will be discussing with infectious values in direct and in more subtle ways. This further establishes the connection between infectious logics and variable inclusion logics.Fil: Szmuc, Damián Enrique. Consejo Nacional de Investigaciones Científicas y Técnicas. Oficina de Coordinación Administrativa Parque Centenario. Instituto de Investigaciones Filosóficas. - Sociedad Argentina de Análisis Filosófico. Instituto de Investigaciones Filosóficas; ArgentinaFil: Rubin, Mariela. Consejo Nacional de Investigaciones Científicas y Técnicas. Oficina de Coordinación Administrativa Parque Centenario. Instituto de Investigaciones Filosóficas. - Sociedad Argentina de Análisis Filosófico. Instituto de Investigaciones Filosóficas; ArgentinaVictoria University of Wellington2022-12info: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/202683Szmuc, Damián Enrique; Rubin, Mariela; Pure Refined Variable Inclusion Logics; Victoria University of Wellington; The Australasian Journal of Logic; 19; 5; 12-2022; 147-1661448-5052CONICET DigitalCONICETenginfo:eu-repo/semantics/altIdentifier/url/https://ojs.victoria.ac.nz/ajl/article/view/7991info:eu-repo/semantics/altIdentifier/doi/10.26686/ajl.v19i5.7991info: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-09-29T10:11:09Zoai:ri.conicet.gov.ar:11336/202683instacron: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-09-29 10:11:09.766CONICET Digital (CONICET) - Consejo Nacional de Investigaciones Científicas y Técnicasfalse
dc.title.none.fl_str_mv Pure Refined Variable Inclusion Logics
title Pure Refined Variable Inclusion Logics
spellingShingle Pure Refined Variable Inclusion Logics
Szmuc, Damián Enrique
VARIABLE INCLUSION
PURE REFINED FRAGMENTS
MATRIX BUNDLE
LOGICAL MATRIX
title_short Pure Refined Variable Inclusion Logics
title_full Pure Refined Variable Inclusion Logics
title_fullStr Pure Refined Variable Inclusion Logics
title_full_unstemmed Pure Refined Variable Inclusion Logics
title_sort Pure Refined Variable Inclusion Logics
dc.creator.none.fl_str_mv Szmuc, Damián Enrique
Rubin, Mariela
author Szmuc, Damián Enrique
author_facet Szmuc, Damián Enrique
Rubin, Mariela
author_role author
author2 Rubin, Mariela
author2_role author
dc.subject.none.fl_str_mv VARIABLE INCLUSION
PURE REFINED FRAGMENTS
MATRIX BUNDLE
LOGICAL MATRIX
topic VARIABLE INCLUSION
PURE REFINED FRAGMENTS
MATRIX BUNDLE
LOGICAL MATRIX
purl_subject.fl_str_mv https://purl.org/becyt/ford/6.3
https://purl.org/becyt/ford/6
dc.description.none.fl_txt_mv In this article, we explore the semantic characterization of the (right) pure refined variable inclusion companion of all logics, which is a further refinement of the nowadays well-studied pure right variable inclusion logics. In particular, we will focus on giving a characterization of these fragments via a single logical matrix, when possible, and via a class of finite matrices, otherwise. In order to achieve this, we will rely on extending the semantics of the logics whose companions we will be discussing with infectious values in direct and in more subtle ways. This further establishes the connection between infectious logics and variable inclusion logics.
Fil: Szmuc, Damián Enrique. Consejo Nacional de Investigaciones Científicas y Técnicas. Oficina de Coordinación Administrativa Parque Centenario. Instituto de Investigaciones Filosóficas. - Sociedad Argentina de Análisis Filosófico. Instituto de Investigaciones Filosóficas; Argentina
Fil: Rubin, Mariela. Consejo Nacional de Investigaciones Científicas y Técnicas. Oficina de Coordinación Administrativa Parque Centenario. Instituto de Investigaciones Filosóficas. - Sociedad Argentina de Análisis Filosófico. Instituto de Investigaciones Filosóficas; Argentina
description In this article, we explore the semantic characterization of the (right) pure refined variable inclusion companion of all logics, which is a further refinement of the nowadays well-studied pure right variable inclusion logics. In particular, we will focus on giving a characterization of these fragments via a single logical matrix, when possible, and via a class of finite matrices, otherwise. In order to achieve this, we will rely on extending the semantics of the logics whose companions we will be discussing with infectious values in direct and in more subtle ways. This further establishes the connection between infectious logics and variable inclusion logics.
publishDate 2022
dc.date.none.fl_str_mv 2022-12
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/202683
Szmuc, Damián Enrique; Rubin, Mariela; Pure Refined Variable Inclusion Logics; Victoria University of Wellington; The Australasian Journal of Logic; 19; 5; 12-2022; 147-166
1448-5052
CONICET Digital
CONICET
url http://hdl.handle.net/11336/202683
identifier_str_mv Szmuc, Damián Enrique; Rubin, Mariela; Pure Refined Variable Inclusion Logics; Victoria University of Wellington; The Australasian Journal of Logic; 19; 5; 12-2022; 147-166
1448-5052
CONICET Digital
CONICET
dc.language.none.fl_str_mv eng
language eng
dc.relation.none.fl_str_mv info:eu-repo/semantics/altIdentifier/url/https://ojs.victoria.ac.nz/ajl/article/view/7991
info:eu-repo/semantics/altIdentifier/doi/10.26686/ajl.v19i5.7991
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 Victoria University of Wellington
publisher.none.fl_str_mv Victoria University of Wellington
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_ 1844614007704518656
score 13.069144

Publicaciones similares