INVESTIGADORES
FIGUEIRA Santiago
artículos
Título:
Independence friendly logic with classical negation via flattening is a second-order logic with weak dependencies
Autor/es:
SANTIAGO FIGUEIRA; DANIEL GORÍN; RAFAEL GRIMSON
Revista:
JOURNAL OF COMPUTER AND SYSTEM SCIENCES
Editorial:
ACADEMIC PRESS INC ELSEVIER SCIENCE
Referencias:
Lugar: Amsterdam; Año: 2014 vol. 80 p. 1102 - 1118
ISSN:
0022-0000
Resumen:
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 Information Friendly (IFL) logics. In this work we propose an alternative formalization under which invariance with respect the renaming of bound variables is restored. We show that, when one restricts to formulas where each variable is bound only once, our semantics coincide with those previously used in the literature. We also prove basic metatheoretical results of the resulting logic, such as compositionality and truth preserving operations on valuations. We work on Hodges´ slash logic (from which results can be easily transferred to other IFL-like logics) and we also consider his flattening operator, for which we give a game-theoretical semantics.