Quotients of d-Frames

Tomas Jakl; Achim Jung; Ales Pultr

doi:10.1007/s10485-018-09553-7

Quotients of d-Frames

Tomas Jakl, Achim Jung, Ales Pultr

Research output: Contribution to journal › Article › peer-review

1 Citation (Scopus)

209 Downloads (Pure)

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.

Original language	English
Pages (from-to)	261-275
Number of pages	15
Journal	Applied Categorical Structures
Volume	27
Issue number	3
Early online date	5 Jan 2019
DOIs	https://doi.org/10.1007/s10485-018-09553-7
Publication status	Published - Jun 2019

Keywords

Quotient
d-Frame
(Quasi)-congruence
Factorization system

Access to Document

10.1007/s10485-018-09553-7Licence: None: All rights reserved

Jakl_et_al_Quotients_of_d-frames_Applied_Catagorical_Structures_2019
The final publication is available at Springer via http://doi.org/10.1007/s10485-018-09553-7
Accepted author manuscript, 293 KBLicence: Other (please specify with Rights Statement)

https://link.springer.com/article/10.1007/s10485-018-09553-7Licence: None: All rights reserved

Cite this

@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",

}

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

SN - 0927-2852

VL - 27

SP - 261

EP - 275

JO - Applied Categorical Structures

JF - Applied Categorical Structures

IS - 3

ER -

Quotients of d-Frames

Abstract

Keywords

Access to Document

Fingerprint

Cite this