Results 91 to 100 of about 61,671 (307)
Implicational Relevance Logic is 2-ExpTime-Complete
, 2014 International audienceWe show that provability in the implicational fragment of relevance logic is complete for doubly exponential time, using reductions to and from coverability in branching vector addition ...
Sylvain Schmitz, Schmitz, Sylvain
core +1 more source
Relevance Logic: Problems Open and Closed
, 2016 I discuss a collection of problems in relevance logic. The main problems discussed are: the decidability of the positive semilattice system, decidability of the fragments of R in a restricted number of variables, and the complexity of the decision ...
Alasdair Urquhart
core +2 more sources
Acta PsychologicaThis study examines the experiences of gifted high school students in transforming mathematical logic knowledge and skills into creative project productivity and computational thinking skills (CTS) through their logic-based project productions.
Gülnur Özbek +2 more
doaj +1 more source
Hierarchical MXene‐Derived NTP/C Nanohybrids for Cryogenic Sodium‐Ion Batteries
Advanced Functional Materials, EarlyView.A hierarchical MXene‐derived NaTi2(PO4)3/C nanohybrid enables efficient sodium‐ion storage down to −40°C by integrating fast ion–electron transport pathways with an ether‐based electrolyte. The system promotes dominant pseudocapacitive behavior and forms a robust inorganic‐rich SEI, collectively mitigating kinetic and interfacial limitations, thereby ...
M. Sai Bhargava Reddy +5 more
wiley +1 more source
, 2007 The papers presented in this volume examine topics of central interest in contemporary philosophy of logic. They include reflections on the nature of logic and its relevance for philosophy today, and explore in depth developments in informal logic and ...
Jacquette, Dale.
core
Language splitting and relevance-based belief change in Horn logic
, 2011 This paper presents a framework for relevance-based belief change in propositional Horn logic.We firstly establish a parallel interpolation theorem for Horn logic and show that Parikh’s Finest Splitting Theorem holds with Horn formulae.
Zhang, Mingyi +4 more
core +1 more source
Innovative leadership and sustainability in higher education management
Computers and Education OpenThis study proposes a sustainability-driven vector model designed to enhance adaptive governance and decision-making in higher education. Drawing from systems theory, sustainability science, and mathematical logic—including automorphic transformations ...
Maria Flori +2 more
doaj +1 more source
Relevance, Conduction and Canada's Rape-Shield Decision
Informal Logic, 1993 I examine a Canadian Supreme Court decision concerning the constitutionality of Canada's 1982 rape-shield legislation, and suggest how material from the decision might profitably be used in an informal-logic class in connection with the topics of ...
Derek Allen
doaj +1 more source
Time‐Resolved Magnetization Switching Dynamics Driven by Orbital Torques
Advanced Functional Materials, EarlyView.Du et al. reveal nanosecond magnetization switching driven by orbital currents using time‐resolved Hall detection. The measurements separate domain nucleation from domain wall propagation and show that Joule heating strongly assists switching by lowering energy barriers.
Ao Du +4 more
wiley +1 more source
Directional Flow of Confined Polaritons in CrSBr
Advanced Materials, EarlyView.CrSBr, a layered magnetic semiconductor, naturally channels self‐hybridized excitonpolaritons into highly directional flow. Its intrinsic optical anisotropy, high refractive index, and strong lightmatter coupling enable long‐range guided modes along the a‐axis, with propagation lengths set by their excitonphoton admixture.
Pratap Chandra Adak +10 more
wiley +1 more source