Search the dblp DataBase

Publications of Author

1. Sara Negri, Jan von Plato
   From Kripke Models to Algebraic Counter-Valuations. [Citation Graph (0, 0)][DBLP]
   TABLEAUX, 1998, pp:247-261 [Conf]
   
2. Sara Negri
   Continous Lattices in Formal Topology. [Citation Graph (0, 0)][DBLP]
   TYPES, 1996, pp:333-353 [Conf]
   
3. Jan Cederquist, Sara Negri
   A Constructive Proof of the Heine-Borel Covering Theorem for Formal Reals. [Citation Graph (0, 0)][DBLP]
   TYPES, 1995, pp:62-75 [Conf]
   
4. Sara Negri, Jan von Plato, Thierry Coquand
   Proof-theoretical analysis of order relations. [Citation Graph (0, 0)][DBLP]
   Arch. Math. Log., 2004, v:43, n:3, pp:297-310 [Journal]
   
5. Sara Negri
   Contraction-free sequent calculi for geometric theories with an application to Barr's theorem. [Citation Graph (0, 0)][DBLP]
   Arch. Math. Log., 2003, v:42, n:4, pp:389-401 [Journal]
   
6. Roy Dyckhoff, Sara Negri
   Decision methods for linearly ordered Heyting algebras. [Citation Graph (0, 0)][DBLP]
   Arch. Math. Log., 2006, v:45, n:4, pp:411-422 [Journal]
   
7. Sara Negri, Jan von Plato
   Cut elimination in the presence of axioms. [Citation Graph (0, 0)][DBLP]
   Bulletin of Symbolic Logic, 1998, v:4, n:4, pp:418-435 [Journal]
   
8. Roy Dyckhoff, Sara Negri
   Admissibility of Structural Rules for Extensions of Contraction-Free Sequent Calculi. [Citation Graph (0, 0)][DBLP]
   Logic Journal of the IGPL, 2001, v:9, n:4, pp:- [Journal]
   
9. Roy Dyckhoff, Sara Negri
   Admissibility of Structural Rules for Contraction-Free Systems of Intuitionistic Logic. [Citation Graph (0, 0)][DBLP]
   J. Symb. Log., 2000, v:65, n:4, pp:1499-1518 [Journal]
   
10. Sara Negri, Jan von Plato
    Sequent Calculus in Natural Deduction Style. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 2001, v:66, n:4, pp:1803-1816 [Journal]
    
11. Sara Negri, Silvio Valentini
    Tychonoff's Theorem in the Framework of Formal Topologies. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1997, v:62, n:4, pp:1315-1332 [Journal]
    
12. Sara Negri
    Permutability of Rules for Linear Lattices. [Citation Graph (0, 0)][DBLP]
    J. UCS, 2005, v:11, n:12, pp:1986-1995 [Journal]
    
13. Sara Negri
    Continuous Domains as Formal Spaces. [Citation Graph (0, 0)][DBLP]
    Mathematical Structures in Computer Science, 2002, v:12, n:1, pp:19-52 [Journal]
    
14. Sara Negri
    Semantical Observations on the Embedding of Intuitionistic Logic into Intuitionistic Linear Logic. [Citation Graph (0, 0)][DBLP]
    Mathematical Structures in Computer Science, 1995, v:5, n:1, pp:41-68 [Journal]
    
15. Sara Negri, Jan von Plato
    Proof systems for lattice theory. [Citation Graph (0, 0)][DBLP]
    Mathematical Structures in Computer Science, 2004, v:14, n:4, pp:507-526 [Journal]
    
16. 
    Proof Theory for Distributed Knowledge. [Citation Graph (, )][DBLP]
    
    
17. 
    Decidability for Priorean Linear Time Using a Fixed-Point Labelled Calculus. [Citation Graph (, )][DBLP]
    
    
18. 
    A normalizing system of natural deduction for intuitionistic linear logic. [Citation Graph (, )][DBLP]
    
    
19. 
    The continuum as a formal space. [Citation Graph (, )][DBLP]
    
    
20. 
    Sequent calculus proof theory of intuitionistic apartness and order relations. [Citation Graph (, )][DBLP]