Amb motiu del tancament d'estiu, la validació de documents es reprendrà a partir del 28 d'agost de 2026. Disculpeu les molèsties.
Con motivo del cierre de verano, la validación de documentos se reanudará a partir del 28 de agosto de 2026. Disculpad las molestias
Due to the summer closure, document validation will resume starting August 28, 2026. We apologize for any inconvenience.

Files

031506.pdf (124.56 KB)

Document type

Article

Version

Published version

Publication date

1980

All rights reserved

Please use this identifier to cite or link to this item: https://hdl.handle.net/2445/132723

Introducció d'interiors d'ordre en lògiques abstractes

Journal Title

Authors

Director/Tutor

Journal ISSN

Volume Title

Related resource

https://doi.org/10.5565/PUBLMAT_20180_14

Abstract

Let L = (S,C) be an abstract logic ( El]) . Using the methods of 131 we study the abstract logic . Lo = (S,C0) agsociated with 11,=1X C- S :X=C(X), f (XXX } for a given mapping f: S > S . We see that Lo preserves several logical properties of L . We state necessary and sufficient conditions on C to obtain separately the three properties of an interior mapping on the logical quotient of S by C, when the last is an ordered set, a semilattice, or an implicative algebra.

Subject

Lògica matemàtica, Àlgebra abstracta

Subject (English)

Mathematical logic, Abstract algebra

Citation

Collections

Articles publicats en revistes (Matemàtiques i Informàtica)

Citation

FONT LLOVET, Josep Maria. Introducció d'interiors d'ordre en lògiques abstractes. Publicacions Matemàtiques. 1980. Vol. 20, num. 79-82. ISSN 0214-1493. [consulted: 9 of August of 2026]. Available at: https://hdl.handle.net/2445/132723

Export metadata

JSON - METS

Share record