Back to Search
Start Over
Remarks on an algebraic semantics for paraconsistent Nelson's logic
- Source :
- CONICET Digital (CONICET), Consejo Nacional de Investigaciones Científicas y Técnicas, instacron:CONICET, Manuscrito, Vol 34, Iss 1, Pp 99-114 (2011), Manuscrito v.34 n.1 2011, Manuscrito, Universidade Estadual de Campinas (UNICAMP), instacron:UNICAMP, Manuscrito, Volume: 34, Issue: 1, Pages: 114-99, Published: JUN 2011
- Publication Year :
- 2011
- Publisher :
- Universidade Estadual de Campinas. Centro de Lógica, Epistemologia e História da Ciência, 2011.
-
Abstract
- In the paper Busaniche and Cignoli (2009) we presented a quasivariety of commutative residuated lattices, called NPc-lattices, that serves as an algebraic semantics for paraconsistent Nelson's logic. In the present paper we show that NPc-lattices form a subvariety of the variety of commutative residuated lattices, we study congruences of NPc-lattices and some subvarieties of NPc-lattices. Fil: Busaniche, Manuela. Instituto de Matemática Aplicda del Litoral; Argentina. Consejo Nacional de Investigaciones Científicas y Técnicas. Centro Científico Tecnológico Conicet - Santa Fe. Instituto de Matemática Aplicada del Litoral. Universidad Nacional del Litoral. Instituto de Matemática Aplicada del Litoral; Argentina Fil: Cignoli, Roberto Leonardo Oscar. Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales. Departamento de Matemática; Argentina. Consejo Nacional de Investigaciones Científicas y Técnicas. Centro Científico Tecnológico Conicet - Santa Fe. Instituto de Matemática Aplicada del Litoral. Universidad Nacional del Litoral. Instituto de Matemática Aplicada del Litoral; Argentina
- Subjects :
- Pure mathematics
Subvariety
Quasivariety
Matemáticas
High Energy Physics::Lattice
Substructural Logic
RESIDUATED LATTICES
Quantitative Biology::Cell Behavior
Matemática Pura
purl.org/becyt/ford/1 [https]
Computer Science::Logic in Computer Science
lcsh:BC1-199
lcsh:B1-5802
Commutative property
Mathematics
PARACONSISTENCY
NELSON LOGIC
Substructural logic
lcsh:Philosophy (General)
Paraconsistency
Residuated Lattices
purl.org/becyt/ford/1.1 [https]
Paraconsistent logic
Congruence relation
lcsh:Logic
Philosophy
Algebraic semantics
Nelson logic
SUBSTRUCTURAL LOGICS
Twist Structures
Variety (universal algebra)
CIENCIAS NATURALES Y EXACTAS
Subjects
Details
- Language :
- English
- Database :
- OpenAIRE
- Journal :
- CONICET Digital (CONICET), Consejo Nacional de Investigaciones Científicas y Técnicas, instacron:CONICET, Manuscrito, Vol 34, Iss 1, Pp 99-114 (2011), Manuscrito v.34 n.1 2011, Manuscrito, Universidade Estadual de Campinas (UNICAMP), instacron:UNICAMP, Manuscrito, Volume: 34, Issue: 1, Pages: 114-99, Published: JUN 2011
- Accession number :
- edsair.doi.dedup.....ddec2f5ff113685bf173320565173900