Zobrazeno 1 - 10
of 72
pro vyhledávání: '"ACHIM JUNG"'
Publikováno v:
Logical Methods in Computer Science, Vol Volume 14, Issue 1 (2018)
Given a poset $P$, the set, $\Gamma(P)$, of all Scott closed sets ordered by inclusion forms a complete lattice. A subcategory $\mathbf{C}$ of $\mathbf{Pos}_d$ (the category of posets and Scott-continuous maps) is said to be $\Gamma$-faithful if for
Externí odkaz:
https://doaj.org/article/139f4cddaf4a4d21a4fb3e5de709cc30
Autor:
Achim Jung, Umberto Rivieccio
Publikováno v:
Soft Computing. 25:851-868
A series of representation theorems (some of which discovered very recently) present an alternative view of many classes of algebras related to non-classical logics (e.g. bilattices, semi-De Morgan, Nelson and quasi-Nelson algebras) as two-sorted alg
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::296a26426f47f382fa2d5306f4220120
https://doi.org/10.1007/s00500-020-05482-7
https://doi.org/10.1007/s00500-020-05482-7
Autor:
Achim Jung
Publikováno v:
Philosophie, Naturwissenschaft und Technik ISBN: 9783732991464
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::d54a8b4d9e34aab55028ef254d98b008
https://doi.org/10.57088/978-3-7329-9146-4_18
https://doi.org/10.57088/978-3-7329-9146-4_18
Publikováno v:
Applied Categorical Structures. 27:261-275
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 reas
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::310301754110703ed11320e36dc205f8
https://doi.org/10.1007/s10485-018-09553-7
https://doi.org/10.1007/s10485-018-09553-7
Publikováno v:
Logic Journal of the IGPL. 28:973-999
A recent paper by Jakl, Jung and Pultr (2016, Electron. Notes Theor. Comput. Sci., 325, 201–219) succeeded for the first time in establishing a very natural link between bilattice logic and the duality theory of d-frames and bitopological spaces. I
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::cff28631de4ad21aa645cfb9ed1da41a
https://doi.org/10.1093/jigpal/jzy070
https://doi.org/10.1093/jigpal/jzy070
Publikováno v:
Topology and its Applications. 209:235-238
In this note, we prove that a well-filtered dcpo L is coherent in its Scott topology if and only if for every x , y ∈ L , ↑ x ∩ ↑ y is compact in the Scott topology. We use this result to prove that a well-filtered dcpo L is Lawson-compact if
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::a3086591295ada8c5ee6f1808d85a60a
https://doi.org/10.1016/j.topol.2016.06.011
https://doi.org/10.1016/j.topol.2016.06.011
Autor:
Achim Jung, Umberto Rivieccio
Publikováno v:
EPiC Series in Computing.
Along the lines of recent investigations combining many-valued and modal systems, we address the problem of defining and axiomatizing the least modal logic over the four-element Belnap lattice. By this we mean the logic determined by the class of all
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::f2f2f5847b0d148c7870b4e9ea50fdb2
https://doi.org/10.29007/12bb
https://doi.org/10.29007/12bb
Publikováno v:
Electronic Notes in Theoretical Computer Science. 345:1-2
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::2657445d63f4a1e7224afe4274a6099c
https://doi.org/10.1016/j.entcs.2019.07.013
https://doi.org/10.1016/j.entcs.2019.07.013
Publikováno v:
Theoretical Computer Science. 594:143-150
Quasicontinuity is a generalisation of Scott's notion of continuous domain, introduced in the early 80s by Gierz, Lawson and Stralka. In this paper we ask which cartesian closed full subcategories exist in qCONT, the category of all quasicontinuous d
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::7b074cd2ba425365304ca51bf5ba5766
https://doi.org/10.1016/j.tcs.2015.05.014
https://doi.org/10.1016/j.tcs.2015.05.014
Publikováno v:
Journal of Logic and Computation. 27:155-199
Combining multi-valued and modal logics into a single system is a long-standing concern in mathematical logic and computer science, see for example [7] and the literature cited there. Recent work in this trend [15, 17, 14] develops modal expansions o
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::11e80eef57914a6697de0b83a0bf42d6
https://doi.org/10.1093/logcom/exv038
https://doi.org/10.1093/logcom/exv038