ICC 25427
INSTITUTO DE INVESTIGACION EN CIENCIAS DE LA COMPUTACION
Unidad Ejecutora - UE
congresos y reuniones científicas
Título:
A representation theorem for finite Gödel algebras with operators
Autor/es:
LLUIS GODO; TOMMASO FLAMINIO; RICARDO O. RODRIGUEZ
Lugar:
Praga
Reunión:
Conferencia; EUSFLAT 2019; 2019
Institución organizadora:
Universidad de Ostrova
Resumen:
In this paper we introduce and study nite Godel algebraswith operators (GAOs for short) and their dual frames. Taking into accountthat the category of nite Godel algebras is dually equivalent to thecategory of nite forests, the dual relational frames of GAOs are forestframes: nite forests endowed with two binary (crisp) relations satisfyingsuitable properties. Our main result is a Jonsson-Tarski like representationtheorem for these structures. In particular we show that every niteGodel algebra with operators determines a unique forest frame whoseset of subforests, endowed with suitably dened algebraic and modaloperators, is a GAO isomorphic to the original one.
