In the present paper,we give a systematic study of the discrete correspondence the-ory and topological correspondence theory of modal meet-implication logic and moda1 meet-semilattice logic,in the semantics provided i...In the present paper,we give a systematic study of the discrete correspondence the-ory and topological correspondence theory of modal meet-implication logic and moda1 meet-semilattice logic,in the semantics provided in[21].The special features of the present paper include the following three points:the first one is that the semantic structure used is based on a semilattice rather than an ordinary partial order,the second one is that the propositional vari-ables are interpreted as filters rather than upsets,and the nominals,which are the“first-order counterparts of propositional variables,are interpreted as principal filters rather than principal upsets;the third one is that in topological correspondence theory,the collection of admissi-ble valuations is not closed under taking disjunction,which makes the proof of the topological Ackermann 1emma different from existing settings.展开更多
Revealing the factors that affect the vibrational frequency of Stark probe at interface is a pre-requirement for evaluating the absolute interfacial electric field.Here using surface-enhanced infrared absorption(SEIRA...Revealing the factors that affect the vibrational frequency of Stark probe at interface is a pre-requirement for evaluating the absolute interfacial electric field.Here using surface-enhanced infrared absorption(SEIRA)spectroscopy,attenuated total reflection(ATR)spectroscopy and molecular dynamics(MD),we reveal the assembled C≡N at gold nanofilm exhibits a reduced Stark tuning rate(STR)referring to the vibrational frequency shift in response to electric field comparing with the bulk which was regulated by the electron transfer between S and Au.These findings lead to a deeper understanding of the vibrational Stark effect at the interface and provide guidance for improving the interface electric field theory.展开更多
基金supported by the Chinese Ministry of Education of Humanities and Social Science Project(23YJC72040003)the Key Project of Chinese Ministry of Education(22JJD720021)supported by the Natural Science Foundation of Shandong Province,China(project number:ZR2023QF021)。
文摘In the present paper,we give a systematic study of the discrete correspondence the-ory and topological correspondence theory of modal meet-implication logic and moda1 meet-semilattice logic,in the semantics provided in[21].The special features of the present paper include the following three points:the first one is that the semantic structure used is based on a semilattice rather than an ordinary partial order,the second one is that the propositional vari-ables are interpreted as filters rather than upsets,and the nominals,which are the“first-order counterparts of propositional variables,are interpreted as principal filters rather than principal upsets;the third one is that in topological correspondence theory,the collection of admissi-ble valuations is not closed under taking disjunction,which makes the proof of the topological Ackermann 1emma different from existing settings.
基金The National Key R&D Program of China(No.2022YFE0113000)the National Science Fund for Distinguished Young Scholars(No.22025406)+1 种基金the National Natural Science Foundation of China(Nos.22074138,12174457)the Youth Innovation Promotion Association of CAS(No.2020233)for financial support。
文摘Revealing the factors that affect the vibrational frequency of Stark probe at interface is a pre-requirement for evaluating the absolute interfacial electric field.Here using surface-enhanced infrared absorption(SEIRA)spectroscopy,attenuated total reflection(ATR)spectroscopy and molecular dynamics(MD),we reveal the assembled C≡N at gold nanofilm exhibits a reduced Stark tuning rate(STR)referring to the vibrational frequency shift in response to electric field comparing with the bulk which was regulated by the electron transfer between S and Au.These findings lead to a deeper understanding of the vibrational Stark effect at the interface and provide guidance for improving the interface electric field theory.
基金supported by “Shandong University International Scientific Cooperation Seed Fund”(11090089395416)“The Social Science Fund of Shandong University”(11090082235324)supported by “Young Scholars Program of Shandong University”(11090089964225)。
