Sara Negri
Biographic Data
| ID | 3873295 |
|---|---|
| NAME | Sara Negri |
| GIVEN NAMES | Sara |
| FAMILY NAME | Negri |
| SIGNATURE | NEGRI S |
| AFFILIATIONS | University of Helsinki |
| ORCID | 0000-0001-6687-741X |
| VERIFIED | Yes |
| TOTAL WORKS | 5 |
| TOTAL CITATIONS | 7 |
| AUTHOR COUNT | 5 |
| EDITOR COUNT | 0 |
| FIRST PUBLICATION YEAR | 2011 |
| LATEST PUBLICATION YEAR | 2022 |
| H-INDEX | 1 |
Occupational Exposure Assessment to Antineoplastic Drugs in Nine Italian Hospital Centers over a 5-Year Survey Program
In the present study, surface contamination where antineoplastic drugs (ADs) are present was investigated, as occupational exposure risk is still an open debate. Despite recommendations and safety standard procedures being in place in health care settings, quantifiable levels of ADs are being reported in the recent literature. Thus, a survey monitoring program was conducted over five years (2016-2021) in nine Italian hospitals. The repeated surve…
The intensional side of algebraic-topological representation theorems
The Church–Fitch knowability paradox in the light of structural proof theory
Does the deduction theorem fail for modal logic
Proof Theory for Modal Logic
The axiomatic presentation of modal systems and the standard formulations of natural deduction and sequent calculus for modal logic are reviewed, together with the difficulties that emerge with these approaches. Generalizations of standard proof systems are then presented. These include, among others, display calculi, hypersequents, and labelled systems, with the latter surveyed from a closer perspective
Proof Theory for Modal Logic
The axiomatic presentation of modal systems and the standard formulations of natural deduction and sequent calculus for modal logic are reviewed, together with the difficulties that emerge with these approaches. Generalizations of standard proof systems are then presented. These include, among others, display calculi, hypersequents, and labelled systems, with the latter surveyed from a closer perspective
The Church–Fitch knowability paradox in the light of structural proof theory
Does the deduction theorem fail for modal logic
Proof Theory for Modal Logic
The axiomatic presentation of modal systems and the standard formulations of natural deduction and sequent calculus for modal logic are reviewed, together with the difficulties that emerge with these approaches. Generalizations of standard proof systems are then presented. These include, among others, display calculi, hypersequents, and labelled systems, with the latter surveyed from a closer perspective
Does the deduction theorem fail for modal logic
The Church–Fitch knowability paradox in the light of structural proof theory
The intensional side of algebraic-topological representation theorems
Occupational Exposure Assessment to Antineoplastic Drugs in Nine Italian Hospital Centers over a 5-Year Survey Program
In the present study, surface contamination where antineoplastic drugs (ADs) are present was investigated, as occupational exposure risk is still an open debate. Despite recommendations and safety standard procedures being in place in health care settings, quantifiable levels of ADs are being reported in the recent literature. Thus, a survey monitoring program was conducted over five years (2016-2021) in nine Italian hospitals. The repeated surve…
Logic, Reasoning, and Knowledge (4 works) · Mathematical proof (4 works) · Mathematics (4 works) · Advanced Algebra and Logic (3 works) · Computer Science (3 works) · Discrete mathematics (3 works) · Logic, programming, and type systems (3 works) · Modal (3 works) · Sequent calculus (3 works) · Algebra over a field (2 works)