Results 61 to 70 of about 250,917 (320)
The Logic of Separation Logic: Models and Proofs
, 2023 AbstractThe standard semantics of separation logic is restricted to finite heaps. This restriction already gives rise to a logic which does not satisfy compactness, hence it does not allow for an effective, sound and complete axiomatization. In this paper we therefore study both the general model theory and proof theory of the separation logic of ...
Boer, F.S. de +2 more
openaire +2 more sources
Advanced Engineering Materials, EarlyView.High‐temperature interactions between low‐sulfur Al‐killed Mn–B steel and MgO–C refractories (0 and 50 wt% recyclates) are studied via finger immersion tests (1600 °C). Surface‐active elements influence infiltration. MgO/CaS layer forms, along with spinel and calcium silicate.
Matheus Roberto Bellé +5 more
wiley +1 more source
Husserlian and Fichtean Leanings: Weyl on Logicism, Intuitionism, and Formalism
Philosophia Scientiæ, 2009 Around 1918 Hermann Weyl resisted the logicists’ attempt to reduce mathematics to logic and set theory. His philosophical points of reference were Husserl and Fichte.
Norman Sieroka
doaj +1 more source
The Logics of Strict-Tolerant Logic
Journal of Philosophical Logic, 2014 A predicate \(T\) in a language is a transparent truth predicate if, for every valuation \(v\), for the language and every sentence \(A\), \(v(T\langle A\rangle) = v(A)\), where \(\langle A\rangle\) is a name of \(A\). Because of the semantic paradoxes, like the Liar and especially Curry's, it is well known that a suitably expressive language cannot ...
Eduardo Alejandro Barrio +2 more
openaire +3 more sources
A Knowledge‐Based Approach for Understanding and Managing Additive Manufacturing Data
Advanced Engineering Materials, EarlyView.Additive manufacturing processes generate a large amount of data. Effectively managing, understanding, and retrieving information from this data remains a major challenge. Therefore, we propose an ontology‐based approach to integrate heterogeneous data, enable semantic queries, and support decision‐making.
Mina Abd Nikooie Pour +5 more
wiley +1 more source
PASTA‐ELN: Simplifying Research Data Management for Experimental Materials Science
Advanced Engineering Materials, EarlyView.Research data management faces ongoing hurdles as many ELNs remain complex and restrictive. PASTA‐ELN offers an open‐source, cross‐platform solution that prioritizes simplicity, offline access, and user control. Its in tuitive folder structure, modular Python add‐ons, and open formats enable seamless documentation, FAIR data practices, and easy ...
S. Brinckmann, G. Winkens, R. Schwaiger
wiley +1 more source
Choreographies, Logically [PDF]
Distributed Computing, 2014 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Marco Carbone +2 more
openaire +7 more sources
Advanced Functional Materials, EarlyView.An all‐in‐one analog AI accelerator is presented, enabling on‐chip training, weight retention, and long‐term inference acceleration. It leverages a BEOL‐integrated CMO/HfOx ReRAM array with low‐voltage operation (<1.5 V), multi‐bit capability over 32 states, low programming noise (10 nS), and near‐ideal weight transfer.
Donato Francesco Falcone +11 more
wiley +1 more source
Platonism in Lotze and Frege Between Psyschologism and Hypostasis [PDF]
, 2019 In the section “Validity and Existence in Logik, Book III,” I explain Lotze’s famous distinction between existence and validity in Book III of Logik.
Stang, Nicholas
core