| Título: | Spectral duality for finitely generated nilpotent minimum algebras, with applications |
| Autores: |
S. Aguzzoli Manuela Busaniche; IMAL-CONICET-UNL V. Marra |
| Fecha: | 2007-03-06 |
| Publicador: | Cuadernos de Matemática y Mecánica |
| Fuente: |
 |
| Tipo: |
Articles |
| Tema: | No aplica |
| Descripción: | We establish a categorical duality for the finitely generated Lindenbaum-Tarski algebras of propositional nilpotent minimum logic. The latter's conjunction is semantically interpreted by a left-continuous (but not continuous) triangular norm; implication is obtained through residuation. Our duality allows one to transfer to nilpotent minimum logic several known results about inutitionistic logic with the prelineari\-ty axiom (also called G\"{o}del-Dummett logic), mutatis mutandis. We give several such applications. Published: Journal of Logic and Computation 17 (2007), 749-765. |
| 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 |