Quotients of d-Frames

Research output: Contribution to journalArticle

Standard

Quotients of d-Frames. / Jakl, Tomas; Jung, Achim; Pultr, Ales.

In: Applied Categorical Structures, Vol. 27, No. 3, 06.2019, p. 261-275.

Research output: Contribution to journalArticle

Harvard

APA

Vancouver

Author

Jakl, Tomas ; Jung, Achim ; Pultr, Ales. / Quotients of d-Frames. In: Applied Categorical Structures. 2019 ; Vol. 27, No. 3. pp. 261-275.

Bibtex

@article{a1fca2873f6c40e087c3655ec8a96af9,
title = "Quotients of d-Frames",
abstract = "It is shown that every d-frame admits a complete lattice of quotients. Quotienting may be triggered by a binary relation on one of the two constituent frames, or by changes to the consistency or totality structure, but as these are linked by the reasonableness conditions of d-frames, the result in general will be that both frames are factored and both consistency and totality are increased.",
keywords = "Quotient, d-Frame, (Quasi)-congruence, Factorization system",
author = "Tomas Jakl and Achim Jung and Ales Pultr",
year = "2019",
month = jun,
doi = "10.1007/s10485-018-09553-7",
language = "English",
volume = "27",
pages = "261--275",
journal = "Applied Categorical Structures",
issn = "0927-2852",
publisher = "Springer",
number = "3",

}

RIS

TY - JOUR

T1 - Quotients of d-Frames

AU - Jakl, Tomas

AU - Jung, Achim

AU - Pultr, Ales

PY - 2019/6

Y1 - 2019/6

N2 - It is shown that every d-frame admits a complete lattice of quotients. Quotienting may be triggered by a binary relation on one of the two constituent frames, or by changes to the consistency or totality structure, but as these are linked by the reasonableness conditions of d-frames, the result in general will be that both frames are factored and both consistency and totality are increased.

AB - It is shown that every d-frame admits a complete lattice of quotients. Quotienting may be triggered by a binary relation on one of the two constituent frames, or by changes to the consistency or totality structure, but as these are linked by the reasonableness conditions of d-frames, the result in general will be that both frames are factored and both consistency and totality are increased.

KW - Quotient

KW - d-Frame

KW - (Quasi)-congruence

KW - Factorization system

UR - http://www.scopus.com/inward/record.url?scp=85059654474&partnerID=8YFLogxK

U2 - 10.1007/s10485-018-09553-7

DO - 10.1007/s10485-018-09553-7

M3 - Article

VL - 27

SP - 261

EP - 275

JO - Applied Categorical Structures

JF - Applied Categorical Structures

SN - 0927-2852

IS - 3

ER -