Results 141 to 150 of about 9,148 (294)

A Hybrid Intuitionistic Logic: Semantics and Decidability

, 2005
An intuitionistic, hybrid modal logic suitable for reasoning about distribution of resources was introduced by Jia and Walker. The modalities of the logic allow validation of properties in a particular place, in some place and in all places.
Damiano Macedonio, Rohit Chadha, Chadha, R., Vladimiro Sassone, Macedonio, D., Sassone, V.   +5 more
core  

Efficiency, Shadow Pricing and Regime Switching in Multi‐Ware Technologies: Evidence From Regulated Livestock Farms

Journal of Agricultural Economics, EarlyView.
ABSTRACT We develop a framework for regulated production systems where output generation and pollution abatement impose competing technological demands. Using a multi‐ware technology, we model the production set as the intersection of two input requirement frontiers, one for production and one for abatement, each reflecting distinct trade‐offs.
Youpei Yan, Robert G. Chambers
wiley   +1 more source

Linear Abelian Modal Logic

Bulletin of the Section of Logic
A many-valued modal logic, called linear abelian modal logic \(\rm {\mathbf{LK(A)}}\) is introduced as an extension of the abelian modal logic \(\rm \mathbf{K(A)}\). Abelian modal logic \(\rm \mathbf{K(A)}\) is the minimal modal extension of the logic of
Hamzeh Mohammadi
doaj   +1 more source

Edges as ecological filters: Asymmetrical orientation‐specific arthropod activity across forest boundaries

Insect Science, EarlyView.
Moderate retention forestry creates structurally sharp forest edges that act as ecological filters, shaping orientation‐specific activity of ground‐dwelling arthropods. Using drift‐fence pitfall traps, we show that activity aligned with ecotones is more frequent than activity across forest–clearcut boundaries, particularly among detritivores.
Dominik Stočes, Ondřej Košulič, Adrián Purkart, Jan Šipoš   +3 more
wiley   +1 more source

Consequence and complexity in infinite-valued logic: a survey

, 2002
In general, every logic L comes equipped with a syntax, a semantics, and an algorithmic procedure. In some cases, formulae up to equivalence form an interesting class of algebraic structures.
V. Marra, D. Mundici
core   +1 more source

Why did Putin invade Ukraine? A theory of degenerate autocracy

American Journal of Political Science, EarlyView.
Abstract Many dictatorships end up with a series of disastrous decisions such as Hitler's attack on the Soviet Union or Saddam Hussein's aggression against Kuwait. Even if a certain policy choice is not ultimately fatal for the regime, such as Mao's Big Leap Forward or the Pol Pot's collectivization drive, they typically involve both a miscalculation ...
Georgy Egorov, Konstantin Sonin
wiley   +1 more source

Some culture is hiding in plain sight in research on child development

British Journal of Developmental Psychology, EarlyView.
Abstract Child development is cultural in nature, yet a divide persists between a (cross‐)cultural developmental science niche alongside a seemingly a‐cultural mainstream. In particular, childhood research relying on convenience sampling in often Western, post‐industrial (i.e., WEIRD) societies rarely ventures into issues of culture and context ...
Roman Stengelin
wiley   +1 more source

Functorial Models for Petri Nets

, 2001
We show that although the algebraic semantics of place/transition Petri nets under the collective token philosophy can be fully explained in terms of strictly symmetric monoidal categories, the analogous construction under the individual token philosophy
Roberto Bruni, Vladimiro Sassone (16064975), MESEGUER J, BRUNI, ROBERTO, Bruni, R., Vladimiro Sassone, Meseguer, José, Roberto Bruni (446877), Sassone, V., Meseguer, J., SASSONE V., MONTANARI, UGO GIOVANNI ERASMO, Ugo Montanari, Ugo Montanari (12616129), Montanari, U., José Meseguer (39091), Montanari, Ugo, Sassone, Vladimiro, José Meseguer   +18 more
core   +1 more source

Social and emotional pathways to shame reduction: An RCT with preservice teachers

British Journal of Educational Psychology, EarlyView.
Abstract Background Shame is an unpleasant, activating emotion that has been shown to undermine learners' motivation and achievement and identity development in mathematics education. Recent studies have implemented positive psychology interventions (PPIs) to reduce preservice teachers' shame in mathematics, with promising quantitative outcomes ...
Lara Gildehaus, Lars Meyer‐Jenßen
wiley   +1 more source

Algebraic aspects of separation logic [PDF]

, 2009
We present an algebraic approach to separation logic. In particular, we give algebraic characterisations for all constructs of separation logic like assertions and commands. The algebraic view does not only yield new insights on separation logic but also
Dang, Han Hing
core