On the formal semantics of IF-like logics

Mostrar todas las versiones(5)

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 (IF) logics. In this work we propose an alternative formalization under which invarian...

Descripción completa

Guardado en:
Detalles Bibliográficos
Autores principales: Figueira, S., Gorín, D., Grimson, R.
Formato: SER
Materias:
Canning
Game theory
Information theory
Linguistics
Semantics
Bound variables
Classical logics
Compositionality
Formal Semantics
Heidelberg (CO)
International (CO)
Fuzzy logic
Acceso en línea:http://hdl.handle.net/20.500.12110/paper_03029743_v5110LNAI_n_p164_Figueira
Aporte de:
Biblioteca Digital - Facultad de Ciencias Exactas y Naturales (UBA) de Universidad de Buenos Aires

Ejemplares similares

Ejemplares similares