Results 81 to 90 of about 165,831 (331)
On Sub-Propositional Fragments of Modal Logic
Logical Methods in Computer Science, 2018 In this paper, we consider the well-known modal logics $\mathbf{K}$, $\mathbf{T}$, $\mathbf{K4}$, and $\mathbf{S4}$, and we study some of their sub-propositional fragments, namely the classical Horn fragment, the Krom fragment, the so-called core fragment, defined as the intersection of the Horn and the Krom fragments, plus their sub-fragments obtained
Bresolin, Davide +2 more
openaire +7 more sources
Advanced Materials Technologies, EarlyView.This critical review presents a comprehensive roadmap for the precision 3D printing of cellulose. Quantitative correlations link ink formulation and rheological properties to print fidelity and final material performance. This framework guides the development of advanced functional materials, from biomedical scaffolds to electromagnetic shielding ...
Majed Amini +3 more
wiley +1 more source
A Criticism of Kripke’s Semantic for Intuitionistic Logic
O Que Nos Faz Pensar, 2016 This note aims to examine critically Kripke’s semantics for propositional intuitionistic logic. Kripke’s semantic is extensionally correct with respect to propositional intuitionistic logic, that is, the calculus is sound and complete with respect to the
Wagner de Campos Sanz
doaj
Lietuvos Matematikos Rinkinys, 2009 The paper deals with specialization of the antecedent negation loop-rule for the negative implication free fragment of the propositional intuitionistic logic.
Romas Alonderis
doaj +1 more source
Advances in Solid‐Phase Processing Techniques: Innovations, Applications, and Future Perspectives
Advanced Materials Technologies, EarlyView.Based on practical manufacturing challenges, this review examines advanced solid‐phase processing techniques that overcome the inherent limitations of conventional melting‐based and traditional solid‐phase manufacturing, enabling the production of higher‐performance components at reduced cost through process innovation and improved supply‐chain ...
Tianhao Wang
wiley +1 more source
Flexible Sensor‐Based Human–Machine Interfaces with AI Integration for Medical Robotics
Advanced Robotics Research, EarlyView.This review explores how flexible sensing technology and artificial intelligence (AI) significantly enhance human–machine interfaces in medical robotics. It highlights key sensing mechanisms, AI‐driven advancements, and applications in prosthetics, exoskeletons, and surgical robotics.
Yuxiao Wang +5 more
wiley +1 more source
3D Printing of Soft Robotic Systems: Advances in Fabrication Strategies and Future Trends
Advanced Robotics Research, EarlyView.Collectively, this review systematically examines 3D‐printed soft robotics, encompassing material selections, function integration, and manufacturing methodologies. Meanwhile, fabrication strategies are analyzed in order of increasing complexity, highlighting persistent challenges with proposed solutions.
Changjiang Liu +5 more
wiley +1 more source
Complexity of syntactical tree fragments of Independence-Friendly logic [PDF]
, 2020 Fausto Barbero
openalex +1 more source
, 2003 We present role logic, a notation for describing properties of relational structures in shape analysis, databases, and knowledge bases. We construct role logic using the ideas of de Bruijn's notation for lambda calculus, an encoding of first-order logic ...
Kuncak, Viktor, Rinard, Martin
core +5 more sources
Logic Fragments: A Coordination Model Based on Logic Inference [PDF]
, 2015 Chemical-based coordination models have proven useful to engineer self-organising and self-adaptive systems. Formal assessment of emergent global behaviours in self-organising systems is still an issue, most of the time emergent properties are being analysed through extensive simulations.
Angelis, Francesco +1 more
openaire +2 more sources