The logic of equilibrium and abelian lattice ordered groups

We introduce a deductive system Bal which models the logic of balance of opposing forces or of balance between conflicting evidence or influences. ‘‘Truth values’’ are interpreted as deviations from a state of equilibrium, so in this sense, the theorems of Bal are to be interpreted as balanced state...

Descripción completa

Guardado en:
Detalles Bibliográficos
Autores principales: Galli, Adriana Claudia, Lewin, Renato A., Sagastume, Marta Susana
Formato: Articulo
Lenguaje:Inglés
Publicado: 2004
Materias:
Matemática
Acceso en línea:http://sedici.unlp.edu.ar/handle/10915/136013
Aporte de:
SEDICI (UNLP) de Universidad Nacional de La Plata
id I19-R120-10915-136013
record_format dspace
institution Universidad Nacional de La Plata
institution_str I-19
repository_str R-120
collection SEDICI (UNLP)
language Inglés
topic Matemática
spellingShingle Matemática
Galli, Adriana Claudia
Lewin, Renato A.
Sagastume, Marta Susana
The logic of equilibrium and abelian lattice ordered groups
topic_facet Matemática
description We introduce a deductive system Bal which models the logic of balance of opposing forces or of balance between conflicting evidence or influences. ‘‘Truth values’’ are interpreted as deviations from a state of equilibrium, so in this sense, the theorems of Bal are to be interpreted as balanced statements, for which reason there is only one distinguished truth value, namely the one that represents equilibrium. The main results are that the system Bal is algebraizable in the sense of [5] and its equivalent algebraic semantics BAL is definitionally equivalent to the variety of abelian lattice ordered groups, that is, the categories of the algebras in BAL and of l–groups are isomorphic (see [10], Ch.4, 4). We also prove the deduction theorem for Bal and we study different kinds of semantic consequence associated to Bal. Finally, we prove the co-NP-completeness of the tautology problem of Bal.
format Articulo
Articulo
author Galli, Adriana Claudia
Lewin, Renato A.
Sagastume, Marta Susana
author_facet Galli, Adriana Claudia
Lewin, Renato A.
Sagastume, Marta Susana
author_sort Galli, Adriana Claudia
title The logic of equilibrium and abelian lattice ordered groups
title_short The logic of equilibrium and abelian lattice ordered groups
title_full The logic of equilibrium and abelian lattice ordered groups
title_fullStr The logic of equilibrium and abelian lattice ordered groups
title_full_unstemmed The logic of equilibrium and abelian lattice ordered groups
title_sort logic of equilibrium and abelian lattice ordered groups
publishDate 2004
url http://sedici.unlp.edu.ar/handle/10915/136013
work_keys_str_mv AT galliadrianaclaudia thelogicofequilibriumandabelianlatticeorderedgroups
AT lewinrenatoa thelogicofequilibriumandabelianlatticeorderedgroups
AT sagastumemartasusana thelogicofequilibriumandabelianlatticeorderedgroups
AT galliadrianaclaudia logicofequilibriumandabelianlatticeorderedgroups
AT lewinrenatoa logicofequilibriumandabelianlatticeorderedgroups
AT sagastumemartasusana logicofequilibriumandabelianlatticeorderedgroups
bdutipo_str Repositorios
_version_ 1764820455988920322

Ejemplares similares