El pròxim dijous 7 de maig, el Dipòsit Digital no estarà operatiu de 8:00 a 12:00 h per tasques d'actualització. Disculpeu les molèsties.
El próximo jueves 7 de mayo, el Dipòsit Digital no estará operativo de 8:00 a 12:00 h debido a tareas de actualización. Disculpen las molestias.
Our digital repository will be temporarily unavailable on Thursday, May 7th, from 8:00 a.m. to 12:00 p.m. due to a system update.
 

Some algebraic structures determined by closure operators

Vista senzilla d'ítem
dc.contributor.authorVerdú, B. (Buenaventura)
dc.date.accessioned2020-02-28T11:54:27Z
dc.date.available2020-02-28T11:54:27Z
dc.date.issued1983
dc.descriptionPreprint enviat per a la seva publicació en una revista científica: Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 31 (14-18):275-278 (1985)ca
dc.description.abstractIn this work we obtain axiomatizations of the concepts of lattice, distributive lattice, positive implication algebra, implication algebra, relative pseudocomplemented lattice, pseudoBoolean algebra and Boolean algebra by means of the concept of closure operator. The axiomatics express the algebra as a logical quotient of a logic having properties which reflect some classical rules of inference as adjunction, excluding cases, deduction and reductio at absurdum.ca
dc.format.extent9 p.
dc.format.mimetypeapplication/pdf
dc.identifier.dlDL B 37494-1983
dc.identifier.urihttps://hdl.handle.net/2445/151424
dc.language.isoengca
dc.publisherUniversitat de Barcelonaca
dc.relation.isformatofReproducció digital del document original en paper [CRAI Biblioteca de Matemàtiques i Informàtica - Dipòsit Departament CAIXA 31.16]
dc.relation.ispartofReproducció digital del document original en paper [CRAI Biblioteca de Matemàtiques i Informàtica - Dipòsit Departament CAIXA 31.16x]
dc.relation.ispartofseriesMathematics Preprint Series; 19ca
dc.rights(c) Verdú, B. (Buenaventura), 1983
dc.rights.accessRightsinfo:eu-repo/semantics/openAccessca
dc.sourcePreprints de Matemàtiques - Mathematics Preprint Series
dc.subject.classificationTeoria de grups
dc.subject.otherUniversitat de Barcelona. Institut de Matemàtica
dc.titleSome algebraic structures determined by closure operatorsca
dc.typeinfo:eu-repo/semantics/articleca
dc.typeinfo:eu-repo/semantics/submittedVersion

Fitxers

Paquet original

Mostrant 1 - 1 de 1
Miniatura
Nom:
MPS_N019.pdf
Mida:
419 KB
Format:
Adobe Portable Document Format
Descripció:
Descarregar

Col·leccions

Preprints de Matemàtiques - Mathematics Preprint Series