Results 51 to 60 of about 339,779 (297)
Synchrotron Radiation for Quantum Technology
Advanced Functional Materials, EarlyView.Materials and interfaces underpin quantum technologies, with synchrotron and FEL methods key to understanding and optimizing them. Advances span superconducting and semiconducting qubits, 2D materials, and topological systems, where strain, defects, and interfaces govern performance.
Oliver Rader +10 more
wiley +1 more source
LP, K3, and FDE as Substructural Logics [PDF]
, 2017 Building on recent work, I present sequent systems for the non-classical logics LP, K3, and FDE with two main virtues. First, derivations closely resemble those in standard Gentzen-style systems.
Shapiro, Lionel
core
Non-Classical Logics in Satisfiability Modulo Theories
, 2023 AbstractWe show that tableau methods for satisfiability in non-classical logics can be supported naturally in SMT solving via the framework of user-propagators. By way of demonstration, we implement the description logic $$\mathcal {ALC}$$ in the Z3 SMT solver and show that working with user-propagators allows us to significantly outperform encodings ...
Clemens Eisenhofer +3 more
openaire +1 more source
Reconfigurable Three‐Dimensional Superconducting Nanoarchitectures
Advanced Functional Materials, EarlyView.3D superconducting nanostructures offer new possibilities for emergent physical phenomena. However, fabricating complex geometries remains challenging. Here 3D nanoprinting of complex 3D superconducting nanoarchitectures is established. As well as propagating superconducting vortices in 3D, anisotropic superconducting properties with geometric ...
Elina Zhakina +11 more
wiley +1 more source
Conditions of applicability of classical logic to philosophical reasoning
RUDN Journal of Philosophy, 2018 . The conditions for the applicability of the classical logic of statements to philosophical reasonings are investigated. This research is carried out within the framework of various semantics for many-valued logics.
S A Pavlov
doaj +1 more source
Solutions to Open Problems on Fuzzy Filters of -algebras [PDF]
International Journal of Computational Intelligence Systems, 2015 This paper focuses on the investigation of fuzzy filters of -algebras, an important and popular generic logical algebra. By studying the equivalent conditions of fuzzy fantastic filter and fuzzy normal filter of -algebras, the relation between these two ...
Wang Wei, Arsham Borumand Saeid
doaj +1 more source
Is Transparent Intensional Logic a non-classical logic?
Logic and Logical Philosophy, 2013 It is shown that:(a) classicality is connected with various criteria some of which are fulfilled by TIL while some other are not;(b) some more general characteristic of classicality connects it with philosophical realism whereas (radical) anti-realism is connected with non-classical logics;(c) TIL is highly expressive due to its hyperintensionality ...
openaire +3 more sources
Advanced Functional Materials, EarlyView.Thermal transport in Ru and W thin films is studied using steady‐state thermoreflectance, ultrafast pump–probe spectroscopy, infrared‐visible spectroscopy, and computations. Significant Lorenz number deviations reveal strong phonon contributions, reaching 45% in Ru and 62% in W.
Md. Rafiqul Islam +14 more
wiley +1 more source
Termination of derivations for minimal tense logic
Lietuvos Matematikos Rinkinys, 2009 It is known that loop checking and backtracking are extensively used in various non-classical logics. An efficient loop checking is obtained using a technique based on histories.
Regimantas Pliuškevičius
doaj +1 more source
, 2017 We explore the view that Frege's puzzle is a source of straightforward counterexamples to Leibniz's law. Taking this seriously requires us to revise the classical logic of quantifiers and identity; we work out the options, in the context of higher-order ...
Bacon, Andrew, Russell, Jeffrey Sanford
core