Results 61 to 70 of about 506,932 (281)
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
Advanced Healthcare Materials, EarlyView.Antimicrobial peptide (AMP)‐loaded nanocarriers provide a multifunctional strategy to combat drug‐resistant Mycobacterium tuberculosis. By enhancing intracellular delivery, bypassing efflux pumps, and disrupting bacterial membranes, this platform restores phagolysosome fusion and macrophage function.
Christian S. Carnero Canales +11 more
wiley +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
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
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
A Modal Logic for Termgraph Rewriting
, 2010 We propose a modal logic tailored to describe graph transformations and discuss some of its properties. We focus on a particular class of graphs called termgraphs. They are first-order terms augmented with sharing and cycles.
Balbiani, Ph., Echahed, R., Herzig, A.
core +3 more sources
From Copper Nanoparticles to Alumina Encapsulated Porous Layers With Enhanced Mechanical Stability
Advanced Materials Interfaces, EarlyView.This study analyzes the synthesis‐structure relation of individual Cu nanoparticles and highly porous nanoparticle‐based Cu films using different sputtering‐based nanoparticle sources. The inherent mechanical instability of the films is tackled with Al2O3 encapsulation through atomic layer deposition, enabling 4‐fold increase in critical force in ...
Dominik Gutnik +6 more
wiley +1 more source