Results 61 to 70 of about 206,152 (285)

Definitions by Rewriting in the Calculus of Constructions [PDF]

, 2005
The main novelty of this paper is to consider an extension of the Calculus of Constructions where predicates can be defined with a general form of rewrite rules.
Blanqui, Frédéric
core   +6 more sources

Direct Metal Deposition of Graphene–Ti28Nb35.4Zr Matrix Composites With Enhanced Mechanical, Corrosion, and Biocompatibility Properties for Bone Implants

Advanced Engineering Materials, EarlyView.
Graphene nanoplatelet (0.1 wt.%) reinforcement significantly enhances the performance of β Ti‐28Nb‐35.4Zr alloy. Grain refinement, reduced water contact angle, and improved surface characteristics promote osteoblast adhesion and complete surface coverage after 7 days.
Khurram Munir, Jixing Lin, Yuncang Li, Li Zhu, Paul F. A. Wright, Cuie Wen   +5 more
wiley   +1 more source

The Phenomenology of Second-Level Inference: Perfumes in The Deductive Garden

Bulletin of the Section of Logic, 2020
We comment on certain features that second-level inference rules commonly used in mathematical proof sometimes have, sometimes lack: suppositions, indirectness, goal-simplification, goal-preservation and premise-preservation. The emphasis is on the roles
David Makinson
doaj   +1 more source

Towards a canonical classical natural deduction system [PDF]

, 2010
This paper studies a new classical natural deduction system, presented as a typed calculus named $\lml$. It is designed to be isomorphic to Curien-Herbelin's calculus, both at the level of proofs and reduction, and the isomorphism is based on the ...
A. Sabry, A. Sabry, A. Troelstra, C.-H.L. Ong, D. Prawitz, E. Polonovski, G. Gentzen, G. Plotkin, H. Herbelin, I. Cervesato, J. Espírito Santo, J. Espírito Santo, J. Espírito Santo, J. Rocheteau, J. von Plato, K. Kikuchi, M. Abadi, M. Felleisen, M. Parigot, N. Rehof, P.-L. Curien, R. Dyckhoff, T. Griffin   +22 more
core   +2 more sources

Exploring Dipolar Dynamics and Ionic Transport in Metal‐Organic Frameworks: Experimental and Theoretical Insights

Advanced Functional Materials, EarlyView.
In this study, the interplay of dipolar dynamics and ionic charge transport in MOF compounds is investigated. Synthesizing the novel structure CFA‐25 with integrated freely rotating dipolar groups, local and macroscopic effects, including interactions with Cs cations are explored.
Ralph Freund, Arthur Schulz, Peter Lunkenheimer, Maryana Kraft, Thomas Bergler, Harald Oberhofer, Dirk Volkmer   +6 more
wiley   +1 more source

Modulating Two‐Photon Absorption in a Pyrene‐Based MOF Series: An In‐Depth Investigation of Structure–Property Relationships

Advanced Functional Materials, EarlyView.
This study investigates H4TBAPy‐based metal–organic frameworks (MOFs) ‐ NU‐1000, NU‐901, SrTBAPy, and BaTBAPy ‐ for multiphoton absorption (MPA) performance. It observes topology‐dependent variations in the 2PA cross‐section, with BaTBAPy exhibiting the highest activity.
Simon N. Deger, Helmy Pacheco Hernandez, Yang Cui, Hongxing Hao, Vanessa Ramm, David C. Mayer, Khai‐Nghi Truong, Roland A. Fischer, Jürgen Hauer, Mariana Kozlowska, Alexander Pöthig   +10 more
wiley   +1 more source

On‐Surface Indigo‐Based Bimolecular Coordination Networks with Programmable Regular or Vitreous Structure

Advanced Functional Materials, EarlyView.
A previously unreported coordination motif stabilising single Fe atoms by indigo chelation and pyridyl coordination on Au(111) has been revealed. By using planar tritopic pyridyl linkers (TPyB), extended 2D porous networks of indigo3(TPyB)2Fe6 form. These networks can be crystalline or vitreous and offer an environment where individual coordination ...
Hongxiang Xu, Ritam Chakraborty, Biao Yang, Dennis Meier, Joachim Reichert, Svetlana Klyatskaya, Mario Ruben, Shobhana Narasimhan, Johannes V. Barth, Anthoula C. Papageorgiou   +9 more
wiley   +1 more source

Logical consequence in modal logic II: Some semantic systems for S4 [PDF]

, 1974
: This 1974 paper builds on our 1969 paper (Corcoran-Weaver [2]). Here we present three (modal, sentential) logics which may be thought of as partial systematizations of the semantic and deductive properties of a sentence operator which expresses certain
Weaver, George
core  

Magnetic Control of Chiral Hybridized Phonon Magnetic Moments in Ferrimagnets Fe2‐xZnxMo3O8

Advanced Functional Materials, EarlyView.
Helicity‐resolved magneto‐Raman spectroscopy reveals magnetic control of chiral phonon magnetic moments in polar ferrimagnet (ZnxFe2−xMo3O₈). Large spontaneous zero‐field phonon splittings, selective phonon–magnon coupling, and asymmetric Zeeman responses demonstrate that phonon chirality is governed by magnon‐phonon coupling and magnetization.
Youngsu Choi, Dirk Wulferding, Amit Pawbake, Clément Faugeras, Sivasakthi Kuppusamy, Raman Sankar, Gichan Son, Jeongwoo Kim, Kwang‐Yong Choi   +8 more
wiley   +1 more source

A complete natural deduction system for the relational calculus [PDF]

, 1975
A relational calculus is a formal system in which relation is the fundamental concept. The simplest relational calcu1us, that of ordinary binary relations, was introduced by Tarski in [4].
Wadge, William W.
core