1

Proof analysis: a contribution to hilbert's last problem

by: Negri, Sara, Professor.; Von Plato, Jan.
Cambridge : Cambridge University Press : [distributor] Cambridge University Press : [distributor] Cambridge University P...
Book
2

Proof analysis: a contribution to hilbert's last problem

by: Negri, Sara, Professor.; Von Plato, Jan.
Cambridge : Cambridge University Press : [distributor] Cambridge University Press : [distributor] Cambridge University P...
Book
3

Structural proof theory

by: Negri, Sara, Professor.; Von Plato, Jan.; Ranta, Aarne.
Cambridge : Cambridge University Press : [distributor] Cambridge University Press : [distributor] Cambridge University P...
Book
4

Structural proof theory

by: Negri, Sara; Plato, Jan von (Author)
Cambridge [u.a.]: Cambridge Univ. Press, 2001
Book
5

The intensional side of algebraic-topological representation theorems

by: Negri, Sara
In: Synthese (2017)
E-Article
6

Proof analysis beyond geometric theories: from rule systems to systems of rules

E-Article
7

Glivenko sequent classes in the light of structural proof theory

E-Article
8

Proofs and Countermodels in Non-Classical Logics

E-Article
9

Proof Theory for Modal Logic : Proof Theory for Modal Logic: Proof Theory for Modal Logic

E-Article
10

Proof Analysis in Modal Logic

E-Article
11

Proof Analysis in Modal Logic

E-Article
12

Proof-theoretical analysis of order relations

E-Article
13
14

Varieties of Linear Calculi

E-Article
15

A normalizing system of natural deduction for intuitionistic linear logic

E-Article
16

Permutability of rules in lattice theory

E-Article
17

Varieties of Linear Calculi

E-Article
18

The continuum as a formal space

E-Article
19

Sequent calculus proof theory of intuitionistic apartness and order relations

E-Article
20

Proof theory for quantified monotone modal logics

E-Article