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.展开更多
The stimulating effect of rhizosphere on denitrification is considered to be an unavoidable loss of soil nitrogen(N)and detrimental to crop N use efficiency,which is regulated by crop growth and soil properties.Soil a...The stimulating effect of rhizosphere on denitrification is considered to be an unavoidable loss of soil nitrogen(N)and detrimental to crop N use efficiency,which is regulated by crop growth and soil properties.Soil acidification,occurring rapidly in many intensive farming lands,affects both crop growth and soil properties,thereby altering rhizosphere effect on denitrification.However,the mechanism by which soil acidification regulates rhizosphere denitrification still remains unclear.Here,we determined the denitrification capacity(DC)and associated community compositions of nirK-and nirS-type denitrifiers in maize rhizosphere and bulk soils at four acidity gradients(pH=6.8,6.1,5.2,and 4.2).Results showed that the stimulating effect of rhizosphere on DC strongly depended on soil pH.Compared to bulk soil,rhizosphere soil had significantly higher DC at pH 5.2,but not at pH of 4.2.With increasing soil acidity,the stimulation of rhizosphere on DC(calculated as the difference in DC between rhizosphere and bulk soils)decreased from 8.01 to 0.01 mg N kg-1d-1.Moreover,soil acidification significantly reduced the differences in dissolved organic carbon(DOC)and abundance of key nirK-type denitrifier taxa between rhizosphere and bulk soils,both of which were positively related to the stimulation of rhizosphere on DC.These findings demonstrated that soil acidification could weaken the positive rhizosphere effect on denitrification via regulated C availability and associated nirK-type denitrifier community,potentially reducing N loss risk in rhizosphere soil.The independent role of soil p H should be fully considered when modelling N behaviour in plant-soil systems.展开更多
The concept of nothing(ness)is a profound philosophical enigma,it is simultane-ously a thing but no thing,and hence is paradoxical.To solve this paradox,Priest proposes a systematic formalization for theory of nothing...The concept of nothing(ness)is a profound philosophical enigma,it is simultane-ously a thing but no thing,and hence is paradoxical.To solve this paradox,Priest proposes a systematic formalization for theory of nothing based on paraconsistent logic and mereology.In this paper,we propose an alternative approach to resolve the paradox using a paracomplete logic,Lucasiewich 3-valued logic.We argue that,even though we accept Priest's characteriza-tions of nothing,accepting contradictions about nothing is still not necessary.展开更多
基金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 the Scientific Research Projects in Higher Education Institutions in Anhui Province,China(No.2022AH050876)Anhui Provincial Natural Science Foundation,China(No.2108085QC112)。
文摘The stimulating effect of rhizosphere on denitrification is considered to be an unavoidable loss of soil nitrogen(N)and detrimental to crop N use efficiency,which is regulated by crop growth and soil properties.Soil acidification,occurring rapidly in many intensive farming lands,affects both crop growth and soil properties,thereby altering rhizosphere effect on denitrification.However,the mechanism by which soil acidification regulates rhizosphere denitrification still remains unclear.Here,we determined the denitrification capacity(DC)and associated community compositions of nirK-and nirS-type denitrifiers in maize rhizosphere and bulk soils at four acidity gradients(pH=6.8,6.1,5.2,and 4.2).Results showed that the stimulating effect of rhizosphere on DC strongly depended on soil pH.Compared to bulk soil,rhizosphere soil had significantly higher DC at pH 5.2,but not at pH of 4.2.With increasing soil acidity,the stimulation of rhizosphere on DC(calculated as the difference in DC between rhizosphere and bulk soils)decreased from 8.01 to 0.01 mg N kg-1d-1.Moreover,soil acidification significantly reduced the differences in dissolved organic carbon(DOC)and abundance of key nirK-type denitrifier taxa between rhizosphere and bulk soils,both of which were positively related to the stimulation of rhizosphere on DC.These findings demonstrated that soil acidification could weaken the positive rhizosphere effect on denitrification via regulated C availability and associated nirK-type denitrifier community,potentially reducing N loss risk in rhizosphere soil.The independent role of soil p H should be fully considered when modelling N behaviour in plant-soil systems.
基金supported by the Key Project of Chinese Ministry of Education(22JJD720021)the Chinese Ministry of Education of Humanities and Social Science Project(23YJC72040003)。
文摘The concept of nothing(ness)is a profound philosophical enigma,it is simultane-ously a thing but no thing,and hence is paradoxical.To solve this paradox,Priest proposes a systematic formalization for theory of nothing based on paraconsistent logic and mereology.In this paper,we propose an alternative approach to resolve the paradox using a paracomplete logic,Lucasiewich 3-valued logic.We argue that,even though we accept Priest's characteriza-tions of nothing,accepting contradictions about nothing is still not necessary.
基金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)。
