Miniatura

Fitxers

MPS_N019.pdf (419 KB)

Tipus de document

Article

Versió

Versió enviada

Data de publicació

1983

Tots els drets reservats

Si us plau utilitzeu sempre aquest identificador per citar o enllaçar aquest document: https://hdl.handle.net/2445/151424

Some algebraic structures determined by closure operators

Títol de la revista

Autors

Director/Tutor

ISSN de la revista

Títol del volum

Recurs relacionat

Resum

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.

Descripció

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)

Matèries

Teoria de grups

Matèries (anglès)

Universitat de Barcelona. Institut de Matemàtica

Citació

Col·leccions

Preprints de Matemàtiques - Mathematics Preprint Series

Citació

VERDÚ, B. (buenaventura). Some algebraic structures determined by closure operators. _Reproducció digital del document original en paper [CRAI Biblioteca de Matemàtiques i Informàtica - Dipòsit Departament CAIXA 31.16x]_. [consulta: 29 de abril de 2026]. [Disponible a: https://hdl.handle.net/2445/151424]

Exportar metadades

JSON - METS

Compartir registre