dc.contributor.author
Font Llovet, Josep Maria
dc.date.issued
2019-05-06T10:06:19Z
dc.date.issued
2019-05-06T10:06:19Z
dc.date.issued
2019-05-06T10:06:24Z
dc.identifier
https://hdl.handle.net/2445/132723
dc.description.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.
dc.format
application/pdf
dc.format
application/pdf
dc.publisher
Universitat Autònoma de Barcelona
dc.relation
Reproducció del document publicat a: https://doi.org/10.5565/PUBLMAT_20180_14
dc.relation
Publicacions Matemàtiques, 1980, vol. 20, p. 79-82
dc.relation
https://doi.org/10.5565/PUBLMAT_20180_14
dc.rights
(c) Universitat Autònoma de Barcelona, 1980
dc.rights
info:eu-repo/semantics/openAccess
dc.source
Articles publicats en revistes (Matemàtiques i Informàtica)
dc.subject
Lògica matemàtica
dc.subject
Àlgebra abstracta
dc.subject
Mathematical logic
dc.subject
Abstract algebra
dc.title
Introducció d'interiors d'ordre en lògiques abstractes
dc.type
info:eu-repo/semantics/article
dc.type
info:eu-repo/semantics/publishedVersion
