# name
Some algebraic structures determined by closure operators

# metadata.dc.description[].value
Preprint 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)

# metadata.dc.description.abstract[].value
In 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.

# metadata.dc.relation.isformatof[].value
Reproducció digital del document original en paper [CRAI Biblioteca de Matemàtiques i Informàtica - Dipòsit Departament CAIXA 31.16]

# metadata.dc.relation.ispartof[].value
Reproducció digital del document original en paper [CRAI Biblioteca de Matemàtiques i Informàtica - Dipòsit Departament CAIXA 31.16x]

# metadata.dc.source[].value
Preprints de Matemàtiques - Mathematics Preprint Series

# metadata.dc.subject.other[].value
Universitat de Barcelona. Institut de Matemàtica

# metadata.dc.title[].value
Some algebraic structures determined by closure operators