Effect algebras form an algebraic formalization of the logic of quantum mechanics. For lattice effect algebras , we investigate a natural implication and prove that the implication reduct of is term equivalent to . Then, we present a simple axiom system in Gentzen style in order to axiomatize the logic induced by lattice effect algebras. For effect algebras which need not be lattice-ordered, we introduce a certain kind of implication which is everywhere defined but whose result need not be a single element. Then, we study effect implication algebras and prove the correspondence between these algebras and effect algebras satisfying the ascending chain condition. We present an axiom system in Gentzen style also for not necessarily lattice-ordered effect algebras and prove that it is an algebraic semantics for the logic induced by finite effect algebras.
Download full-text PDF |
Source |
|---|---|
| http://www.ncbi.nlm.nih.gov/pmc/articles/PMC7481171 | PMC |
| http://dx.doi.org/10.1007/s00500-020-05188-w | DOI Listing |
Publication Analysis
Top Keywords
Similar Publications
Optical clocks require an ultra-stable laser to probe and precisely measure the frequency of the narrow-linewidth clock transition. We introduce a portable ultraviolet (UV) laser system for use in an aluminum quantum logic clock, demonstrating a fractional frequency instability of approximately mod = 2 × 10. The system is based on an ultra-stable cavity with crystalline AlGaAs/GaAs mirror coatings, with a frequency quadrupling system employing two single-pass second-harmonic generation (SHG) stages.
View Article and Find Full Text PDFCell-Interface-Deciphering Lipid Nanotablet for Nanoparticle Logic Gate-Based Real-Time Single-Cell Analysis.
Nano Lett
January 2025
Department of Chemistry, Seoul National University, 1 Gwanak-ro, Gwanak-gu, Seoul 08826, South Korea.
Analyzing the cell interface is of paramount importance in understanding how cells interact and communicate with other cells, but an advanced analytical platform that can process complex and networked interactions between cell surface ligands and receptors is lacking. Herein, we developed the cell-interface-deciphering lipid nanotablet (CID-LNT) for multiplexed real-time cell analysis. LNT is a nanoparticle-tethered lipid bilayer chip where freely diffusing plasmonic nanoparticles induce scattering signal changes.
View Article and Find Full Text PDFCell-membrane targeting sonodynamic therapy combination with FSP1 inhibition for ferroptosis-boosted immunotherapy.
Mater Today Bio
February 2025
Breast Center, Department of General Surgery, Nanfang Hospital, Southern Medical University, Guangzhou, 510515, PR China.
Cell membrane targeting sonodynamic therapy could induce the accumulation of lipid peroxidation (LPO), drive ferroptosis, and further enhances immunogenic cell death (ICD) effects. However, ferroptosis is restrained by the ferroptosis suppressor protein 1 (FSP1) at the plasma membrane, which can catalyze the regeneration of ubiquinone (CoQ10) by using NAD(P)H to suppress the LPO accumulation. This work describes the construction of US-active nanoparticles (TiF NPs), which combinate cell-membrane targeting sonosensitizer TBT-CQi with FSP1 inhibitor (iFSP1), facilitating cell-membrane targeting sonodynamic-triggered ferroptosis.
View Article and Find Full Text PDFDirect Observation of Fully Spin-Polarized Tunnel Current Between Quantum Spins Using a Single Molecule Sensor.
ACS Nano
January 2025
IBM Almaden Research Center, San Jose 95120-6099, California, United States.
Controlling spin-polarized currents at the nanoscale is of immense importance for high-density magnetic data storage and spin-based logic devices. As electronic devices are miniaturized to the ultimate limit of individual atoms and molecules, electronic transport is strongly influenced by the properties of the individual spin centers and their magnetic interactions. In this work, we demonstrate the precise control and detection of spin-polarized currents through two coupled spin centers at a tunnel junction by controlling their spin-spin interactions.
View Article and Find Full Text PDFLanthanide-Assisted Function Tailoring of the HOF-Based Logic Gate Sensor Array for Biothiol Detection and Disease Discrimination.
Anal Chem
January 2025
Research Center for Analytical Sciences, Department of Chemistry, College of Sciences, Northeastern University, Box 332, Shenyang 110819, China.
The advancement of lanthanide fingerprint sensors characterized by targeted emission responses and low self-fluorescence interference for the detection of biothiols is of considerable importance for the early diagnosis and treatment of cancer. Herein, the lanthanide "personality function tailoring" HOF composite sensor array is designed for the specific discrimination of biothiols (GSH, Cys, and Hcy) based on the activation of various luminescent molecules, such as r-AuNCs/luminol via HOF surface proximity. Lumi-HOF@Ce serves as a versatile platform for catalyzing the oxidation of -phenylenediamine (OPD) to generate yellow fluorescent oligomers, accompanied by the fluorescence attenuation of luminol.
View Article and Find Full Text PDFWant AI Summaries of new PubMed Abstracts delivered to your In-box?
Enter search terms and have AI summaries delivered each week - change queries or unsubscribe any time!