On the formal semantics of IF-like logics
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 th...
Guardado en:
Autores principales: | , |
---|---|
Publicado: |
2010
|
Materias: | |
Acceso en línea: | https://bibliotecadigital.exactas.uba.ar/collection/paper/document/paper_00220000_v76_n5_p333_Figueira http://hdl.handle.net/20.500.12110/paper_00220000_v76_n5_p333_Figueira |
Aporte de: |
id |
paper:paper_00220000_v76_n5_p333_Figueira |
---|---|
record_format |
dspace |
spelling |
paper:paper_00220000_v76_n5_p333_Figueira2023-06-08T14:45:02Z On the formal semantics of IF-like logics Figueira, Santiago Daniel Gorín, Daniel Alejandro Compositional semantics Flattening operator Full abstraction Independence friendly logic Regular formulas Signaling Valuation Bound variables Classical logic Compositional semantics Flattening operator Formal Semantics Full abstraction Abstracting Formal methods Game theory Signaling Semantics 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. © 2009 Elsevier Inc. All rights reserved. Fil:Figueira, S. Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales; Argentina. Fil:Gorín, D. Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales; Argentina. 2010 https://bibliotecadigital.exactas.uba.ar/collection/paper/document/paper_00220000_v76_n5_p333_Figueira http://hdl.handle.net/20.500.12110/paper_00220000_v76_n5_p333_Figueira |
institution |
Universidad de Buenos Aires |
institution_str |
I-28 |
repository_str |
R-134 |
collection |
Biblioteca Digital - Facultad de Ciencias Exactas y Naturales (UBA) |
topic |
Compositional semantics Flattening operator Full abstraction Independence friendly logic Regular formulas Signaling Valuation Bound variables Classical logic Compositional semantics Flattening operator Formal Semantics Full abstraction Abstracting Formal methods Game theory Signaling Semantics |
spellingShingle |
Compositional semantics Flattening operator Full abstraction Independence friendly logic Regular formulas Signaling Valuation Bound variables Classical logic Compositional semantics Flattening operator Formal Semantics Full abstraction Abstracting Formal methods Game theory Signaling Semantics Figueira, Santiago Daniel Gorín, Daniel Alejandro On the formal semantics of IF-like logics |
topic_facet |
Compositional semantics Flattening operator Full abstraction Independence friendly logic Regular formulas Signaling Valuation Bound variables Classical logic Compositional semantics Flattening operator Formal Semantics Full abstraction Abstracting Formal methods Game theory Signaling Semantics |
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. © 2009 Elsevier Inc. All rights reserved. |
author |
Figueira, Santiago Daniel Gorín, Daniel Alejandro |
author_facet |
Figueira, Santiago Daniel Gorín, Daniel Alejandro |
author_sort |
Figueira, Santiago Daniel |
title |
On the formal semantics of IF-like logics |
title_short |
On the formal semantics of IF-like logics |
title_full |
On the formal semantics of IF-like logics |
title_fullStr |
On the formal semantics of IF-like logics |
title_full_unstemmed |
On the formal semantics of IF-like logics |
title_sort |
on the formal semantics of if-like logics |
publishDate |
2010 |
url |
https://bibliotecadigital.exactas.uba.ar/collection/paper/document/paper_00220000_v76_n5_p333_Figueira http://hdl.handle.net/20.500.12110/paper_00220000_v76_n5_p333_Figueira |
work_keys_str_mv |
AT figueirasantiagodaniel ontheformalsemanticsofiflikelogics AT gorindanielalejandro ontheformalsemanticsofiflikelogics |
_version_ |
1768544537189285888 |