A Logical Framework to Prove Inheritance Properties for Concurrent Objects

Author(s):  
R. El-Baida
2020 ◽  
Vol 1 ◽  
pp. 28-40
Author(s):  
Kalum Muray ◽  
Elena Hunt ◽  
Yvonne St-Denis

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.


2008 ◽  
Author(s):  
Arief Daynes ◽  
Panagiotis Andrikopoulos ◽  
Paraskevas Pagas ◽  
David Latimer

2021 ◽  
pp. 019145372110330
Author(s):  
Sandro Chignola

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.


2021 ◽  
Vol 57 (1) ◽  
pp. 59-83
Author(s):  
Liljana Mitkovska

Abstract This paper analyses a number of constructions with a reflexive marker on the verb and a dative argument, using the framework of Construction Grammar. In these constructions the predication is ascribed in various modes to the experiencer argument. We focus on these constructions in the South Slavic languages in which they have a wide distribution, Macedonian, Bulgarian and Bosnian/Croatian/Serbian (BCS). The following basic types are identified: Emotional processes and states, Accidental, Perception/Cognition and Stative Reflexive-Dative Construction (SRDC). The specific clusters of features in each one are due to the inheritance properties from a reflexive construction, indicating a valence reduction, in combination with the features of affectedness and lack of control, characteristic of a dative argument. This results in varied but multiply linked patterns that create a complex network of constructions. The study aims at defining the relations between these constructions and in particular at determining the place of SRDC in this network.


2014 ◽  
Vol 998-999 ◽  
pp. 1642-1648
Author(s):  
Chun Mei Wang ◽  
Bao Feng Chen

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.


1999 ◽  
Vol 9 (4) ◽  
pp. 335-359 ◽  
Author(s):  
HERMAN GEUVERS ◽  
ERIK BARENDSEN

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