| Título: | Geometry of Robinson joint consistency in Lukasiewicz logic |
| Autores: |
Manuela Busaniche; IMAL-CONICET-UNL D. Mundici |
| Fecha: | 2007-03-06 |
| Publicador: | Centro Internacional de Métodos Numéricos en Ingeniería |
| Fuente: |
Ver documento |
| Tipo: |
Articles |
| Tema: | No aplica |
| Descripción: | We establish the Robinson joint consistency theorem for the infinitevalued propositional logic of Lukasiewicz. As a corollary we easily obtain the amalgamation property for MV-algebras the algebras of Lukasiewicz logic: all pre-existing proofs of this latter result make essential use of Pierce amalgamation theorem for abelian lattice-ordered groups (with strong unit) together with the categorical equivalence $\Gamma$ between these groups and MV-algebras. Our main tools are elementary and geometric. Published: Annals of Pure and Applied Logic, 147 (2007), 1-22. |
| Idioma: | Inglés |
1 Sloshing in a Multi-Physics Parallel Programming Paradigm por Laura Battaglia; CIMEC-INTEC-CONICET-UNL,Jorge D'Elía; CIMEC-INTEC-CONICET-UNL,Mario Alberto Storti; CIMEC-INTEC-CONICET-UNL,Norberto Marcelo Nigro; CIMEC-INTEC-CONICET-UNL | 6 MPI for Python por Lisandro Daniel Dalcín; CIMEC-INTEC-CONICET-UNL,Rodrigo Rafael Paz; CIMEC-INTEC-CONICET-UNL,Mario Alberto Storti; CIMEC-INTEC-CONICET-UNL |
2 A Minimal Element Distortion Strategy for Computational Mesh Dynamics por Ezequiel López; CIMEC-INTEC-CONICET-UNL,Norberto Marcelo Nigro; CIMEC-INTEC-CONICET-UNL,Mario Alberto Storti; CIMEC-INTEC-CONICET-UNL,Jorge Toth; Universidad Nacional del Comahue | 7 An interface strip preconditioner for domain decomposition methods: Application to hydrology por Rodrigo Rafael Paz; CIMEC-INTEC-CONICET-UNL,Mario Alberto Storti; CIMEC-INTEC-CONICET-UNL |
3 Strong coupling strategy for fluid structure interaction problems in supersonic regime via fixed point iteration por Mario Alberto Storti; CIMEC-INTEC-CONICET-UNL,Norberto Marcelo Nigro; CIMEC-INTEC-CONICET-UNL,Rodrigo Rafael Paz; CIMEC-INTEC-CONICET-UNL | 8 A Preconditioner for the Schur Complement Matrix por Mario Alberto Storti; CIMEC-INTEC-CONICET-UNL,Lisandro Daniel Dalcín; CIMEC-INTEC-CONICET-UNL,Rodrigo R. Paz; CIMEC-INTEC-CONICET-UNL,Andrea Yommi; CIMEC-INTEC-CONICET-UNL,Victorio E. Sonzogni; CIMEC-INTEC-CONICET-UNL,Norberto M. Nigro; CIMEC-INTEC-CONICET-UNL |
4 Hot-pressing process modeling for medium density fiberboard (MDF) por Norberto Marcelo Nigro; CIMEC-INTEC-CONICET-UNL,Mario Alberto Storti; CIMEC-INTEC-CONICET-UNL | 9 Finite Element Methods for Surface Diffusion por Eberhard Bansch,Pedro Morin; IMAL-CONICET-UNL,Ricardo Nochetto |
5 On the efficiency and quality of numerical solutions in CFD problems using the Interface Strip Preconditioner for domain decomposition methods por Rodrigo Rafael Paz; CIMEC-INTEC-CONICET-UNL,Norberto Marcelo Nigro; CIMEC-INTEC-CONICET-UNL,Mario Alberto Storti; CIMEC-INTEC-CONICET-UNL | 10 A finite element method for surface diffusion: the parametric case por Pedro Morin; IMAL-CONICET-UNL,Eberhard Bänsch,Ricardo H. Nochetto |