Results 81 to 90 of about 2,869,949 (320)
From Translations to Non-Collapsing Logic Combinations
Bulletin of the Section of LogicPrawitz suggested expanding a natural deduction system for intuitionistic logic to include rules for classical logic constructors, allowing both intuitionistic and classical elements to coexist without losing their inherent characteristics.
João Rasga, Cristina Sernadas
doaj +1 more source
Quantum Mechanics from Classical Logic
, 2012 Although quantum mechanics is generally considered to be fundamentally incompatible with classical logic, it is argued here that the gap is not as great as it seems.
G. Hooft
semanticscholar +1 more source
Classical Logic, Classical Probability, and Quantum Mechanics [PDF]
, 2020 We give an overview and conceptual discussion of some of our results on contextuality and non-locality. We focus in particular on connections with the work of Itamar Pitowsky on correlation polytopes, Bell inequalities, and Boole's "conditions of possible experience".
openaire +2 more sources
Recapture, Transparency, Negation and a Logic for the Catuṣkoṭi [PDF]
, 2019 The recent literature on Nāgārjuna’s catuṣkoṭi centres around Jay Garfield’s (2009) and Graham Priest’s (2010) interpretation. It is an open discussion to what extent their interpretation is an adequate model of the logic for the catuskoti, and the Mūla-
KREUTZ, Adrian
core +1 more source
Advanced Materials Technologies, EarlyView.Transducers convert physical signals into electrical and optical representations, yet each mechanism is bounded by intrinsic trade‐offs across bandwidth, sensitivity, speed, and energy. This review maps transduction mechanisms across physical scale and frequency, showing how heterogeneous integration and multiphysics co‐design transform isolated ...
Aolei Xu +8 more
wiley +1 more source
Recent Advances of Slip Sensors for Smart Robotics
Advanced Materials Technologies, EarlyView.This review summarizes recent progress in robotic slip sensors across mechanical, electrical, thermal, optical, magnetic, and acoustic mechanisms, offering a comprehensive reference for the selection of slip sensors in robotic applications. In addition, current challenges and emerging trends are identified to advance the development of robust, adaptive,
Xingyu Zhang +8 more
wiley +1 more source
Fabric‐Based Wearable Robotic Exoskeleton Gloves: Advancements and Challenges
Advanced Materials Technologies, EarlyView.This review highlights interdisciplinary technological advances in fabric‐based robotic gloves, focusing on progress in design, fabrication, actuation, sensing, control, and power and energy requirements. It also addresses performance testing and validation, including biomechanical, strength, functional, user experience, and durability assessments, to ...
Ayse Feyza Yilmaz +2 more
wiley +1 more source
Building a Knowledge Base System for an Integration of Logic Programming and Classical Logic
International Conference on Logic Programming, 2008 This paper presents a Knowledge Base project for FO(ID), an extension of classical logic with inductive definitions. This logic is a natural integration of classical logic and logic programming based on the view of a logic program as a definition.
M. Denecker, Joost Vennekens
semanticscholar +1 more source
Flux Analysis of the Supercapacitor Performance at Component Level
Advanced Materials Technologies, EarlyView.The central objective of this study is to introduce new approach and metrics for analyzing the supercapacitor performance at the component level. The lack of standardized evaluation methodologies for analyzing the nonlinear behavior of real system is critical and hinders progress of supercapacitor.
Hyacinthe Randriamahazaka +2 more
wiley +1 more source
Jak uniesprzecznić sprzeczność umysłu?
Zagadnienia Filozoficzne w Nauce, 2010 The common sense conviction that rationality is based on the classical logic requires major revision since the essential assumption of many standpoints in the cognitive science, concerning the non-contradictory character of mind, seems to be no longer ...
Wojciech Grygiel
doaj