In recent years,acoustic logic gates has attracted growing interest in acoustics due to their promising applications in acoustic communication and signal processing.For practical implementation,these logic gates must ...In recent years,acoustic logic gates has attracted growing interest in acoustics due to their promising applications in acoustic communication and signal processing.For practical implementation,these logic gates must operate over a certain bandwidth to ensure reliable performance.However,current experimental realizations have predominantly been confined to single-frequency or narrowband operation,leaving their broadband capabilities largely unverified.To address this gap,we present both numerical and experimental demonstrations of three basic acoustic logic gates(OR,NOT,and AND)using a phased unit cell composed of a central channel flanked by two arrays of semicircular cavities.By leveraging phase modulation of the unit cells and linear interference of sound,we achieve these logic operations with a uniform threshold of I_(t)=0.25.Remarkably,the measured fractional bandwidths(bandwidth relative to center frequency)reach approximately 111.5%(OR),37.2%(NOT),and 48.5%(AND),demonstrating ultra-broadband functionality.The proposed logic gates combine exceptional bandwidth with structural simplicity,offering significant potential for applications in acoustic computing,information processing,and integrated acoustic systems.展开更多
针对串行抵消列表(Successive Cancellation List,SCL)译码框架下基于搜索集的路径分裂选择策略的缺陷,提出两种改进策略:基于可靠性函数的路径分裂策略和依靠辅助路径度量值(Auxiliary Path Metric,APM)的剪枝策略。在此基础上,提出一...针对串行抵消列表(Successive Cancellation List,SCL)译码框架下基于搜索集的路径分裂选择策略的缺陷,提出两种改进策略:基于可靠性函数的路径分裂策略和依靠辅助路径度量值(Auxiliary Path Metric,APM)的剪枝策略。在此基础上,提出一种新的译码算法——基于可靠性函数的路径分裂选择策略辅助串行抵消列表(Path Splitting Selecting Strategy Based on Reliability Function under the Successive Cancellation List,PSS-RF-SCL)译码算法。该算法在译码阶段,每个信息比特在进行路径分裂前,会计算所有路径的路径度量(Path Metric,PM)值。利用这些PM值,进一步计算该比特的可靠性函数值。算法将可靠性函数值低于其平均值(即阈值α)的信息比特视为需要进行路径分裂的比特,从而减少了多余的路径分裂次数。此外,算法计算每条路径的APM值,并将APM值高于正确译码路径的APM平均值(即阈值β)的路径视为不可靠路径,对不可靠路径进行剪枝,有效控制了译码列表总数。仿真结果表明,相较于传统的基于搜索集的路径分裂策略辅助的SCL译码算法,所提出的PSS-RF-SCL译码算法在保持相同译码性能的前提条件下,显著降低了译码复杂度。展开更多
This paper presents a novel approach to design robust Source Coupled Logic (SCL) for implementing ultra low power circuits. In this paper, we propose two different source coupled logic structures and analyze the perfo...This paper presents a novel approach to design robust Source Coupled Logic (SCL) for implementing ultra low power circuits. In this paper, we propose two different source coupled logic structures and analyze the performance of these structures with STSCL (Sub-threshold SCL). The first design under consideration is DTPMOS as load device which analyses the performance of Dynamic Threshold SCL (DTSCL) Logic with previous source coupled logic for ultra low power operation. DTSCL circuits exhibit a better power-delay Performance compared with the STSCL Logic. It can be seen that the proposed circuit provides 56% reduction in power delay product. The second design under consideration uses basic current mirror active load device to provide required voltage swing. Current mirror source coupled logic (CMSCL) can be used for high speed operation. The advantage of this design is that it provides 54% reduction in power delay product over conventional STSCL. The main drawback of this design is that it provides a higher power dissipation compared to other source coupled logic structures. The proposed circuit provides lower sensitivity to temperature and power supply variation, with a superior control over power dissipation. Measurements of test structures simulated in 0.18 μm CMOS technology shows that the proposed DTSCL logic concept can be utilized successfully for bias currents as low as 1 pA. Measurements show that existing standard cell libraries offer a good solution for ultra low power SCL circuits. Cadence Virtuoso schematic editor and Spectre Simulation tools have been used.展开更多
In industrial control systems,such as power transmission facilities and water treatment plants,Programmable Logic Controllers(PLCs)can work consistently and stably over long periods if there are no faults.Black-box id...In industrial control systems,such as power transmission facilities and water treatment plants,Programmable Logic Controllers(PLCs)can work consistently and stably over long periods if there are no faults.Black-box identification aims to automatically construct Petri net models with the help of I/O signals from PLC devices only.The main challenge is how to convert the infinitely long PLC signals into an event sequence,which is the foundation for subsequent modeling.The current algorithms are confronted with a number of challenges,including an exponential increase in the number of transitions,high time complexity,and susceptibility to noisy signals.To solve these problems,this paper proposes a new method for converting PLC signals into a transition sequence.The method is based on the principles of Boolean absorption law,which filters out noise information in the I/O signals.Then firing functions representing input–output causality are constructed from the filtered signals.Finally,the original signal sequence is traversed to generate a transition sequence.The experimental results show that these methods can rapidly identify a transition sequence.Compared to traditional methods,the proposed algorithms have polynomial time complexity.展开更多
High-performance terahertz(THz)logic gate devices are crucial components for signal processing and modulation,playing a significant role in the application of THz communication and imaging.Here,we propose a THz broadb...High-performance terahertz(THz)logic gate devices are crucial components for signal processing and modulation,playing a significant role in the application of THz communication and imaging.Here,we propose a THz broadband NOR logic encoder based on a graphene-metal hybrid metasurface.The unit structure consists of two symmetrical dual-gap metal split-ring resonators(DSRRs)arranged in a staggered configuration,with graphene strips embedded in their gaps.The NOR logic gate metadevice is controlled by the bias voltages independently applied to the two electrodes.Experiments show that when the bias voltages are applied to both electrodes,the metadevice achieves the NOR logic gate within a 0.52 THz bandwidth,with an average modulation depth above 80%.The experimental results match well with theoretical simulations.Additionally,the strong near-field coupling induced by the staggered DSRRs causes redshift at both LC resonance and dipole resonance.This phenomenon was demonstrated by coupled mode theory.Besides,we analyze the surface current distribution at resonances and propose four equivalent circuit models to elucidate the physical mechanisms of modulation under distinct loaded voltage conditions.The results not only advance modulation and logic gate designs for THz communication but also demonstrate significant potential applications in 6G networks,THz imaging,and radar systems.展开更多
In connexive logic,two fundamental ideas are observed:first,no proposition im-plies or is implied by its own negation;second,if a proposition implies p then it will not imply the negation of 4p.In classical logic,neit...In connexive logic,two fundamental ideas are observed:first,no proposition im-plies or is implied by its own negation;second,if a proposition implies p then it will not imply the negation of 4p.In classical logic,neither of the ideas holds,which makes it difficult to give a natural semantics for connexive logic.By combining Kleene's three valued logic and Lewis'conditional logic,we propose a new natural semantics for connexive logic.We give four ax-iomatic systems characterizing different classes of selection models in the new semantics.We prove soundness and completeness of these logics and compare them with some comexive 1og-ics in the literature.展开更多
In-memory computing(IMC)based on spin-logic devices is regarded as an advantageous way to optimize the Von Neumann bottleneck.However,performing complete Boolean logic with spintronic devices typi-cally requires an in...In-memory computing(IMC)based on spin-logic devices is regarded as an advantageous way to optimize the Von Neumann bottleneck.However,performing complete Boolean logic with spintronic devices typi-cally requires an initialization operation,which can reduce processing speed.In this work,we conceptu-alize and experimentally demonstrate a programmable and initialization-free spin-logic gate,leveraging spin-orbit torque(SOT)to effectuate magnetization switching,assisted by in-plane Oersted field gener-ated by an integrated bias-field Au line.This spin-logic gate,fabricated as a Hall bar,allows complete Boolean logic operations without initialization.A current flowing through the bias-field line,which is electrically isolated from the device by a dielectric,generates an in-plane magnetic field that can invert the SOT-induced switching chirality,enabling on-the-fly complete Boolean logic operations.Additionally,the device demonstrated good reliability,repeatability,and reproducibility during logic operations.Our work demonstrates programmable and scalable spin-logic functions in a single device,offering a new approach for spin-logic operations in an IMC architecture.展开更多
As Model-Based Systems Engineering(MBSE)was applied to the Electric Multiple Unit(EMU)braking system control logic,a preliminary exploration was conducted for bullet train braking system control logic research using a...As Model-Based Systems Engineering(MBSE)was applied to the Electric Multiple Unit(EMU)braking system control logic,a preliminary exploration was conducted for bullet train braking system control logic research using an MBSE practice framework.The framework mainly includes the requirement analysis phase,functional analysis phase,and design phase.Systems Modeling Language(SysML)was used as the modeling language,and Cameo Systems Modeler(CSM)was employed as the modeling tool.By integrating the EMU braking system control logic and utilizing a top-down design approach,the implementation of MBSE in the bullet train braking system was analyzed and studied.The results show that,according to the MBSE practice framework,a unified description of the requirement analysis,functional analysis,and design synthesis of the EMU braking system control logic can be achieved.Additionally,the correlation and traceability between models can be established.展开更多
In modal logic,topological semantics is an intuitive and natural special case of neighbourhood semantics.This paper stems from the observation that the satisfaction relation of topological semantics applies to subset ...In modal logic,topological semantics is an intuitive and natural special case of neighbourhood semantics.This paper stems from the observation that the satisfaction relation of topological semantics applies to subset spaces which are more general than topological spaces.The minimal modal logic which is strongly sound and complete with respect to the class of subset spaces is found.Soundness and completeness results of some famous modal logics(e.g.S4,S5 and Tr)with respect to various important classes of subset spaces(eg intersection structures and complete fields of sets)are also proved.In the meantime,some known results,e.g.the soundness and completeness of Tr with respect to the class of discrete topological spaces,are proved directly using some modifications of the method of canonical mode1,without a detour via neighbourhood semantics or relational semantics.展开更多
Institutional logic theory,a pivotal framework within organizational studies,delineates the multifaceted and intricate logics that underpin organizational fields.This theoretical perspective elucidates the manner in w...Institutional logic theory,a pivotal framework within organizational studies,delineates the multifaceted and intricate logics that underpin organizational fields.This theoretical perspective elucidates the manner in which diverse individuals or groups within an organization internalize and manifest distinct institutional logics,alongside the ensuing political and cultural conflicts.Furthermore,the theory endeavors to elucidate the complexities inherent in institutional logic across organizational fields,examining the reflection of these logics among various individuals or groups and their associated political and cultural dichotomies.Central to this discourse is the acknowledgment of the core systems that constitute the fabric of a country,encompassing the state,market,familial structures,corporate entities,professional bodies,and religious institutions.These components not only coexist with inherent conflicts but also exhibit a high degree of interdependence,underlined by their shared institutional logics.This literature attempts to review and analysis institutional logic in the field of entrepreneurship and integrates institutional logic into entrepreneurs’personal background,experience,and other social characteristics,and study how institutional logic operates.It is recommended that future researchers take entrepreneurs as the research object and conduct more in-depth research on the evolution of organizational response strategies when political and cultural conflicts occur between different groups within the enterprise,combined with institutional logic theory.展开更多
This article extends the foundational work of Wang and Wang on modal logic over lattices.Building upon their framework using polyadic modal logic with binary modalities<sup>and<inf>under standard Kripke se...This article extends the foundational work of Wang and Wang on modal logic over lattices.Building upon their framework using polyadic modal logic with binary modalities<sup>and<inf>under standard Kripke semantics to axiomatize lattice structures,we focus on the modal characterization of bounded lattices and their extensions relevant to logical systems.By introducing nullary modalities 1(maximum element)and 0(minimum element),we first establish a modal axiomatic system for bounded lattices.Subsequently,we provide pure formula characterizations of complementation and orthocomplementation relations in lattices,along with corresponding completeness results.As key applications,we present modal characterizations of fundamental logical algebraic structures:Boolean algebras,orthomodular lattices,and Heyting algebras.The last section develops novel axiomatization results for atomic lattices and atomless lattices.Throughout this work,all axiomatic systems are shown to be strongly complete via pureformula extensions,demonstrating how hybrid modal languages with nullary operators can uniformly capture boundary elements,complementation properties,and latticetheoretic operations central to both classical and nonclassical logics.展开更多
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.展开更多
The ancient tacit knowledge behind the logic system permeated the culture and promoted numerous impactful inventions throughout the history. Traditional Chinese medicine with its effectiveness should also have stemmed...The ancient tacit knowledge behind the logic system permeated the culture and promoted numerous impactful inventions throughout the history. Traditional Chinese medicine with its effectiveness should also have stemmed out from such logic system. This article aims to rearticulate the underlying lucid multi-dimensional logic system, which faded in obscurity only because of time-out loss of the mid-right concept. Retracing this past tacit but important concept could uncover a multi-dimensional system over a point relating to all matters while capturing the central core of the matter. The seemingly unmanageable multidimensional logic was strengthened by verification processes which affirmed its further extensions, and made up the language of the people, the concepts of yin-yang(阴阳), and the development of extensions of Ba Gua(八卦) derivatives, which furthered the interpretation of the space-time properties and Chinese medicine.展开更多
This paper adopts a meta-scientific method to point out that the three major obstacles hindering the formation of a unified system theory in modern science are inconsistent concepts,conflicting basic assumptions,and d...This paper adopts a meta-scientific method to point out that the three major obstacles hindering the formation of a unified system theory in modern science are inconsistent concepts,conflicting basic assumptions,and differences in the selection of mathematical languages.It focuses on the issue of“selection of basic assumptions/axioms”for in-depth research.The paper analyzes the widespread problem of logical self-circulation in core theories across multiple fields of modern science,arguing that this problem is also an important reason for theoretical stagnation and the inability to explain phenomena in depth,and may lead to consequences in practical applications.In response,the paper reflects on the limitations of revolutionary methods and proposes a generalization method as a solution.The core of this method is to inherit the reasonable parts of Newtonian mechanics,reconstruct the physical theory of complex systems based on the latest cognition,adhere to clear concepts,logical self-consistency,and unrefuted axioms,and select axioms based on the criterion of supporting the sustainable development of human society.Finally,it points out that future research can be conducted in three directions:interdisciplinary research,new perspectives in the philosophy of science,and optimization of the logical structure of theories,so as to promote the improvement and development of scientific theories.展开更多
基金Project supported by the National Natural Science Foundation of China(Grant No.12174159)。
文摘In recent years,acoustic logic gates has attracted growing interest in acoustics due to their promising applications in acoustic communication and signal processing.For practical implementation,these logic gates must operate over a certain bandwidth to ensure reliable performance.However,current experimental realizations have predominantly been confined to single-frequency or narrowband operation,leaving their broadband capabilities largely unverified.To address this gap,we present both numerical and experimental demonstrations of three basic acoustic logic gates(OR,NOT,and AND)using a phased unit cell composed of a central channel flanked by two arrays of semicircular cavities.By leveraging phase modulation of the unit cells and linear interference of sound,we achieve these logic operations with a uniform threshold of I_(t)=0.25.Remarkably,the measured fractional bandwidths(bandwidth relative to center frequency)reach approximately 111.5%(OR),37.2%(NOT),and 48.5%(AND),demonstrating ultra-broadband functionality.The proposed logic gates combine exceptional bandwidth with structural simplicity,offering significant potential for applications in acoustic computing,information processing,and integrated acoustic systems.
文摘针对串行抵消列表(Successive Cancellation List,SCL)译码框架下基于搜索集的路径分裂选择策略的缺陷,提出两种改进策略:基于可靠性函数的路径分裂策略和依靠辅助路径度量值(Auxiliary Path Metric,APM)的剪枝策略。在此基础上,提出一种新的译码算法——基于可靠性函数的路径分裂选择策略辅助串行抵消列表(Path Splitting Selecting Strategy Based on Reliability Function under the Successive Cancellation List,PSS-RF-SCL)译码算法。该算法在译码阶段,每个信息比特在进行路径分裂前,会计算所有路径的路径度量(Path Metric,PM)值。利用这些PM值,进一步计算该比特的可靠性函数值。算法将可靠性函数值低于其平均值(即阈值α)的信息比特视为需要进行路径分裂的比特,从而减少了多余的路径分裂次数。此外,算法计算每条路径的APM值,并将APM值高于正确译码路径的APM平均值(即阈值β)的路径视为不可靠路径,对不可靠路径进行剪枝,有效控制了译码列表总数。仿真结果表明,相较于传统的基于搜索集的路径分裂策略辅助的SCL译码算法,所提出的PSS-RF-SCL译码算法在保持相同译码性能的前提条件下,显著降低了译码复杂度。
文摘This paper presents a novel approach to design robust Source Coupled Logic (SCL) for implementing ultra low power circuits. In this paper, we propose two different source coupled logic structures and analyze the performance of these structures with STSCL (Sub-threshold SCL). The first design under consideration is DTPMOS as load device which analyses the performance of Dynamic Threshold SCL (DTSCL) Logic with previous source coupled logic for ultra low power operation. DTSCL circuits exhibit a better power-delay Performance compared with the STSCL Logic. It can be seen that the proposed circuit provides 56% reduction in power delay product. The second design under consideration uses basic current mirror active load device to provide required voltage swing. Current mirror source coupled logic (CMSCL) can be used for high speed operation. The advantage of this design is that it provides 54% reduction in power delay product over conventional STSCL. The main drawback of this design is that it provides a higher power dissipation compared to other source coupled logic structures. The proposed circuit provides lower sensitivity to temperature and power supply variation, with a superior control over power dissipation. Measurements of test structures simulated in 0.18 μm CMOS technology shows that the proposed DTSCL logic concept can be utilized successfully for bias currents as low as 1 pA. Measurements show that existing standard cell libraries offer a good solution for ultra low power SCL circuits. Cadence Virtuoso schematic editor and Spectre Simulation tools have been used.
基金supported by the Science and Technology Planning Project of Fujian Province,China,under Grant No.2024H0014(2024H01010100).
文摘In industrial control systems,such as power transmission facilities and water treatment plants,Programmable Logic Controllers(PLCs)can work consistently and stably over long periods if there are no faults.Black-box identification aims to automatically construct Petri net models with the help of I/O signals from PLC devices only.The main challenge is how to convert the infinitely long PLC signals into an event sequence,which is the foundation for subsequent modeling.The current algorithms are confronted with a number of challenges,including an exponential increase in the number of transitions,high time complexity,and susceptibility to noisy signals.To solve these problems,this paper proposes a new method for converting PLC signals into a transition sequence.The method is based on the principles of Boolean absorption law,which filters out noise information in the I/O signals.Then firing functions representing input–output causality are constructed from the filtered signals.Finally,the original signal sequence is traversed to generate a transition sequence.The experimental results show that these methods can rapidly identify a transition sequence.Compared to traditional methods,the proposed algorithms have polynomial time complexity.
基金supported by the National Natural Science Foundation of China(Grant Nos.62005058 and 62365006)the Natural Science Foundation of Guangxi,China(Grant No.2020GXNSFBA238012)+2 种基金the China Postdoctoral Science Foundation(Grant No.2020M683726)the Innovation Project of Guangxi Graduate Education(Grant Nos.YCSW2024345 and YCBZ2025157)the Guangxi Key Laboratory of Automatic Detecting Technology and Instruments(Grant No.YQ24101).
文摘High-performance terahertz(THz)logic gate devices are crucial components for signal processing and modulation,playing a significant role in the application of THz communication and imaging.Here,we propose a THz broadband NOR logic encoder based on a graphene-metal hybrid metasurface.The unit structure consists of two symmetrical dual-gap metal split-ring resonators(DSRRs)arranged in a staggered configuration,with graphene strips embedded in their gaps.The NOR logic gate metadevice is controlled by the bias voltages independently applied to the two electrodes.Experiments show that when the bias voltages are applied to both electrodes,the metadevice achieves the NOR logic gate within a 0.52 THz bandwidth,with an average modulation depth above 80%.The experimental results match well with theoretical simulations.Additionally,the strong near-field coupling induced by the staggered DSRRs causes redshift at both LC resonance and dipole resonance.This phenomenon was demonstrated by coupled mode theory.Besides,we analyze the surface current distribution at resonances and propose four equivalent circuit models to elucidate the physical mechanisms of modulation under distinct loaded voltage conditions.The results not only advance modulation and logic gate designs for THz communication but also demonstrate significant potential applications in 6G networks,THz imaging,and radar systems.
基金supported by the MOE Project of Humanities and Social Sciences of China(Grant No.21YJA72040001)。
文摘In connexive logic,two fundamental ideas are observed:first,no proposition im-plies or is implied by its own negation;second,if a proposition implies p then it will not imply the negation of 4p.In classical logic,neither of the ideas holds,which makes it difficult to give a natural semantics for connexive logic.By combining Kleene's three valued logic and Lewis'conditional logic,we propose a new natural semantics for connexive logic.We give four ax-iomatic systems characterizing different classes of selection models in the new semantics.We prove soundness and completeness of these logics and compare them with some comexive 1og-ics in the literature.
基金supported by the National Science and Technology Major Project(2020AAA0109005)the National Natural Science Foundation of China(62374055,12327806,62304083,62074063,61821003,61904060,61904051,61674062)+4 种基金the Interdisciplinary Program of Wuhan National High Magnetic Field Center(WHMFC202119)the Shenzhen Science and Technology Program Award(JCYJ20220818103410022)the Shenzhen Virtual University Park(2021Szvup091)the Natural Science Foundation of Wuhan(2024040701010049)Shuai Zhang acknowledges support from the China Postdoctoral Science Foundation(2022M721237).
文摘In-memory computing(IMC)based on spin-logic devices is regarded as an advantageous way to optimize the Von Neumann bottleneck.However,performing complete Boolean logic with spintronic devices typi-cally requires an initialization operation,which can reduce processing speed.In this work,we conceptu-alize and experimentally demonstrate a programmable and initialization-free spin-logic gate,leveraging spin-orbit torque(SOT)to effectuate magnetization switching,assisted by in-plane Oersted field gener-ated by an integrated bias-field Au line.This spin-logic gate,fabricated as a Hall bar,allows complete Boolean logic operations without initialization.A current flowing through the bias-field line,which is electrically isolated from the device by a dielectric,generates an in-plane magnetic field that can invert the SOT-induced switching chirality,enabling on-the-fly complete Boolean logic operations.Additionally,the device demonstrated good reliability,repeatability,and reproducibility during logic operations.Our work demonstrates programmable and scalable spin-logic functions in a single device,offering a new approach for spin-logic operations in an IMC architecture.
文摘As Model-Based Systems Engineering(MBSE)was applied to the Electric Multiple Unit(EMU)braking system control logic,a preliminary exploration was conducted for bullet train braking system control logic research using an MBSE practice framework.The framework mainly includes the requirement analysis phase,functional analysis phase,and design phase.Systems Modeling Language(SysML)was used as the modeling language,and Cameo Systems Modeler(CSM)was employed as the modeling tool.By integrating the EMU braking system control logic and utilizing a top-down design approach,the implementation of MBSE in the bullet train braking system was analyzed and studied.The results show that,according to the MBSE practice framework,a unified description of the requirement analysis,functional analysis,and design synthesis of the EMU braking system control logic can be achieved.Additionally,the correlation and traceability between models can be established.
基金supported by the National Social Science Fund of China(No.20CZX048)。
文摘In modal logic,topological semantics is an intuitive and natural special case of neighbourhood semantics.This paper stems from the observation that the satisfaction relation of topological semantics applies to subset spaces which are more general than topological spaces.The minimal modal logic which is strongly sound and complete with respect to the class of subset spaces is found.Soundness and completeness results of some famous modal logics(e.g.S4,S5 and Tr)with respect to various important classes of subset spaces(eg intersection structures and complete fields of sets)are also proved.In the meantime,some known results,e.g.the soundness and completeness of Tr with respect to the class of discrete topological spaces,are proved directly using some modifications of the method of canonical mode1,without a detour via neighbourhood semantics or relational semantics.
文摘Institutional logic theory,a pivotal framework within organizational studies,delineates the multifaceted and intricate logics that underpin organizational fields.This theoretical perspective elucidates the manner in which diverse individuals or groups within an organization internalize and manifest distinct institutional logics,alongside the ensuing political and cultural conflicts.Furthermore,the theory endeavors to elucidate the complexities inherent in institutional logic across organizational fields,examining the reflection of these logics among various individuals or groups and their associated political and cultural dichotomies.Central to this discourse is the acknowledgment of the core systems that constitute the fabric of a country,encompassing the state,market,familial structures,corporate entities,professional bodies,and religious institutions.These components not only coexist with inherent conflicts but also exhibit a high degree of interdependence,underlined by their shared institutional logics.This literature attempts to review and analysis institutional logic in the field of entrepreneurship and integrates institutional logic into entrepreneurs’personal background,experience,and other social characteristics,and study how institutional logic operates.It is recommended that future researchers take entrepreneurs as the research object and conduct more in-depth research on the evolution of organizational response strategies when political and cultural conflicts occur between different groups within the enterprise,combined with institutional logic theory.
基金supported by China Postdoctoral Science Foundation(2024M750225).
文摘This article extends the foundational work of Wang and Wang on modal logic over lattices.Building upon their framework using polyadic modal logic with binary modalities<sup>and<inf>under standard Kripke semantics to axiomatize lattice structures,we focus on the modal characterization of bounded lattices and their extensions relevant to logical systems.By introducing nullary modalities 1(maximum element)and 0(minimum element),we first establish a modal axiomatic system for bounded lattices.Subsequently,we provide pure formula characterizations of complementation and orthocomplementation relations in lattices,along with corresponding completeness results.As key applications,we present modal characterizations of fundamental logical algebraic structures:Boolean algebras,orthomodular lattices,and Heyting algebras.The last section develops novel axiomatization results for atomic lattices and atomless lattices.Throughout this work,all axiomatic systems are shown to be strongly complete via pureformula extensions,demonstrating how hybrid modal languages with nullary operators can uniformly capture boundary elements,complementation properties,and latticetheoretic operations central to both classical and nonclassical logics.
基金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 ancient tacit knowledge behind the logic system permeated the culture and promoted numerous impactful inventions throughout the history. Traditional Chinese medicine with its effectiveness should also have stemmed out from such logic system. This article aims to rearticulate the underlying lucid multi-dimensional logic system, which faded in obscurity only because of time-out loss of the mid-right concept. Retracing this past tacit but important concept could uncover a multi-dimensional system over a point relating to all matters while capturing the central core of the matter. The seemingly unmanageable multidimensional logic was strengthened by verification processes which affirmed its further extensions, and made up the language of the people, the concepts of yin-yang(阴阳), and the development of extensions of Ba Gua(八卦) derivatives, which furthered the interpretation of the space-time properties and Chinese medicine.
基金supported by the start-up funding from Westlake University under Grant Number 041030150118.
文摘This paper adopts a meta-scientific method to point out that the three major obstacles hindering the formation of a unified system theory in modern science are inconsistent concepts,conflicting basic assumptions,and differences in the selection of mathematical languages.It focuses on the issue of“selection of basic assumptions/axioms”for in-depth research.The paper analyzes the widespread problem of logical self-circulation in core theories across multiple fields of modern science,arguing that this problem is also an important reason for theoretical stagnation and the inability to explain phenomena in depth,and may lead to consequences in practical applications.In response,the paper reflects on the limitations of revolutionary methods and proposes a generalization method as a solution.The core of this method is to inherit the reasonable parts of Newtonian mechanics,reconstruct the physical theory of complex systems based on the latest cognition,adhere to clear concepts,logical self-consistency,and unrefuted axioms,and select axioms based on the criterion of supporting the sustainable development of human society.Finally,it points out that future research can be conducted in three directions:interdisciplinary research,new perspectives in the philosophy of science,and optimization of the logical structure of theories,so as to promote the improvement and development of scientific theories.
