IMAL 13325
INSTITUTO DE MATEMATICA APLICADA DEL LITORAL "DRA. ELEONOR HARBOURE"
Unidad Ejecutora - UE
congresos y reuniones científicas
Título:
Robinson Consistency Property for Lukasiewicz proppositional logic
Autor/es:
MANUELA BUSANICHE
Lugar:
Buenos Aires, Argentina
Reunión:
Congreso; Conference on Logic, Computability and Randomness; 2007
Institución organizadora:
FCEyN, Universidad de Buenos Aires
Resumen:
We provide a proof od the Robinson Consistency property for Lukasiewicz propositional logci. As a corollary we obtain a nwe proof of the amalgamation property for MV-algebras. We make use of geometric tools naturally arising from the rich theory of MV-algebras, such as McNaughton representation of free MV-algebras, unimodular triangulations of the n-cube and the classification of spectral spaces of free MV-algebras via bases in the Euclidean space.
