Thematic list of publications by Sara Negri

In the list that follows, to avoid duplications, publications are grouped according to their main topic; in each group, items are in reverse chronological order; electronic versions of articles available here may differ from the published versions.

Constructive topology and analysis; formal topology

Structural proof theory

Proof Analysis

Algebraic logic, lattice theory, domain theory

Constructive content of classical proofs

Modal and provability logic

Conditional logic

Non-classical logics

Temporal logic

Linear logic

Epistemic logic and formal epistemology

Philosophy of mathematics, history and philosophy of logic

Back to Sara's homepage.

Last modified September 2018