A Logical Framework with Dependently Typed Records

2003 ◽  
pp. 105-119 ◽  
Author(s):  
Thierry Coquand ◽  
Randy Pollack ◽  
Makoto Takeyama
Keyword(s):  
Logical Framework

Coronavirus-19, une pandémie à gestion complexe et multidimensionnelle: À travers le monde, les structures formelles de légitimation et de diffusion des savoirs en matière de santé, dos au mur.

2020 ◽  
Vol 1 ◽  
pp. 28-40
Author(s):  
Kalum Muray ◽  
Elena Hunt ◽  
Yvonne St-Denis
Keyword(s):  
Logical Framework ◽  
Discursive Approach

Epistemologically, this article analyzes the textual discourse associated with the dynamics of the context of Covid-19. Given that the multiplicity of the discourse escapes the discursive approach, the authors attempt to provide a reflective logical framework by way of anticipating the potential consequences of this imbroglio in the more responsible fight against the Coronavirus-19 pandemic.

Introducing a New Logical Framework for Modelling Reflexivity in Financial Markets

2008 ◽  
Author(s):  
Arief Daynes ◽  
Panagiotis Andrikopoulos ◽  
Paraskevas Pagas ◽  
David Latimer
Keyword(s):  
Financial Markets ◽  
Logical Framework

Homo homini tigris: Thomas Hobbes and the global images of sovereignty

2021 ◽  
pp. 019145372110330
Author(s):  
Sandro Chignola
Keyword(s):  
Turning Point ◽  
Thomas Hobbes ◽  
The State ◽  
Modern Concept ◽  
Logical Framework ◽  
Semantic Field ◽  
Sovereign Power ◽  
Global Space ◽  
Lines Of Force

This article addresses the modern concept of sovereignty as a multivocal and conflictual semantic field, arguing for the necessity to trace its genealogy based on the structural tensions that haunt its logical framework – as well as its representations – rather than on a linear historiographic reconstruction. In particular, the scrutiny I propose aims to examine a series of exchanges that have been characterizing this concept since the beginning: the global and the European, the maritime and the territorial, the colony and the state, the imperial and the proprietary. The problematic balance between ‘imperium’ and ‘dominium’ is indeed assumed here as the turning point of the rise of a sovereign power that appears to be originally rooted in the very production and governance of the global space, thus giving up all possible Eurocentric narratives of modernity. To illustrate my argument, I focus on the frontispieces to three of Thomas Hobbes’s most important books, that is, his translation of Thucydides’ Peloponnesian Wars, De Cive and Leviathan. A thorough analysis of these images enables us to understand how these lines of force traverse the very heart of modern European political concepts, along with the mirroring effects that constantly bounce their normative construction of subjectivity back and forth from the periphery to the centre and, ultimately, from the market to the state.

The Pathway Analysis on Benefit of Agricultural Science and Technology Projects (ASTP) Based on Logical Framework Approach

2014 ◽  
Vol 998-999 ◽  
pp. 1642-1648
Author(s):  
Chun Mei Wang ◽  
Bao Feng Chen
Keyword(s):  
Agricultural Development ◽  
Agricultural Research ◽  
Empirical Studies ◽  
Social Benefit ◽  
Agricultural Science ◽  
Logical Framework ◽  
Ecological Benefit ◽  
Research Investment ◽  
Framework Approach ◽  
Research Achievement

Research achievements of the ASTP Policy-Oriented cannot generate directly economic benefit, social benefit and ecological benefit. It would realize benefit of ASTP only if the outputs can be transformed practical productive forces. In this paper, the mechanism and pathway of achieving benefit of ASTP is analyzed deeply based on the logical framework model. Then the empirical studies shows that the inputs (research investment) have positive correlation with outputs (research achievement), extension and outcomes (changes in productivity). Although the inputs have a certain influence to agricultural economics, it mainly affects indirectly agricultural development by research achievements and extension. Therefore, the benefits of ASTP should not be evaluated according by inputs/outputs methods. We must analyze and assess the anticipated chain of cause/effect relationships of ASTP based on the program “theory-driven” approach. It can promote agricultural research and extension projects to integrated closely, at the same time the benefit of ASTP can be improved greatly.

Some logical and syntactical observations concerning the first-order dependent type system λP

1999 ◽  
Vol 9 (4) ◽  
pp. 335-359 ◽  
Author(s):  
HERMAN GEUVERS ◽  
ERIK BARENDSEN
Keyword(s):  
Predicate Logic ◽  
Type System ◽  
Logical Framework ◽  
First Order ◽  
Logical Derivation ◽  
Dependent Type ◽  
First Order Predicate Logic

We look at two different ways of interpreting logic in the dependent type system λP. The first is by a direct formulas-as-types interpretation à la Howard where the logical derivation rules are mapped to derivation rules in the type system. The second is by viewing λP as a Logical Framework, following Harper et al. (1987) and Harper et al. (1993). The type system is then used as the meta-language in which various logics can be coded.We give a (brief) overview of known (syntactical) results about λP. Then we discuss two issues in some more detail. The first is the completeness of the formulas-as-types embedding of minimal first-order predicate logic into λP. This is a remarkably complicated issue, a first proof of which appeared in Geuvers (1993), following ideas in Barendsen and Geuvers (1989) and Swaen (1989). The second issue is the minimality of λP as a logical framework. We will show that some of the rules are actually superfluous (even though they contribute nicely to the generality of the presentation of λP).At the same time we will attempt to provide a gentle introduction to λP and its various aspects and we will try to use little inside knowledge.

Sign in / Sign up

Export Citation Format

Share Document