Skip to content
Free planNo credit card requiredStart writing
AI for Research home
AI for Research home
Dashboard
Sign inGet started

Search 250 million research papers

Read the abstract, see who wrote it and who cites it, and get the citation in APA, MLA, Chicago or Harvard.

About 10,000 papers for “Logical framework”

Logical framework.

Obinna Onwujekwe (306460), Lindsay Mangham-Jefferies (787712), Bonnie Cundill (206712) et al. · Figshare · 2015

Cited by 0Open access

Logical framework.

Xiaofei Shi (1830124), Yuanhao Shen (11604429), Yuanfang Wang (1482457) et al. · Figshare · 2025

<div> Tax avoidance is a widespread problem, much explored in the literature. Using a sample of A-share listed companies in China from 2009 to 2021, this study finds that analyst coverage significantly inhibits corporate tax avoidance behavior, mainly by improving the information environment and alleviating agency problems. Further analysis finds that the role of analyst coverage is more significant in firms where investment in innovation is limited, state-owned enterprises, and those with low management shareholding. The paper enriches the relevant literatures about analyst coverage and corporate tax avoidance, identifies the potential to inhibit corporate tax avoidance from the perspective of information environment and agency costs and provides suggestions for regulators and corporate governance. </div>

Cited by 0Open access

Logical framework.

Dongchao Zhang (1608808), Xiyue Zheng (16851612), Fusheng Wang (102710) · Figshare · 2023

&lt;div&gt;&lt;p&gt;This paper analyzes the impact of internationalization tactics on the value of 1107 multinational enterprises investing in the "Belt and Road" countries (regions) based on the two dimensions: entry mode and the degree of internationalization (including the breadth and depth of internationalization). It is found that the choice of sole proprietorship in the "Belt and Road" countries has a positive effect on enterprise value than joint venture. The increase of internationalization breadth and depth can promote enterprise value. Further research shows that the institutional environment of the host country and the digital transformation of enterprises significantly affect the choice of internationalization tactics and enterprise value. Specifically, the better the institutional environment of the host country and the more adequate the digital transformation of enterprises, the more inclined enterprises are to choose the sole proprietorship in the "Belt and Road" countries (regions) to obtain higher enterprise value. A good institutional environment of the host country and the digital transformation of enterprises can positively regulate the relationship between the degree of internationalization and enterprise value. these findings have important for Chinese enterprises to implement internationalization tactics rationally and scientifically, and to continuously improve enterprise value.&lt;/p&gt;&lt;/div&gt;

Cited by 0Open access

Logical relations for a logical framework

Florian Rabe, Kristina Sojakova · ACM Transactions on Computational Logic · 2013

Logical relations are a central concept used to study various higher-order type theories and occur frequently in the proofs of a wide variety of meta-theorems. Besides extending the logical relation principle to more general languages, an important research question has been how to represent and thus verify logical relation arguments in logical frameworks. We formulate a theory of logical relations for Dependent Type Theory (DTT) with β η-equality which guarantees that any valid logical relation satisfies the Basic Lemma. Our definition is syntactic and reflective in the sense that a relation at a type is represented as a DTT type family but also permits expressing certain semantic definitions. We use the Edinburgh Logical Framework (LF) incarnation of DTT and implement our notion of logical relations in the type-checker Twelf. This enables us to formalize and mechanically decide the validity of logical relation arguments. Furthermore, our implementation includes a module system so that logical relations can be built modularly. We validate our approach by formalizing and verifying several syntactic and semantic meta-theorems in Twelf. Moreover, we show how object languages encoded in DTT can inherit a notion of logical relation from the logical framework.

Cited by 7

A Logical Framework

Göran Sundholm · Revista de Humanidades de Valparaíso · 2013

El artculo presenta un marco de distinciones

Cited by 0Open access

Logical Framework Template

Swaling, Julia · MELSpace (ICARDA (The International Center for Agricultural Research in Dry Areas)) · 2020

Provides a standardized template to create logical frameworks for ICARDA projects.

Cited by 0Open access

Logical framework diagram.

Ping Peng (112878), Xingwang Zhu (5071163) · Figshare · 2024

&lt;div&gt;&lt;p&gt;An enterprise’s ownership structure is crucial for factor allocation efficiency. We used Chinese firm-level data to investigate whether changes in state-owned enterprise ownership structure contribute to resource misallocation, leading to high-quality economic development. We found a U-shaped relationship between non-state shareholding and state-owned enterprises’ resource allocation efficiency. An optimal range exists for non-state shareholding. When the shareholding of non-state shareholders reaches 10%–20%, the efficiency of resource allocation is at its highest. Additional research has revealed that mixed shareholding has varying impacts on resource allocation, displaying substantial heterogeneity. These insights offer valuable guidance for future mixed-ownership reforms and serve as a practical reference for economic reforms in other nations, particularly developing countries.&lt;/p&gt;&lt;/div&gt;

Cited by 0Open access

Main logical framework.

Aiqin Zhang (620075), Xiaoqiang Guo (255007), Wenjie Zhang (179664) et al. · Figshare · 2025

&lt;div&gt;&lt;p&gt;The exploration of digital transformation peer effects on the innovation performance of emerging industries is crucial for analyzing the underlying mechanisms of digital transformation, optimizing resource allocation among peer enterprises, and enhancing industrial competitiveness. This study empirically examines the influence of digital transformation peer effects on the innovation performance of the photovoltaic industry, using data from 150 photovoltaic companies listed in Shanghai and Shenzhen between 2011 and 2022. The study found that: (1) The digital transformation of the photovoltaic industry is influenced by regional and industry-specific peer effects. Regional peer effects in digital transformation have a positive impact on the innovation performance of the photovoltaic industry, while industry-specific peer effects exert a negative impact on innovation performance. Moreover, these effects exhibit dynamic persistence; (2) Further analysis of the transmission mechanism reveals that the digital transformation peer effect positively influences the innovation performance of the photovoltaic industry, primarily through the mediating role of enhanced absorptive capacity. Additionally, the level of marketization and executive tenure significantly moderate this relationship; (3) The study further investigates the photovoltaic industry within the context of subsidy policy implementation, firm types, and strategic pacing. The results indicate that the digital transformation peer effect on innovation performance is most pronounced for technology-intensive firms adopting an analytical strategy after the withdrawal of photovoltaic subsidies. For labor-intensive firms employing a defensive strategy, the peer effect is more significant before the withdrawal of subsidies. In contrast, the negative impact of industry-specific digital transformation peer effects on innovation performance is more evident in photovoltaic companies that pursue an offensive strategy; (4) The heterogeneity analysis reveals that the digital transformation peer effect on innovation performance is more significant for small-scale photovoltaic enterprises with state-owned property rights. In contrast, the peer effect negatively impacts innovation performance in large-scale photovoltaic enterprises. These findings provide theoretical insights and practical guidance for governments and enterprises in formulating digital transformation strategies for emerging industries.&lt;/p&gt;&lt;/div&gt;

Cited by 0Open access

The logical framework.

Hui Zhao (7395), Weihan Wang (3280248), Mengran Zhang (833510) · Figshare · 2022

&lt;p&gt;The right column of the figure is three stages analyzed in this paper, and the left column of the figure is the specific theories and methods used in the current stage.&lt;/p&gt;

Cited by 0Open access

A Hybrid Logical Framework

Jason Reed, Karl Crary, Robert Harper · 2009

The logical framework LF is a constructive type theory of dependent functions that can elegantly encode many other logical systems. Prior work has studied the benefits of extending it to the linear logical framework LLF, for the incorporation of linear logic features into the type theory affords good representations of state change. We describe and argue for the usefulness of an extension of LF by features inspired by hybrid logic, which has several benefits. For one, it shows how linear logic features can be decomposed into primitive operations manipulating abstract resource labels. More importantly, it makes it possible to realize a metalogical framework capable of reasoning about stateful deductive systems encoded in the style familiar from prior work with LLF, taking advantage of familiar methodologies used for metatheoretic reasoning in LF. Acknowledgments From the very first computer science course I took at CMU, Frank Pfenning has been an exceptional teacher and mentor. For his patience, breadth of knowledge, and mathematical good taste I am extremely thankful. No less

Cited by 0

The logical framework diagram.

Jiarong Huang (6007928), Lixin Zhou (80162), Shuai Song (3351002) et al. · Figshare · 2025

&lt;div&gt;&lt;p&gt;Green innovation is essential for sustainable development, especially in China’s Specialized-Refined-Differentiated-Innovative (SRDI) enterprises. Family-owned SRDI firms, in particular, have attracted attention due to their de-familization strategies and their influence on green innovation. Our study analyzes panel data from 2016 to 2021 for listed SRDI family firms to investigate how de-familization in management rights and ownership impacts green innovation. Using socio-emotional wealth (SEW) theory and a fixed-effects model, we find that de-familization significantly negatively affects green innovation, with corporate governance serving as a mediating factor. Digital transformation moderates these negative effects, while market concentration exacerbates them. These impacts are more pronounced in firms before being designated as "Little Giants," those receiving higher government subsidies, those located in eastern regions, or those not classified as major polluters. This research provides actionable insights for SRDI family firms to strategically manage de-familization, optimize resource allocation, implement customized governance strategies, and promote sustainable growth.&lt;/p&gt;&lt;/div&gt;

Cited by 0Open access

The logical framework diagram.

Xuelan Li (8209785), Jiyu Jiang (16679680), Javier Cifuentes-Faura (16679683) · Figshare · 2023

&lt;div&gt;&lt;p&gt;Background&lt;/p&gt;&lt;p&gt;To vigorously promote the integrated development and mutual adaptation of agriculture and logistics is an important way to realize agricultural modernization and rural revitalization. Along with the policy support of agricultural industry chain and the steady rise of the demand for agricultural products market, the total amount of agricultural product logistics continues to increase, and the growth rate remains stable. With the booming development of "Internet + agriculture" and e-commerce platform, agricultural logistic market welcomes a new round of development opportunities, reaching several trillion yuan. Compared with the developed countries, our agricultural product logistics is still far behind. At present, only 15% of vegetables and fruits and 30% of fresh meat have professional logistic transportation, while most of the rest are still in the state of local and primitive. The gap of logistic environment construction and logistic elements determines the difference in final benefit of agricultural products. The purpose of this study is to find out the influence of logistic elements on regional agricultural economic growth, and whether the influence between neighboring regions presents "the same prosperity", "the same loss" or "sharing weal and woe".&lt;/p&gt;&lt;p&gt;Methods&lt;/p&gt;&lt;p&gt;Based on the panel data of the statistical yearbook of 31 provinces in China from 2005 to 2020, the spatial Durbin model was constructed under the spatial weight matrix of economic distance and economic geographical distance to conduct empirical analysis, and the internal factors of logistics industry, factor spillover effect and its impact on agricultural economic growth were studied.&lt;/p&gt;&lt;p&gt;Results&lt;/p&gt;&lt;p&gt;Results showed that: (1) considering economic distance factor, the spatial coefficient of the time-fixed effects model passed the significance test in eastern China. Considering economic geographic distance factors, the individual and double fixed effect models passed the significance test in central China, and all models passed the significance test in western China. (2) From the perspective of logistic infrastructure, AVLFA, HM, TN and RM had a positive effect on the growth of agricultural economy in eastern China, but LIAV is on the contrary. AVLFA had a positive effect on agricultural economic growth, but TN was on the contrary in central China. In western China, LIAV and TN promoted agricultural economy while HM and RM held back it. From the perspective of the volume of logistics activity, both eastern and central regions did not pass the significance test, but FA was tested by the double fixed effect model and showed negative in western China. From the perspective of control variables, FU, AO and PT all promoted agricultural economy in eastern China, and FU and AO did the same in central and western China. PT was invalid in central regions and hindered agricultural economy in western China, which was different.&lt;/p&gt;&lt;p&gt;Conclusion&lt;/p&gt;&lt;p&gt;From the perspective of spatial spillover effect decomposition, the eastern region presents "one prosperity and all prosperity, and sharing weal and woe", while the central and western regions present "one prosperity and all prosperity, and one lost and all lost". At last suggestions as formulating the overall plan for the development of regional logistics, paying attention to regional differences and promoting coordinated development of logistics and agriculture in light of local conditions, and paying attention to the spatial spillover effect of elements were put forward.&lt;/p&gt;&lt;/div&gt;

Cited by 0Open access

A Conditional Logical Framework ⋆

Luigi Liquori, Furio Honsell, Marina Lenisa et al. · 2013

HAL is a multi-disciplinary open access archive for the deposit and dissemination of sci-entific research documents, whether they are pub-lished or not. The documents may come from teaching and research institutions in France or abroad, or from public or private research centers. L’archive ouverte pluridisciplinaire HAL, est destinée au dépôt et a ̀ la diffusion de documents scientifiques de niveau recherche, publiés ou non, émanant des établissements d’enseignement et de recherche français ou étrangers, des laboratoires publics ou privés.

Cited by 0

A Linear Logical Framework

Cervesato, Iliano, Pfenning, Frank · KiltHub Repository · 2018

We present the linear type theory LLF as the formal basis for a conservative extension of the LF logical framework. LLF combines the expressive power of dependent types with linear logic to permit the natural and concise representation of a whole new class of deductive systems, namely those dealing with state. As an example we encode a version of Mini-ML with references including its type system, its operational semantics, and a proof of type preservation. Another example is the encoding of a sequent calculus for classical linear logic and its cut elimination theorem. LLF can also be given an operational interpretation as a logic programming language under which the representations above can be used for type inference, evaluation and cut-elimination.

Cited by 0Open access

Introducing the Logical Framework

2012

While the LogFrame matrix may initially seem intimidating, the ideas it captures are basic, and the application possibilities for it are endless. The LogFrame tool also provides a common framework, syntax, and vocabulary that equips a team to define and test the core strategic hypotheses of any project or plan. According to the chapter, one can smoothly incorporate any valid business methodology in the LogFrame structure. For small- and medium-sized projects, this may be the only planning tool one will need. For projects of any size, this tool is the ideal starting point to help a team get going quickly and confidently as well as to build an iterative planning and implementation mind-set. Remember that every project under the sun is comprised of multiple Objectives. The Logical Framework tool helps distinguish these multiple Objectives, which show up at different levels in the cause-effect chain. The LogFrame organizes them into four separate and distinct levels, each with precise definitions.

Cited by 0