Results 61 to 70 of about 3,981 (217)
On the logics of algebra. [PDF]
, 2008 Thesis (Ph.D.)-University of KwaZulu-Natal, Westville, 2008.We present and consider a number of logics that arise naturally from universal algebraic considerations, but which are ‘inherently unalgebraizable’ in the sense of [BP89a], essentially because ...
Barbour, Graham.
core
Automating Theories in Intuitionistic Logic
, 2009 International audienceDeduction modulo consists in applying the inference rules of a deductive system modulo a rewrite system over terms and formulae. This is equivalent to proving within a so-called compatible theory.
Burel, Guillaume, Guillaume Burel
core +1 more source
Advanced Energy Materials, EarlyView.The work examines the electrochemical and interfacial behaviors of crystalline NaAlCl4 and amorphous Na–Al–oxychloride solid electrolytes with NaNi0.5Mn0.5O2 cathodes. Operando gas evolution and ToF‐SIMS analyses highlight that pure chloride solid electrolytes offer greater interfacial stability and safety compared to the oxychloride solid electrolytes
Erick Ruoff +2 more
wiley +1 more source
New features of deductive fault simulation
, 2004 Design Automation Department, Kharkov National University of Radio Electronics, Lenin ave, 14, Kharkiv, 61166 Ukraine. E-mail: hahanov@kture.kharkov.ua This paper describes the Fast Backtraced DeductiveParallel Fault Simulation method.
Kiyaszhenko, A. V. +3 more
core
A family of Non-Monotonic Inference Systems based on Conditional Logics
, 2020 A large number of common sense assertions such as prototypical properties, obligation, possibility, nonmonotonic rules, can be expressed using conditional logics.
Philippe Lamarre
core
On two fragments with negation and without implication of the logic of residuated lattices
, 2018 The logic of (commutative integral bounded) residuated lattices is known under different names in the literature: monoidal logic [26], intuitionistic logic without contraction [1], H BCK [36] (nowadays called [InlineMediaObject not available: see ...
García-Cerdaña, Àngel +2 more
core +1 more source
Mechanisms of Alkali Ionic Transport in Amorphous Oxyhalides Solid State Conductors
Advanced Energy Materials, EarlyView.Large‐scale machine learning‐based molecular dynamics simulations are used to investigate isovalent amorphous oxyhalides, revealing a remarkable chemically independent ionic conductivity. A rigorous analysis of alkali residence times across different metal–anion environments identifies divalent anions as key diffusion bottlenecks.
Luca Binci +3 more
wiley +1 more source
Advanced Intelligent Discovery, EarlyView.Memristors based on trimethylsulfonium (phenanthroline)tetraiodobismuthate have been utilised as a nonlinear node in a delayed feedback reservoir. This system allowed an efficient classification of acoustic signals, namely differentiation of vocalisation of the brushtail possum (Trichosurus vulpecula).
Ewelina Cechosz +4 more
wiley +1 more source
Formation of Gallium Monofluoride in the Coordination Sphere of Nickel
Angewandte Chemie, EarlyView.The elusive gas‐phase species gallium monofluoride forms selectively in the coordination sphere of a nickel(II) centre as a product of C(sp3)–F bond activation, with a weakly coordinating anion as the fluorine source. The herein reported gallium monofluoride ligand acts as a very strong σ‐donor ligand at nickel and serves as a fluorine donor towards ...
Johannes Stephan +6 more
wiley +2 more sources
Unfounded Sets and Well-Founded Semantics of Answer Set Programs with Aggregates
, 2011 Logic programs with aggregates (LPA) are one of the major linguistic extensions to Logic Programming (LP). In this work, we propose a generalization of the notions of unfounded set and well-founded semantics for programs with monotone and antimonotone ...
Alviano, Mario +4 more
core