Logical Framework Research Articles

New Thoughts on Research Framework for Integrating Leader Voice-Taking Behavior: A Literature Review Based Study

Objective: The purpose of this study is to conduct a relatively comprehensive literature review with leader voice-taking behavior as the core dimension in order to construct a logical quantitative research framework for studying organizational innovation in the hospitality industry. Theoretical Framework: The framework can be used to guide the optimization of management processes in Chinese hospitality industry, especially in response to corporate innovation problems caused by leaders who do not pay attention to the voices of their front-line employees (FLEs). Method: This study used a theoretical integration of a conventional review of literature textual research, drawing on persuasion theory, social information processing theory, and affective event theory to explain a model of leader voice-taking behavior. Results and Discussion: The findings of this paper more systematically integrates the logical relationships between the dimensions related to leader voice-taking behavior, including message factors (promotive voice, prohibitive voice, issue importance, voice directness), source factors (employee’s voice efficacy, value congruence, employee loyalty, employee expertise) and context factors (diversity, LMX) as predictable antecedents of leader voice-taking behavior. On the other hand, FOCC and affective factors (positive emotions, relational energy) are potentially mediating the relationship between leader discourse behavior and service innovation in FLEs. Research Implications: This study provides theoretical support for leadership-employee related behavioral theories, emphasizes the role of voice-taking behavior in corporate innovation, and is instructive for quantitative analysis of Chinese hospitality industry related to this type of research. Originality/Value: This study contributes to the literature review by leader voice-taking behavior. This is academically capable of guiding other related research and has a strong academic value.

Student satisfaction and co-creation behavior in game-based learning in the context of higher education

ABSTRACT Drawing on an increasing body of investigation on student satisfaction and the Service – Dominant Logic theoretical framework (SDL), this study focuses on student perception of the value of Game-Based Learning (GBL) and student co-creation behavior in Higher Education (HE). To understand how student co-creation behavior promotes the creation of mutual value for students and in what ways this perception of value may contribute to satisfaction, a survey-based study was conducted with a sample size of 356 respondents. Structural Equation Modeling (SEM) was used to test the proposed model. Our results show that student co-creation behavior during GBL has no impact on the overall satisfaction of students, although there is a positive relationship between student citizenship behavior and student perception of value. The results show that students’ optimal perception of GBL in the context of their HE experience positively impacts their satisfaction with GBL. Finally, drawing on the findings, several managerial implications are suggested for Higher Education Institutions (HEIs), mainly for educators and educational developers.

Temporal logics for compartmental models

Abstract This paper introduces two logic frameworks for the study of SIR (Susceptible-Infected-Recovered) and SIRS compartmental epidemic models, one based on Linear Temporal Logic and the other on Computation Tree Logic. We provide a short literature overview on compartmental models and other related works using logics, and then define our logics with their respective axiomatizations, and demonstrate their soundness and completeness proofs.

On Conditional Axioms and Associated Inference Rules

In the present paper, we address the following general question in the framework of classical first-order logic. Assume that a certain mathematical principle can be formalized in a first-order language by a set E of conditional formulas of the form α(v)→β(v). Given a base theory T, we can use the set of conditional formulas E to extend the base theory in two natural ways. Either we add to T each formula in E as a new axiom (thus obtaining a theory denoted by T+E) or we extend T by using the formulas in E as instances of an inference rule (thus obtaining a theory denoted by T+E–Rule). The theory T+E will be stronger than T+E–Rule, but how much stronger can T+E be? More specifically, is T+E conservative over T+E–Rule for theorems of some fixed syntactical complexity Γ? Under very general assumptions on the set of conditional formulas E, we obtain two main conservation results in this regard. Firstly, if the formulas in E have low syntactical complexity with respect to some prescribed class of formulas Π and in the applications of E–Rule side formulas from the class Π and can be eliminated (in a certain precise sense), then T+E is ∀B(Π)-conservative over T+E–Rule. Secondly, if, in addition, E is a finite set with m conditional sentences, then nested applications of E–Rule of a depth at most of m suffice to obtain ∀B(Π) conservativity. These conservation results between axioms and inference rules extend well-known conservation theorems for fragments of first-order arithmetics to a general, purely logical framework.

Urban–Rural heterogeneity in the effect of population ageing on the savings rate of urban and rural households in China

As the second populous country in the world, China is confronted with the significant and rapid challenge of population ageing. The household savings rate is inevitably impacted by population ageing. Most existing research has been conducted using macro data from 31 provinces in China. However, most of them lacks consideration of urban-rural differences. Furthermore, there are concerns regarding the applicability of using macro data to study household-level microeconomic issues. Against this backdrop, the objectives of this paper are twofold: first, to investigate the effect of population ageing on the savings rates of urban and rural households in China. Second, this work examines whether urban–rural heterogeneity is evident in the impact of population ageing on household savings in China. This paper conducts a regression analysis on pseudo-panel data from 2010 to 2018 in China using micro-level household data from China Family Panel Studies and employing a Feasible Generalized Least Squares model. The key contribution of this paper is converting cross-sectional microdata into pseudo-panel data, enabling regression analysis within a logical and rigorous theoretical framework. It addresses limitations on existing literature, which predominantly relies on macro data. Additionally, the study takes into account heterogeneity, individual differences, and multicollinearity in regression model selection, thereby remedying the shortcomings of model selection in the majority of the existing literature based on pseudo-panel data. The findings reveal the heterogeneity of household savings rates in urban and rural China, as well as the heterogeneity of the impact of population ageing on the savings rates of urban and rural households in China. Specifically, population ageing significantly reduces household savings rates in both China and rural areas, but significantly increases the savings rates of urban households. Moreover, in the context of population ageing, urban household savings rates are significantly lower than those in rural areas. Policymakers should strengthen urbanization efforts to reduce the urban-rural disparity. In addition, to mitigate the impact of population ageing on savings rates, policymakers should encourage fertility in order to improve household demographics. They should also strengthen investment in education to reduce the burden of household expenditure on education. In addition, policymakers should promote entrepreneurship, provide job training in order to increase household incomes.

Categoricity Problem for LP and K3

AbstractEven though the strong relationship between proof-theoretic and model-theoretic notions in one’s logical theory can be shown by soundness and completeness proofs, whether we can define the model-theoretic notions by means of the inferences in a proof system is not at all trivial. For instance, provable inferences in a proof system of classical logic in the logical framework do not determine its intended models as shown by Carnap (Formalization of logic, Harvard University Press, Cambridge, 1943), i.e., there are non-Boolean models that satisfy its provable inferences. In the literature, this is known as the Categoricity problem or Carnap’s problem. In this paper, we will discuss the Categoricity problem (or Carnap’s problem) for three-valued logics K3 and LP. We will provide three different restrictions on admissible models that will deliver us categoricity results, some of which draw from the solutions provided for the Categoricity problem for classical logic in Belnap and Massey (Stud Log 49(1):67–82, 1990) and Bonnay and Westerståhl (Erkenntis 81(4):721–739, 2016). We will then argue that two of those solutions are philosophically well-motivated: (1) restricting the admissible models where negation is interpreted as a Strong Kleene truth-function, and (2) restricting the admissible models where a complex formula is assigned the third value when its immediate subformulas are assigned the third value.

A logical retrofit strategy optimization framework for resiliency bridge infrastructure management considering life-cycle cost

Bridges play an important role in providing essential services to communities as one of the most critical components of transportation infrastructure. In this regard, selecting reliable, robust, and efficient indicators is necessary to prepare a disaster management strategy. This study presents a multi-objective optimization framework for decision-makers to find the most optimal retrofit strategies that satisfy a given threshold of functionality/Resilience (R) while minimizing a structure's Life-Cycle Cost (LCC). Accordingly, various retrofit strategies include different materials (steel, Carbon Fiber Reinforced Polymer (CFRP), and Glass Fiber Reinforced Polymer (GFRP)), thicknesses, arrangements, and timing of retrofitting actions. In each scenario, the fragility curves are derived through nonlinear time-history Incremental Dynamic Analysis (IDA) to evaluate the LCC and resilience. In the subsequent step, the LCC analysis is conducted, considering the proposed formulation of multiple occurrences of seismic events, which incorporates the effects of complete/incomplete repair actions of damage conditions induced by previous seismic events. This study employs an elitist Non-dominated Sorting Genetic Algorithm II (NSGA-II) to identify the optimal set of solutions. The various aspects of the optimal retrofit strategies are thoroughly investigated and discussed for a bridge as a case study infrastructure. Results show that the considered objectives lead to reasonable and sense-making retrofit strategies.

Rules of Explosion and Excluded Middle: Constructing a Unified Single-Succedent Gentzen-Style Framework for Classical, Paradefinite, Paraconsistent, and Paracomplete Logics

Rules of Explosion and Excluded Middle: Constructing a Unified Single-Succedent Gentzen-Style Framework for Classical, Paradefinite, Paraconsistent, and Paracomplete Logics

Mainstreaming Climate Change Adaptation into Sectoral Plans: An Assessment Based on the Logical Framework Approach

Although climate change adaptation (CCA) and spatial planning are relevant to promoting climate resilience, Italy shows a certain lack of studies focused on the coherence between national CCA objectives and sectoral plans. We aim to investigate such a research gap and propose and apply a logical framework approach (LFA)-based method to assess the coherence of sectoral plans adopted in Sardinia (Italy) with the missions of the Italian National Climate Change Adaptation Plan (NCCAP). We apply LFA to analytically scrutinize sectoral plans by reconstructing their strategic framework—including objectives and actions—and comparing them to the CCA objectives established by the NCCAP. The purpose is to provide the regional administrations with a methodological approach and tangible findings, suggesting the need for updating plans lacking CCA contents and contributing to the drafting or updating of the regional strategy for CCA. The method adopted in this study allowed us to identify plan objectives and actions that fully or partially integrate NCCAP objectives. Then, plans partially (or not at all) consistent with the NCCAP can be integrated with CCA contents. This is relevant to promoting climate resilience issues in plans that have clear effects in terms of spatial, landscape, and urban planning, according to different governance levels.

Inspiration from hyperbolic paraboloid folding for clothing design

PurposeThis study aims to increase the novelty of clothing design and fabric texture. The element library that can be used for design is systematically summarized. The element database can also be continuously filled according to the existing logic to realize the diversity of design. Improve the theory of fashion design, expand the designer's design ideas and improve design efficiency. Clear design steps and logic can help students and machines learn the design process and promote the development of intelligent design. And verify the feasibility of the simulation software to assist pleated clothing design.Design/methodology/approachFirstly, according to the logical framework of origami theory, different innovative designs and combined designs are made for the basic units of hyperbolic paraboloid, and the element library that can be used for design is systematically summarized. This database can also be continuously filled according to the existing logic to realize the diversity of design. Secondly, it summarizes three methods of pleated element filling clothing – uniform filling method, the irregular filling method and geometric addition method – that improve the theory of fashion design, expand the designer's design ideas and improve design efficiency. Clear design steps and logic can help students and machines learn the design process and promote the development of intelligent design. Finally, the virtual software is used to simulate the effect of pleated clothing, and the three-dimensional simulation software 3dclo is used to make an empirical study on the application of hyperbolic paraboloid origami in clothing pleated design to verify the feasibility of the simulation software to assist pleated clothing design.FindingsThe theoretical results of hyperbolic paraboloid origami are collected and arranged to establish the element library of hyperbolic paraboloid origami. The results expand the designer's design ideas and auxiliary design technology and improve the design efficiency using a sample of hyperbolic paraboloid fabric to verify its practicability and three-dimensional clothing simulation software for exploring the design. The design rules of hyperbolic paraboloid clothing and the realization method of fabric are summarized, including the expansion and combing of elements, the application of size and shape and the method of combination.Research limitations/implicationsOwing to the hyperbolic paraboloid origami’s length shrinkage, the loose computation of clothing requires targeted computation. This paper solely applies a paper model for estimating the shrinkage, and then we tend to subsequently explore the way to precisely compute the porosity, to determine the existing differences in the two-dimensional shrinkage of hyperbolic paraboloid creases of varying materials and to know if the clothing after large-scale production is capable of reaching the anticipated value.Practical implicationsThe exploration of this experiment brings a new 3D experiment process to the design process.Social implicationsThis experiment brings new possibilities for the development of virtual fitting and virtual display in the industry.Originality/valueThis study combines hyperbolic paraboloid origami and clothing and combs and expands the unit with logical thinking to expand the designer's design ideas.

Proceedings 18th International Workshop on Logical and Semantic Frameworks, with Applications and 10th Workshop on Horn Clauses for Verification and Synthesis

Proceedings 18th International Workshop on Logical and Semantic Frameworks, with Applications and 10th Workshop on Horn Clauses for Verification and Synthesis

Molecular simulation of competitive adsorption of CO2/N2/O2 gas in bituminous coal

The main cause of coal spontaneous combustion is the oxidation and temperature rise of coal. Injecting composite inert gas for fire prevention and extinguishing is one of the important methods to prevent coal spontaneous combustion. A large number of studies have macroscopically investigated the fire prevention and extinguishing effects of CO2/N2 and their synergistic actions. However, there is currently a lack of research at the molecular level on the competitive adsorption mechanism between mixed inert gases (CO2, N2) and O2 molecules in coal. Therefore, this study conducted adsorption experiments using Qian Yingzi(QYZ) bituminous coal and compared them with the simulation data of the Wiser coal model to verify the reliability of the Wiser model. Subsequently, employing grand canonical Monte Carlo (GCMC) and molecular dynamics (MD) methods, the competitive adsorption behavior of different proportions of binary mixed component gases (CO2/O2, CO2/N2, O2/N2) at a temperature of 303.15 K was investigated from five perspectives: adsorption capacity, adsorption selectivity coefficient, potential energy distribution, competitive adsorption heat, and interaction energy. The results indicate that among the competitive component gases, CO2 exhibits the strongest adsorption effect on the entire system, which is closely correlated with the distribution range of adsorption energy sites. The adsorption heat and adsorption amount of CO2 consistently exhibit a negative correlation, whereas the relationship between the adsorption heat of N2 and O2 and the adsorption amount shows a positive correlation. Their adsorption capacities depend on the pressure and the proportion of the two gases. Based on the isothermal adsorption curve of CO2/N2, it is recommended that the gas pressure during actual inert gas injection be less than 2.5 MPa. Under this pressure, the competitive adsorption effect is no longer significant, providing a certain theoretical basis for high-pressure injection. Moreover, the preliminary determination of the optimal injection ratio range is from 4:6–3:7. Furthermore, a systematic logical framework for selecting underground inert gas composition is proposed, and an underground mobile inert gas infusion process is adopted. The actual gas composition for infusion is determined based on cost factors in practical engineering. The research results can provide guidance for the selection of gas injection parameters for mixed inert gas fire prevention and extinguishing in goaf.

Almost Existentially Closed Models in Positive Logic

This paper explores the concept of almost positively closed models in the framework of positive logic. To accomplish this, we initially define various forms of the positive amalgamation property, such as h-amalgamation and symmetric and asymmetric amalgamation properties. Subsequently, we introduce certain structures that enjoy these properties. Following this, we introduce the concepts of Δ-almost positively closed and Δ-weekly almost positively closed. The classes of these structures contain and exhibit properties that closely resemble those of positive existentially closed models. In order to investigate the relationship between positive almost closed and positive strong amalgamation properties, we first introduce the sets of positive algebraic formulas ET and AlgT and the properties of positive strong amalgamation. We then show that if a model A of a theory T is a ET+A-weekly almost positively closed, then A is a positive strong amalgamation basis of T, and if A is a positive strong amalgamation basis of T, then A is AlT+A-weekly almost positively closed.

Revealing patterns in Be12O12-metal nanocages as a nitrosourea drug delivery system: DFT, SERS, solvent effects and the role of periods and groups

The use of targeted drugs has emphasized the potential of nanomaterials as carriers for decreasing therapeutic side effects, and cancer therapy has long been an area of study. In this work, we used density functional theory (DFT) and time dependent-DFT simulations to examine the decorating of different metals on Be12O12 as parameters for nitrosourea (NUA) delivery carriers. We looked at the electrical and adsorption characteristics, as well as spectrum analysis and docking. Drugs on nanocages have the potential to adsorb with less energy gap and hardness than the free drug, which could facilitate electron transfer and signal activity at the target location. The drug’s adsorption characteristics can be efficiently changed by charge transfer between the NUA and the nanocages. This study assessed metal-decorated BeO nanocages’ ability to deliver nitrosourea in both vacuum and aqueous settings, offering a logical framework for creating new nitrosourea drug carriers. The present work can be extended to investigate the effect of other various types of nanorings and nanocages to study doping effects and drug delivery carrier properties.

A logic framework for addressing medical racism in academic medicine: an analysis of qualitative data

BackgroundDespite decades of anti-racism and equity, diversity, and inclusion (EDI) interventions in academic medicine, medical racism continues to harm patients and healthcare providers. We sought to deeply explore experiences and beliefs about medical racism among academic clinicians to understand the drivers of persistent medical racism and to inform intervention design.MethodsWe interviewed academically-affiliated clinicians with any racial identity from the Departments of Family Medicine, Cardiac Sciences, Emergency Medicine, and Medicine to understand their experiences and perceptions of medical racism. We performed thematic content analysis of semi-structured interview data to understand the barriers and facilitators of ongoing medical racism. Based on participant narratives, we developed a logic framework that demonstrates the necessary steps in the process of addressing racism using if/then logic. This framework was then applied to all narratives and the barriers to addressing medical racism were aligned with each step in the logic framework. Proposed interventions, as suggested by participants or study team members and/or identified in the literature, were matched to these identified barriers to addressing racism.ResultsParticipant narratives of their experiences of medical racism demonstrated multiple barriers to addressing racism, such as a perceived lack of empathy from white colleagues. Few potential facilitators to addressing racism were also identified, including shared language to understand racism. The logic framework suggested that addressing racism requires individuals to understand, recognize, name, and confront medical racism.ConclusionsOrganizations can use this logic framework to understand their local context and select targeted anti-racism or EDI interventions. Theory-informed approaches to medical racism may be more effective than interventions that do not address local barriers or facilitators for persistent medical racism.

Digital transformation of the agricultural industry: Behavioral decision-making, influencing factors, and simulation practices in the Yunnan highlands

Motivating the agricultural industry to engage in digital transformation is a challenge academically and socially. It is of great significance to study the choice of digital transformation mode of agricultural industrial organization and analyze its driving factors for promoting the sustainable development of agricultural industrial organization. This study adopts a bilateral evolutionary game to construct a decision-making model for behavioral decision-making during the digital transformation of the agricultural industry. The contingent-actual logical framework and multiple case studies of Yunnan highland agriculture are used to explore the impact of various factors on behavioral decision-making during the digital transformation of the agricultural industry. Additionally, a simulation analysis is used to verify the validity of the bilateral evolutionary game model. The results demonstrate that: (1) When the agricultural industry chooses “active transformation,” behavioral decision-making during the digital transformation of the agricultural industry reaches a Nash equilibrium; (2) transformation costs, industry revenue, and reward and penalty mechanisms are the main driving factors for whether or not the agricultural industry chooses to actively engage in digital transformation; and (3) the probability of active digital transformation increases when agricultural industry organizations obtain higher returns at lower costs. Simultaneously, the higher the government's incentives, the greater the enthusiasm. However, when the penalty is excessive, the digital transformation takes the shape of either passive transformation or forced active transformation. Subsequently, it is necessary to improve the digital transformation planning of the agricultural industry, strengthen this field's cooperation mechanism, and formulate a reasonable reward and penalty system for digital transformation.

Herbrandized modified realizability

Realizability notions in mathematical logic have a long history, which can be traced back to the work of Stephen Kleene in the 1940s, aimed at exploring the foundations of intuitionistic logic. Kleene’s initial realizability laid the ground for more sophisticated notions such as Kreisel’s modified realizability and various modern approaches. In this context, our work aligns with the lineage of realizability strategies that emphasize the accumulation, rather than the propagation of precise witnesses. In this paper, we introduce a new notion of realizability, namely herbrandized modified realizability. This novel form of (cumulative) realizability, presented within the framework of semi-intuitionistic logic is based on a recently developed star combinatory calculus, which enables the gathering of witnesses into nonempty finite sets. We also show that the previous analysis can be extended from logic to (Heyting) arithmetic.

The New Development Economics as a Methodological and Ideological Discipline

The article is devoted to the description of a fundamentally new configuration of the discipline "Development Economics", offered as a theoretical understanding of modern transformation processes in the world economy. The discipline is designed for master's programs of economic directions of training, although it is built on the basis of an interdisciplinary approach. It is shown that the traditional courses on development economics, formed in the West in recent decades, were aimed at explaining the economic backwardness of developing countries and developing recommendations for overcoming the lag in the framework of globalization logic of the world economy development. The problems of developing countries and recipes for economic modernization have been presented in the format of macroeconomic models and institutional explanatory schemes, which do not reflect the much deeper causes of underdevelopment. At the beginning of the 21st century, the topics of Western courses were supplemented with global challenges of human development – inequality and poverty, environmental pollution, the UN Sustainable Development Goals, the "green agenda", and so on. However, these problems are also treated within the framework of the devalued globalist agenda. The ongoing deglobalization and the search for a new world economic order have devalued the theoretical background of traditional development economics. In the proposed new discipline, the problem of modern economic development is revealed with the help of geographical, geo-economic, long-term technological, institutional factors, with the involvement of the latest research in the framework of economic theory and related scientific directions of both domestic and foreign authors. The authors propose a competitive non-equilibrium paradigm of economic processes as the basic ontological concept of the course, in contrast to the implicitly existing equilibrium paradigm in the standard versions of the course "Development Economics".

Development of the logical system for forecasting wind characteristics in the urban conditions

This study is devoted to the development of a logical system to improve the efficiency of wind turbines with the identification of patterns and relationships between wind speeds and directions in urban conditions. The results of the study made it possible to identify approaches to use wind energy efficiently to produce electricity with minimal losses for the power supply of urban facilities. Data Mining methods were applied, the dependencies between weather data were examined. Machine Learning algorithms have also been applied to forecast wind speed and direction in order to increase the efficiency of power generation. A thorough exploratory data analysis was carried out, including visualization of meteorological data and the study of their statistical indicators. To predict wind speed, numerical indicators such as air temperature, wind direction, pressure tendency and atmospheric pressure were taken. Linear Regression, Decision Tree and Support Vector Machine were taken as Machine Learning models. The results revealed that the Random Forest turned out to be the most effective, with a mean squared error of 0.302. According to the results of the research, it was found that the initial data on the characteristics of the wind are highly distorted when it circulates in the urban environment due to the influence of urban development. However, the use of a logical system made it possible to predict and adapt the operation of wind turbines to changes in wind characteristics with minimal losses. A pivotal outcome of this study is the creation of a real-time data processing system, enabling accurate predictions of wind characteristics from speed and direction measuring devices. Additionally, a MATLAB Simulink-based computer model was developed to explore the logical system's influence on wind turbine performance. The findings underscore the efficacy of employing forecasting within a logical system framework to harness wind energy efficiently, contributing to sustainable urban energy solutions

Manager myopia and green technology innovation

PurposeWith the growing concern of various sectors of society regarding environmental issues and the promotion of sustainable development, green technology innovation is generally considered to be conducive to the long-term development of enterprises. However, because of the existence of agency problems, managers may have shortsighted behaviors. Then how will managers' shortsighted behaviors affect enterprises' green technology innovation?Design/methodology/approachThis paper uses machine learning-based text analysis methods to construct a manager myopia index based on the data from A-share listed companies on the Shanghai and Shenzhen Stock Exchanges from 2015 to 2020. We examine the impact of manager myopia on green technology innovation in companies.FindingsOur study finds that manager myopia significantly inhibits green technology innovation in companies. However, when multiple large shareholders coexist and the proportion of institutional investors' holdings is high, it can alleviate the inhibitory effect of manager myopia on green innovation. Heterogeneity tests show that the impact of manager myopia on green technology innovation is relatively significant in non-state-owned and manufacturing companies, as well as in the electricity industry. Robustness tests demonstrate that our conclusions remain valid after using propensity score matching to eliminate endogeneity problems.Originality/valueFrom the perspective of corporate governance, this paper incorporates managers' shortsightedness, multiple large shareholders and institutional investors' shareholding ratios into the same logical framework, analyzes their internal mechanisms, helps improve corporate governance, enhances green innovation capabilities and has strong implications for the implementation of national innovation-driven development strategies and the achievement of “carbon peak” and “carbon neutrality” targets.