Results 51 to 60 of about 2,910 (216)
Selected Methods of Rejecting Arguments for Determinism in Tense Logic Systems
Studies in Logic, Grammar and RhetoricIn this article we will consider the application of tense logics enriched with additional modal operators or additional logical values to construct logical systems in which the thesis of logical determinism cannot be expressed.
Surowik Dariusz
doaj +1 more source
Arthur Prior and Augustine’s Alleged Presentism
PhilosophiesThis article examines the influence of Augustinian thought in the development of Arthur Prior’s tense logic. In particular, the article investigates Prior’s use of the 11th chapter of Confessiones and debates whether Augustinian temporality can correctly
Thomas N. Steiner
doaj +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
Intuitionism and Logical Determinism
Studies in Logic, Grammar and RhetoricIn this article, we will consider the application of intuitionistic tense logics to construct logical systems in which the thesis of logical determinism cannot be expressed.
Surowik Dariusz
doaj +1 more source
Stosowalność języka niektórych systemów logiki temporalnej w naukach przyrodniczych (Application of Language of some Systems of Temporal Logic in the Natural Sciences) [PDF]
Analiza i Egzystencja, 2011 The paper discusses one of the positions with regard to tasks which can be posed to temporal logic in connection with formalization of the tense expressions and with codification of inferences respecting these expressions.
Anna Kozanecka-Dymek
doaj
Advanced Robotics Research, EarlyView.This article introduces a soft wearable eyelid sling device incorporating a hydraulic soft artificial muscle (SAM) for achieving complete closure of an eyelid. The SAM is driven by a cam mechanism that provides a displacement profile closely matched with those of a healthy eyelid.
Patrick Pruscino +7 more
wiley +1 more source
Transatlantic Economic Relations at a Crossroads [PDF]
Современная ЕвропаThe article was written on the eve of the US presidential election in 2024 and is devoted to the economic aspects of modern transatlantic relations. Descriptive statistics is used to assess the role and place of the transatlantic economy in terms of ...
Natalia B. Kondratieva
doaj +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
Origami‐Inspired Structural Design for Aquatic‐Terrestrial Amphibious Robots
Advanced Robotics Research, EarlyView.This work presents a lightweight amphibious origami robot actuated by a single shape memory alloy wire. A rigid foldable origami structure with displacement amplification enables efficient terrestrial crawling and aquatic swimming. The addition of fan‐shaped units allows controllable turning in both environments.
Weiqi Liu +5 more
wiley +1 more source
Hybrid Type Theory: A Quartet in Four Movements
Principia: An International Journal of Epistemology, 2011 This paper sings a song — a song created by bringing together the work of four great names in the history of logic: Hans Reichenbach, Arthur Prior, Richard Montague, and Leon Henkin.
Antonia Huertas +3 more
doaj