433 research outputs found
Assurance of quality and the accessibility of public spaces under current legislation
This paper focuses on the issue of accessibility
and the quality of public space, particularly its
barrier - free use and relation to current Czech legislation.
The legislative framework should help reshape
theoretical knowledge and contemplations of this issue
into live practice, which is met with varying success.
Important factors in this field include the continuity of
the legislative environment and specifics for the given
region (primarily in the border regions where there is
a collision of the "domestic" and "foreign" legal environments)
Relation lifting, with an application to the many-valued cover modality
We introduce basic notions and results about relation liftings on categories
enriched in a commutative quantale. We derive two necessary and sufficient
conditions for a 2-functor T to admit a functorial relation lifting: one is the
existence of a distributive law of T over the "powerset monad" on categories,
one is the preservation by T of "exactness" of certain squares. Both
characterisations are generalisations of the "classical" results known for set
functors: the first characterisation generalises the existence of a
distributive law over the genuine powerset monad, the second generalises
preservation of weak pullbacks. The results presented in this paper enable us
to compute predicate liftings of endofunctors of, for example, generalised
(ultra)metric spaces. We illustrate this by studying the coalgebraic cover
modality in this setting.Comment: 48 pages, accepted for publication in LMC
Uniform Interpolation in provability logics
We prove the uniform interpolation theorem in modal provability logics GL and
Grz by a proof-theoretical method, using analytical and terminating sequent
calculi for the logics. The calculus for G\"odel-L\"ob's logic GL is a variant
of the standard sequent calculus, in the case of Grzegorczyk's logic Grz, the
calculus implements an explicit loop-preventing mechanism inspired by work of
Heuerding
Relation Liftings on Preorders and Posets
The category Rel(Set) of sets and relations can be described as a category of
spans and as the Kleisli category for the powerset monad. A set-functor can be
lifted to a functor on Rel(Set) iff it preserves weak pullbacks. We show that
these results extend to the enriched setting, if we replace sets by posets or
preorders. Preservation of weak pullbacks becomes preservation of exact lax
squares. As an application we present Moss's coalgebraic over posets
Non-standard modalities in paraconsistent G\"{o}del logic
We introduce a paraconsistent expansion of the G\"{o}del logic with a De
Morgan negation and modalities and . We
equip it with Kripke semantics on frames with two (possibly fuzzy) relations:
and (interpreted as the degree of trust in affirmations and denials
by a given source) and valuations and (positive and negative
support) ranging over and connected via . We motivate the
semantics of (resp., ) as infima
(suprema) of both positive and negative supports of in - and
-accessible states, respectively. We then prove several instructive
semantical properties of the logic. Finally, we devise a tableaux system for
branching fragment and establish the complexity of satisfiability and validity.Comment: arXiv admin note: text overlap with arXiv:2303.1416
Crisp bi-G\"{o}del modal logic and its paraconsistent expansion
In this paper, we provide a Hilbert-style axiomatisation for the crisp
bi-G\"{o}del modal logic \KbiG. We prove its completeness w.r.t.\ crisp
Kripke models where formulas at each state are evaluated over the standard
bi-G\"{o}del algebra on . We also consider a paraconsistent expansion of
\KbiG with a De Morgan negation which we dub \KGsquare. We devise a
Hilbert-style calculus for this logic and, as a~con\-se\-quence of
a~conservative translation from \KbiG to \KGsquare, prove its completeness
w.r.t.\ crisp Kripke models with two valuations over connected via
.
For these two logics, we establish that their decidability and validity are
-complete.
We also study the semantical properties of \KbiG and \KGsquare. In
particular, we show that Glivenko theorem holds only in finitely branching
frames. We also explore the classes of formulas that define the same classes of
frames both in (the classical modal logic) and the crisp G\"{o}del
modal logic \KG^c. We show that, among others, all Sahlqvist formulas and all
formulas where and are monotone, define the
same classes of frames in and \KG^c
Fuzzy bi-G\"{o}del modal logic and its paraconsistent relatives
We present the axiomatisation of the fuzzy bi-G\"{o}del modal logic
(formulated in the language containing and treating the
coimplication as a defined connective) and establish its PSpace-completeness.
We also consider its paraconsistent relatives defined on fuzzy frames with two
valuations and standing for the support of truth and falsity,
respectively, and equipped with \emph{two fuzzy relations} and used
to determine supports of truth and falsity of modal formulas. We establish
embeddings of these paraconsistent logics into the fuzzy bi-G\"{o}del modal
logic and use them to prove their PSpace-completeness and obtain the
characterisation of definable frames
Two-layered logics for paraconsistent probabilities
We discuss two two-layered logics formalising reasoning with paraconsistent
probabilities that combine the Lukasiewicz -valued logic with Baaz
operator and the Belnap--Dunn logic
Perspectives of Small-Scale Hydropower Engineering in Ukraine
Every country takes care of energy independence and security by using different energy sources and remarkably increasing electricity production by renewable energy sources. Ukraine is not an exception, especially when the energy infrastructure is significantly damaged during the war and there is a lack of capacities in the energy system. Because of this, the Government of Ukraine is planning a number of measures to launch systems of domestic mini-power plants.Ukraine has favourable conditions for developing the network of small-scale hydropower plants. While the hydropower potential of the largest Ukrainian rivers is used, the potential of small rivers is used only partially. The small-scale hydropower plants were built during the last century very actively. In 1912 the first small-scale hydropower plant was built. From 1923 to 1960, there were 956 hydropower plants with different capacities from a few kW to a few MW. However, at the end of the 1980s, the interest in small hydro decreased because of the construction of the large hydropower plants in the river Dniester and Dnipro, heat and nuclear power plants. Only 49 plants were in operation. Since 1995 the interest in small hydro has increased again. Nowadays, there are about 150 hydropower plants in operation.The paper examines the past and present state of small hydropower plants and perspectives on their development in the future, both by building new or reconstructing existing power plants. The list of hydropower plants with a short description of possible reconstruction is given. Moreover, the way of reducing the negative influence of hydropower plants on the environment is studied. Taking into account the energy issues in Ukraine, the possibilities of off-grid operation of hydropower plants are considered.The importance of energy security was evident from the issues that Ukraine is recently facing. Building new and reconstructing old small-scale hydropower plants will help to ensure the energy security of other types of electricity generation
- …