| Título: | Residuated lattices as algebraic semantics for paraconsistent Nelson logic |
| Autores: |
Manuela Busaniche; IMAL-CONICET-UNL Roberto Cignoli |
| Fecha: | 2009-04-08 |
| Publicador: | Cuadernos de Matemática y Mecánica |
| Fuente: |
 |
| Tipo: |
Articles |
| Tema: | No aplica |
| Descripción: | The class of NPc-lattices is introduced as a quasivariety of commutative residuated lattices, and it is shown that the class of pairs $(\A, A^+)$ such that $\A$ is an NPc-lattice and $A^+$ is its positive cone, is a matrix semantics for Nelson paraconsistent logic. Published: Journal of Logic and Computation (2009), doi: 10.1093/logcom/exp028. |
| 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 |