Results 131 to 140 of about 9,148 (294)
Remarks on an algebraic semantics for paraconsistent Nelson's logic
Manuscrito, 2011 In the paper Busaniche and Cignoli (2009) we presented a quasivariety of commutative residuated lattices, called NPc-lattices, that serves as an algebraic semantics for paraconsistent Nelson's logic.
Manuela Busaniche, Roberto Cignoli
doaj +1 more source
Bisimulations for temporal logic [PDF]
We define bisimulations for temporal logic with Since and Until. We compare our notion to existing notions of bisimulations, and we use it to develop the basic model theory of temporal logic with Since and Until, which includes preservation and ...
Kurtonina, Natasha, Rijke, Maarten de
core
Key Technical Fields and Future Outlooks of Space Manipulators: A Survey
SmartBot, EarlyView.This paper systematically reviews the technological development of space manipulators, emphasizing the unique challenges posed by space environments. It examines four areas: structural design, modeling, planning, and control, while introducing typical ground test platforms.
Gang Chen +12 more
wiley +1 more source
Amortised resource analysis with separation logic [PDF]
, 2010 Type-based amortised resource analysis following Hofmann and Jost—where resources are associated with individual elements of data structures and doled out to the programmer under a linear typing discipline—have been successful in providing concrete ...
Robert Atkey, Atkey, Robert
core +1 more source
T‐800: An 800 Hz Data Glove for Precise Hand Gesture Tracking
SmartBot, EarlyView.Hand motion capture provides critical insights into human dexterity and facilitates advancements in robotic manipulation, yet existing systems are limited by a trade‐off between temporal resolution and visual occlusion. Here, the authors present T‐800, a high‐bandwidth data glove achieving synchronized full‐hand motion capturing at 800 Hz.
Haoyang Luo +7 more
wiley +1 more source
Algebraic characterizations of various Beth definability properties
, 1999 In this paper it will be shown that the Beth definability property corresponds to surjectiveness of epimorphisms in abstract algebraic logic. This generalizes a result by I. N'emeti (cf. [HMT85, Theorem 5.6.10]).
Hoogland, E., Eva Hoogland
core
Strategic Management Journal, EarlyView.Abstract Research Summary We study an important, but largely overlooked, non‐market strategy used by firms in the enforcement stage of policy: “snitching,” that is, providing intelligence about potential violations of their rivals in an attempt to persuade regulators to fine them.
Benjamin Barber IV +2 more
wiley +1 more source
White light emitting molecular logic gates
Smart Molecules, EarlyView.White light emitting smart molecules with Boolean logic computing ability are surveyed. Abstract White light emitting (WLE) materials are of considerable interest with commercial and societal applications in video displays and lighting devices. A characteristic property of WLE materials is the luminescence profile spanning from 380 to 700 nm.
Davide Benedetto Tiz +2 more
wiley +1 more source
An Innovative Approach to Multi‐Valued Logic
IEEJ Transactions on Electrical and Electronic Engineering, EarlyView.The current generation of computer systems operates on the principles of binary logic, which encompasses both logical and arithmetic operations. However, silicon technology has reached its peak performance, prompting researchers to explore alternative methods for enhancing computational efficiency. One such method is the adoption of Multi‐Valued Logic (
Ali Mokhtari, Peyman Kabiri
wiley +1 more source
Continua of Logics Related to Intuitionistic and Minimal Logics
Bulletin of the Section of LogicWe analyze the relationship between logics around intuitionistic logic and minimal logic. We characterize the intersection of minimal logic and co-minimal logic introduced by Vakarelov, and reformulate logics given in the previous studies by Vakarelov ...
Kaito Ichikura
doaj +1 more source