Results 41 to 50 of about 13,558 (288)
A logic for constant-depth circuits
Information and Control, 1984 Summary: Consider a family of Boolean circuits \(C_ 1,C_ 2,...,C_ n,...\), constructed by some uniform, effective procedure operating on input n. Such a procedure provides a concise representation of a family of parallel algorithms for computing Boolean values. A formula of first order logic may also be viewed as a concise representation of a family of
Gurevich, Yuri, Lewis, Harry R.
openaire +1 more source
Advanced Engineering Materials, EarlyView.Identified through the use of statistical design of experiments and metallographic investigation, this study exposes the stochastic origins of intergranular cracks in blown powder laser beam directed energy deposition additive manufacturing of pure molybdenum. It further demonstrates a successful crack mitigation approach with direct correlation to the
Nathaniel J. Lies +2 more
wiley +1 more source
Fostering Innovation: Streamlining Magnetocaloric Materials Research by Digitalization
Advanced Engineering Materials, EarlyView.Magnetocaloric cooling (MCE) is an environmentally friendly refrigeration method with great potential. Optimizing MCE materials involves the preparation and screening of large quantities of samples, which in turn generates a large amount of data. A digitalization approach is presented that uses ontologies, knowledge graphs, and digital workflows to ...
Simon Bekemeier +17 more
wiley +1 more source
Advanced Engineering Materials, EarlyView.Composite Ti–6Al–4V–epoxy lattice structures are additively manufactured and epoxy infiltrated for cyclic loading. At low lattice volume fractions, hybridization produces synergistic gains in stiffness and energy dissipation. At higher volume fractions, synergy diminishes, although composites still exceed metallic lattices in specific energy ...
Joey Tallon +3 more
wiley +1 more source
A Critical Remark on the BHK Interpretation of Implication
Philosophia Scientiæ, 2014 The BHK interpretation of logical constants is analyzed in terms of a systematic account given by Prawitz, resulting in a reformulation of the BHK interpretation in which the assertability of atomic propositions is determined by Post systems. It is shown
Wagner de Campos Sanz, Thomas Piecha
doaj +1 more source
Bulletin of the Section of Logic, 2023 Proof-theoretic semantics (P-tS) is the paradigm of semantics in which meaning in logic is based on proof (as opposed to truth). A particular instance of P-tS for intuitionistic propositional logic (IPL) is its base-extension semantics (B-eS).
Alexander V. Gheorghiu, David J. Pym
doaj +1 more source
Advanced Healthcare Materials, EarlyView.Microfluidic coaxial extrusion generates size‐controlled 3D lymphatic tubes from primary human dermal lymphatic endothelial cells in a defined four‐component matrix. These engineered vessels self‐organize into stable lymphatic endothelium, maintain selective macromolecular permeability for 30 days, and enable direct comparison with blood endothelial ...
Elsa Mazari‐Arrighi +8 more
wiley +1 more source
Chinese Research on Mathematical Logic and the Foundations of Mathematics
Asian Studies, 2022 This paper outlines the Chinese research on mathematical logic and the foundations of mathematics. Firstly, it presents the introduction and spread of mathematical logic in China, especially the teaching and translation of mathematical logic initiated ...
Hongguang Wang, Guoping Du
doaj +1 more source
Advanced Materials, EarlyView.AI‐Assisted Workflow for (Scanning) Transmission Electron Microscopy: From Data Analysis Automation to Materials Knowledge Unveiling. Abstract (Scanning) transmission electron microscopy ((S)TEM) has significantly advanced materials science but faces challenges in correlating precise atomic structure information with the functional properties of ...
Marc Botifoll +19 more
wiley +1 more source
Some remarks on proof-theoretic semantics
, 2015 This is a tripartite work. The first part is a brief discussion of what it is to be a logical constant, rejecting a view that allows a particular self-referential “constant” • to be such a thing in favour of a view that leads to strong normalisation ...
Roy Dyckhoff, Dyckhoff, Roy
core +1 more source