Results 41 to 50 of about 6,875,268 (299)
Proof-graphs for Minimal Implicational Logic [PDF]
Electronic Proceedings in Theoretical Computer Science, 2014 It is well-known that the size of propositional classical proofs can be huge. Proof theoretical studies discovered exponential gaps between normal or cut free proofs and their respective non-normal proofs.
Marcela Quispe-Cruz +2 more
doaj +1 more source
, 2021 The pervasive presence of artificial intelligence (AI) in our everyday life has nourished the pursuit of explainable AI. Since the dawn of AI, logic has been widely used to express, in a human-friendly fashion, the internal process that led an ...
Mirko Polato +3 more
core +1 more source
Limits to the Hall Effect and Other Nonreciprocal Effects in Three‐Dimensional Metamaterials
Advanced Materials, EarlyView.Comprehensive and fundamental bounds on nonreciprocal effects in three‐dimensional metamaterials are derived. They reveal that the effective Hall mobility cannot exceed the largest constituent mobility, that, under certain conditions, the Verdet constant cannot be enhanced, and that, for constituents with Hall coefficients of the same sign, the largest
Christian Kern, Graeme W. Milton
wiley +1 more source
The Nature of Propositional Deduction—a Piagetian Perspective
Studia Semiotyczne, 2022 Logic was once thought to describe the laws of thought; however, a plurality of logics has now replaced classical logic, obscuring rather than clarifying the nature of deduction with an embarrassment of riches.
M. A. Winstanley
doaj
Crítica, 2019 Fear and Uncertainty discusses Robert Gordon’s thesis according to which fear is an epistemic —as opposed to factive— emotion inasmuch as S’s fearing p requires S’s being uncertain whether p or ∼p, and also requires that the uncertainty implicit in ...
Olbeth Hansberg
doaj +1 more source
Advanced Materials, EarlyView.This review examines passive, active, and hybrid liquid manipulation strategies, highlighting hybrid approaches as an emerging route to reconcile energy efficiency with adaptive control. By actively reconstructing passive surfaces to store programmable interfacial energy, hybrid systems enable flexible yet low‐power liquid transport, with perspectives ...
Jiaqi Miao +3 more
wiley +1 more source
A Perspective on Interactive Theorem Provers in Physics
Advanced Science, EarlyView.Into an interactive theorem provers (ITPs), one can write mathematical definitions, theorems and proofs, and the correctness of those results is automatically checked. This perspective goes over the best usage of ITPs within physics and motivates the open‐source community run project PhysLean, the aim of which is to be a library for digitalized physics
Joseph Tooby‐Smith
wiley +1 more source
Вестник Кемеровского государственного университета, 2015 The article describes the propositional frame-based method of teaching Chinese exemplified by frames “berry”, “color” and “disease”. Using this technique the Chinese language teaching leads to a more precise better understanding of the structural and ...
L. A. Araeva, S. I. Li
doaj
Closing the Empirical Loop: Autonomous AI Agents Conduct End‐to‐end Research With Human Participants
Advanced Science, EarlyView.A multi‐agent AI system autonomously executes the complete scientific workflow, from hypothesis to manuscript, across three psychological studies involving 288 participants. The system designs experiments, collects real world data, develops analysis pipelines, and writes manuscripts with theoretical rigor comparable to experienced researchers.
Gabrielle Wehr +6 more
wiley +1 more source
Advanced Science, EarlyView.This study reveals that NOTCH2NLC transcript variant 2 generates PolyGN2C‐iso2, an aggregating protein present within intranuclear inclusions of NIID patient tissues. A novel mouse model expressing PolyGN2C‐iso2 recapitulates white matter abnormalities and cognitive deficits, mechanistically linked to mitochondrial dysfunction. These findings support a
Kang Zhang +22 more
wiley +1 more source