Results 51 to 60 of about 23,486 (260)
Reference in Formal Semantics and Natural Language: A Methodological Route
Phenomenology and Mind, 2019 In this paper, I will tackle the notion of reference of singular terms in the light of a classic analytic divide, i.e. whether its analysis, like the analysis of other basic notions, should be carried out in natural language or in the semantics of formal
Francesca Boccuni
doaj +1 more source
Certification of Prefixed Tableau Proofs for Modal Logic [PDF]
Electronic Proceedings in Theoretical Computer Science, 2016 Different theorem provers tend to produce proof objects in different formats and this is especially the case for modal logics, where several deductive formalisms (and provers based on them) have been presented.
Tomer Libal, Marco Volpe
doaj +1 more source
Similarities of Jonsson spectra’s classes
Қарағанды университетінің хабаршысы. Математика сериясы, 2023 The study of syntactic and semantic properties of a first-order language, generally speaking, for incomplete theories, is one of the urgent problems of mathematical logic.
A.R. Yeshkeyev +2 more
doaj +1 more source
Atomistic Mechanisms Triggered by Joule Heating Effects in Metallic Cu‐Bi Nanowires for Spintronics
Advanced Materials, EarlyView.Bi doped metallic Cu nanowires are promising for spintronics thanks to the stabilization of a giant spin Hall effect. However, heat resulting from current injection forces Bi to leave solution, forcing segregation into monoatomic decorations which evolve into coherent crystalline aggregates.
Alejandra Guedeja‐Marrón +6 more
wiley +1 more source
Advanced Materials, EarlyView.Ordered three‐dimensional anodic aluminum oxide (3D‐AAO) nanoarchitectures with longitudinal and transverse pores enable architecture‐driven metamaterials. The review maps fabrication advances, including hybrid pulse anodization, and shows how 3D‐AAO templates tailor properties across magnetism, energy, catalysis, and sensing.
Marisol Martín‐González
wiley +1 more source
A Quantum–Classical Model of Brain Dynamics
Entropy, 2023 The study of the human psyche has elucidated a bipartite structure of logic reflecting the quantum–classical nature of the world. Accordingly, we posited an approach toward studying the brain by means of the quantum–classical dynamics of a mixed Weyl ...
Alessandro Sergi +3 more
doaj +1 more source
Advanced Materials, EarlyView.Drawing inspiration from the layered hard‐soft architecture found in sea sponges, this work establishes a new framework for architected cementitious composites (ACC) through multi‐material additive manufacturing (MMAM) process. The integration of mortar and elastomer phases into layered architectures enables synergistic toughening mechanisms, including
Aimane Najmeddine +5 more
wiley +1 more source
Principia: An International Journal of Epistemology, 2002 In view of the present state of development of non classical logic, especially of paraconsistent logic, a new stand regarding the relations between logic and ontology is defended In a parody of a dictum of Quine, my stand May be summarized as follows. To
Newton C. A. da Costa
doaj
Forcing for an Optimal A-Translation
LogicsKripke semantics for intuitionistic predicate logic IQC is often viewed as a forcing relation between posets and formulas. In this paper, we further introduce Cohen forcing into semantics.
Rui Li
doaj +1 more source
2D Nanomaterials Toward Function‐Ready Superlubricity in Advanced Microsystems
Advanced Materials, EarlyView.A unified framework links structural and transformation superlubricity with microsystem functions and deployment requirements. Mechanisms, device architectures, integration strategies, AI‐guided discovery, and benchmarking protocols are connected to define function‐ready superlubricity in advanced microsystems.
Yushan Geng, Jun Yang, Yong Yang
wiley +1 more source