| Título: | Constructive logic with strong negation as a substructural 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: | Spinks and Veroff have shown that constructive logic with strong negation (CLSN for short), can be considered as a substructural logic. We use algebraic tools developed to study substructural logics to investigate some axiomatic extensions of CLSN. For instance we prove that Nilpotent Minimum Logic is the extension of CLSN by the prelinearity axiom. This generalizes the well known result by Monteiro and Vakarelov that three-valued \Lukasiewicz logic is an extension of CLSN. A Glivenko-like theorem relating CLSN and three-valued \Lukasiewicz logic is proved. Accepted: Journal of Logic and Computation ; doi: 10.1093/logcom/exn081. |
| 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 |