Registro completo de metadatos
| Campo DC | Valor | Lengua/Idioma |
|---|---|---|
| dc.creator | Figueira, Santiago | - |
| dc.creator | Gorin, Daniel Alejadro | - |
| dc.creator | Grimson, Rafael | - |
| dc.date | 2017-05-16T16:02:03Z | - |
| dc.date | 2017-05-16T16:02:03Z | - |
| dc.date | 2010-08 | - |
| dc.date | 2017-05-15T21:09:01Z | - |
| dc.date.accessioned | 2019-04-29T15:50:05Z | - |
| dc.date.available | 2019-04-29T15:50:05Z | - |
| dc.date.issued | 2010-08 | - |
| dc.identifier | Figueira, Santiago; Gorin, Daniel Alejadro; Grimson, Rafael; On the formal semantics of IF-like logics; Elsevier Inc; Journal Of Computer And System Sciences; 76; 5; 8-2010; 333-346 | - |
| dc.identifier | 0022-0000 | - |
| dc.identifier | http://hdl.handle.net/11336/16536 | - |
| dc.identifier.uri | http://rodna.bn.gov.ar:8080/jspui/handle/bnmm/303277 | - |
| dc.description | In classical logics, the meaning of a formula is invariant with respect to the renaming of bound variables. This property, normally taken for granted, has been shown not to hold in the case of Independence Friendly (IF) logics. In this paper we argue that this is not an inherent characteristic of these logics but a defect in the way in which the compositional semantics given by Hodges for the regular fragment was generalized to arbitrary formulas. We fix this by proposing an alternative formalization, based on a variation of the classical notion of valuation. Basic metatheoretical results are proven. We present these results for Hodges’ slash logic (from which these can be easily transferred to other IF-like logics) and we also consider the flattening operator, for which we give novel game-theoretical semantics. | - |
| dc.description | Fil: Figueira, Santiago. Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales. Departamento de Computación; Argentina. Consejo Nacional de Investigaciones Científicas y Técnicas; Argentina | - |
| dc.description | Fil: Gorin, Daniel Alejadro. Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales. Departamento de Computación; Argentina. Consejo Nacional de Investigaciones Científicas y Técnicas; Argentina | - |
| dc.description | Fil: Grimson, Rafael. Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales. Departamento de Matemática; Argentina. Hasselt University; Bélgica. Consejo Nacional de Investigaciones Científicas y Técnicas; Argentina | - |
| dc.format | application/pdf | - |
| dc.format | application/pdf | - |
| dc.format | application/pdf | - |
| dc.format | application/pdf | - |
| dc.language | eng | - |
| dc.publisher | Elsevier Inc | - |
| dc.relation | info:eu-repo/semantics/altIdentifier/doi/http://dx.doi.org/10.1016/j.jcss.2009.10.006 | - |
| dc.relation | info:eu-repo/semantics/altIdentifier/url/http://www.sciencedirect.com/science/article/pii/S0022000009000956?via%3Dihub | - |
| dc.rights | info:eu-repo/semantics/restrictedAccess | - |
| dc.rights | https://creativecommons.org/licenses/by-nc-nd/2.5/ar/ | - |
| dc.source | reponame:CONICET Digital (CONICET) | - |
| dc.source | instname:Consejo Nacional de Investigaciones Científicas y Técnicas | - |
| dc.source | instacron:CONICET | - |
| dc.subject | INFORMATION FRIENDLY LOGIC | - |
| dc.subject | REGULAR FORMULAS | - |
| dc.subject | SIGNALING | - |
| dc.subject | COMPOSITIONAL SEMANTICS | - |
| dc.subject | Otras Matemáticas | - |
| dc.subject | Matemáticas | - |
| dc.subject | CIENCIAS NATURALES Y EXACTAS | - |
| dc.title | On the formal semantics of IF-like logics | - |
| dc.type | info:eu-repo/semantics/article | - |
| dc.type | info:eu-repo/semantics/publishedVersion | - |
| dc.type | info:ar-repo/semantics/articulo | - |
| Aparece en las colecciones: | CONICET | |
Ficheros en este ítem:
No hay ficheros asociados a este ítem.