Deductive Systems of BCK-Algebras

Volver a la Vista simple
dc.conicet.fuenteindividual
dc.conicet.organizacionConsejo Nacional de Investigaciones Científicas y Técnicas. Centro Científico Tecnológico Conicet - Tandil
dc.conicet.organizacionUniversidad Nacional del Centro de la Provincia de Buenos Aires
dc.conicet.paisOrganizacionArgentina
dc.conicet.paisOrganizacionArgentina
dc.conicet.produccionid6339459
dc.contributor.authorCelani, Sergio Arturo
dc.date.accessioned2024-08-16T14:04:41Z
dc.date.available2024-08-16T14:04:41Z
dc.date.issued2004-12
dc.date.updated2024-08-14T13:33:01Z
dc.description.abstractIn this paper we shall give some results on irreducible deductive systems in BCK-algebras and we shall prove that the set of all deductive systems of a BCK-algebra is a Heyting algebra. As a consequence of this result we shall show that the annihilator F∗ of a deductive system F is the the pseudocomplement of F. These results are more general than that the similar results given by M. Kondo in [7].es
dc.description.filFil: Celani, Sergio Arturo. Consejo Nacional de Investigaciones Científicas y Técnicas. Centro Científico Tecnológico Conicet - Tandil; Argentina. Universidad Nacional del Centro de la Provincia de Buenos Aires; Argentina
dc.formatapplication/pdfes
dc.identifier.citationCelani, Sergio Arturo; Deductive Systems of BCK-Algebras; Univerzita Palackého v Olomouci; Acta Universitatis Palackianae Olomucensis. Facultas Rerum Naturalium. Mathematica.; 43; 1; 12-2004; 27-32es
dc.identifier.institucionalCONICET
dc.identifier.issn0231-9721es
dc.identifier.repoCONICET Digital
dc.identifier.urihttp://hdl.handle.net/11336/242664
dc.journal.ciudadPalackýes
dc.journal.number1es
dc.journal.pagination27-32es
dc.journal.paisRepública Checaes
dc.journal.titleActa Universitatis Palackianae Olomucensis. Facultas Rerum Naturalium. Mathematica.es
dc.journal.volume43es
dc.language.isospaes
dc.publisherUniverzita Palackého v Olomoucies
dc.rightsinfo:eu-repo/semantics/openAccess*
dc.rights.urihttps://creativecommons.org/licenses/by-nc-sa/2.5/ar/*
dc.subjectBCK-algebrases
dc.subjectDeductive systemes
dc.subjectIrreducible deductive systemes
dc.subject.classificationMatemática Aplicadaes
dc.subject.classificationMatemáticases
dc.subject.classificationCIENCIAS NATURALES Y EXACTASes
dc.titleDeductive Systems of BCK-Algebrases
dc.typeinfo:eu-repo/semantics/article
dc.typeinfo:ar-repo/semantics/artículo
dc.typeinfo:eu-repo/semantics/publishedVersion

Archivos

Bloque original

Miniatura
Nombre:
CONICET_Digital_Nro.2dfc3da0-3222-4084-bcb2-957dac485f0d_B.pdf
Tamaño:
1.22 MB
Formato:
Adobe Portable Document Format
Descargar

Colecciones

Articulos(CCT - TANDIL)
Volver a la Vista simple