Zobrazeno 1 - 10
of 373
pro vyhledávání: '"Zhao Zhiguang"'
Autor:
Gruszczyński, Rafał, Zhao, Zhiguang
The paper is devoted to modal properties of the ternary strict betweenness relation as used in the development of various systems of geometry. We show that such a relation is non-definable in a basic similarity type with a binary operator of possibil
Externí odkaz:
http://arxiv.org/abs/2410.20837
The symmetric strict implication calculus $\mathsf{S^2IC}$, introduced in [5], is a modal calculus for compact Hausdorff spaces. This is established through de Vries duality, linking compact Hausdorff spaces with de Vries algebras-complete Boolean al
Externí odkaz:
http://arxiv.org/abs/2402.00528
Autor:
Wen Huatao, Zhang Songzhao, Lian Yubo, Zhao Zhiguang, Wang Weibo, Wei Yajun, Duan Yu, Dong Sanbao
Publikováno v:
E3S Web of Conferences, Vol 329, p 01050 (2021)
In this paper, graphene oxide (GO) was modified with alkyl amidopropyl diethanolamine to obtain a nano pour point depressant (GO-PPD), which was used to improve the flowability of the waxy oil extracted from Changqing Oilfield, China. Fourier transfo
Externí odkaz:
https://doaj.org/article/342aed110f174109b47ddb5d02929c5e
Autor:
Zhao, Zhiguang
In the present article, we extend the fragment of inductive formulas for the hybrid language L(@) in [8] including a McKinsey-like formula, and show that every formula in the extended class has a first-order correspondent, by modifying the algorithm
Externí odkaz:
http://arxiv.org/abs/2210.04433
Autor:
Zhao, Zhiguang
We study the correspondence theory of intuitionistic modal logic in modal Fairtlough-Mendler semantics (modal FM semantics) \cite{FaMe97}, which is the intuitionistic modal version of possibility semantics \cite{Ho16}. We identify the fragment of ind
Externí odkaz:
http://arxiv.org/abs/2210.02216
Autor:
Zhao, Zhiguang
In the present paper, we continue the research in \cite{Zh21c} to develop the Sahlqvist-type completeness theory for hybrid logic with satisfaction operators and downarrow binders $\mathcal{L}(@, \downarrow)$. We define the class of skeletal Sahlqvis
Externí odkaz:
http://arxiv.org/abs/2207.01288
Autor:
Zhao, Zhiguang
In the present paper, we study the correspondence and canonicity theory of modal subordination algebras and their dual Stone space with two relations, generalizing correspondence results for subordination algebras in \cite{dR20,dRHaSt20,dRPa21,Sa16}.
Externí odkaz:
http://arxiv.org/abs/2206.05509
Autor:
Zhao, Zhiguang
In the present paper, we give a systematic study of the correspondence theory of generalized modal algebras and generalized modal spaces. The special feature of the present paper is that in the proof of the (right-handed) topological Ackermann lemma,
Externí odkaz:
http://arxiv.org/abs/2205.02624
Publikováno v:
In Construction and Building Materials 13 December 2024 455
Autor:
Cheng, Aosheng a, 1, Zhang, Yan b, 1, Qian, Zhiqiang a, c, Yuan, Xueli b, Yao, Sumei a, c, Ni, Wenqing b, Zheng, Yijin b, Zhang, Hongmin b, Lu, Quan a, c, ⁎, Zhao, Zhiguang b, ⁎⁎
Publikováno v:
In International Journal of Medical Informatics November 2024 191