Zobrazeno 1 - 10
of 995
pro vyhledávání: '"Bilková A"'
Publikováno v:
European Pharmaceutical Journal, Vol 68, Iss 1, Pp 46-53 (2021)
Carboxylato-type transition metal complexes with agaric acid, a bioactive natural compound derived from citric acid, were prepared, and tested in vitro for their antimicrobial activity and cytotoxicity. The products as well as agaric acid itself are
Externí odkaz:
https://doaj.org/article/e2dc6ca710fc421db7d5fb2705199dc8
Publikováno v:
European Pharmaceutical Journal, Vol 67, Iss 2, Pp 34-44 (2021)
A homologous series of (3-alkoxymethyl-4-hydroxyphenyl)propan-1-ones was prepared by the reaction of (3-chloromethyl-4-hydroxyphenyl)propan-1-ones with the corresponding alcohols (methanol – decan-1-ol, propan-2-ol, 2-methylpropan-1-ol, 3-methylbut
Externí odkaz:
https://doaj.org/article/03a874821028413c81c12751eb660ed0
As an alternative to Kripke models, simplicial complexes are a versatile semantic primitive on which to interpret epistemic logic. Given a set of vertices, a simplicial complex is a downward closed set of subsets, called simplexes, of the vertex set.
Externí odkaz:
http://arxiv.org/abs/2406.16785
Autor:
Peterka, M., Seidl, J., Markovic, T., Loarte, A., Logan, N. C., Park, J. -K., Cahyna, P., Havlicek, J., Imrisek, M., Kripner, L., Panek, R., Sos, M., Bilkova, P., Bogar, K., Bohm, P., Casolari, A., Gribov, Y., Grover, O., Hacek, P., Hron, M., Kovarik, K., Tomes, M., Tskhakaya, D., Varju, J., Vondracek, P., Weinzettl, V., Team, the COMPASS
This work presents the first analysis of the disruptive locked mode (LM) triggered by the dynamics of a confinement change. It shows that, under certain conditions, the LM threshold during the transient is significantly lower than expected from stead
Externí odkaz:
http://arxiv.org/abs/2404.11090
This paper is an extended version of an earlier submission to WoLLIC 2023. We discuss two-layered logics formalising reasoning with probabilities and belief functions that combine the Lukasiewicz $[0,1]$-valued logic with Baaz $\triangle$ operator an
Externí odkaz:
http://arxiv.org/abs/2402.12953
This paper considers two logics. The first one, $\mathbf{K}\mathsf{G}_\mathsf{inv}$, is an expansion of the G\"odel modal logic $\mathbf{K}\mathsf{G}$ with the involutive negation $\sim_\mathsf{i}$ defined as $v({\sim_\mathsf{i}}\phi,w)=1-v(\phi,w)$.
Externí odkaz:
http://arxiv.org/abs/2401.15395
We present the axiomatisation of the fuzzy bi-G\"{o}del modal logic (formulated in the language containing $\triangle$ and treating the coimplication as a defined connective) and establish its PSpace-completeness. We also consider its paraconsistent
Externí odkaz:
http://arxiv.org/abs/2309.16250
Autor:
Bílková, Marta, Sedlár, Igor
Publikováno v:
EPTCS 379, 2023, pp. 113-130
Epistemic logics of intensional groups lift the assumption that membership in a group of agents is common knowledge. Instead of being represented directly as a set of agents, intensional groups are represented by a property that may change its extens
Externí odkaz:
http://arxiv.org/abs/2307.05056
We introduce a paraconsistent expansion of the G\"{o}del logic with a De Morgan negation $\neg$ and modalities $\blacksquare$ and $\blacklozenge$. We equip it with Kripke semantics on frames with two (possibly fuzzy) relations: $R^+$ and $R^-$ (inter
Externí odkaz:
http://arxiv.org/abs/2303.14198
We further develop the paraconsistent G\"{o}del modal logic. In this paper, we consider its version endowed with Kripke semantics on $[0,1]$-valued frames with two fuzzy relations $R^+$ and $R^-$ (degrees of trust in assertions and denials) and two v
Externí odkaz:
http://arxiv.org/abs/2303.14164