profile picture

Sergio Negri

 More details
Areas of Interest
Mixed Theories of Law
  • A proof theoretical perspective on public announcement logic
    with P. Maffezioli
    Logic and Philosophy of Science. forthcoming.
    Areas of Mathematics
  •  16
    Proof-Theoretic Analysis of the Logics of Agency: The Deliberative STIT
    with E. Pavlović
    Studia Logica 109 (3): 473-507. 2020.
    A sequent calculus methodology for systems of agency based on branching-time frames with agents and choices is proposed, starting with a complete and cut-free system for multi-agent deliberative STIT; the methodology allows a transparent justification of the rules, good structural properties, analyticity, direct completeness and decidability proofs.
    Proof Theory
  •  8
    Admissibility of structural rules for extensions of contraction-free sequent calculi
    with R. Dyckhoff
    Logic Journal of the IGPL 9 (4): 541-548. 2001.
    The contraction-free sequent calculus G4 for intuitionistic logic is extended by rules following a general rule-scheme for nonlogical axioms. Admissibility of structural rules for these extensions is proved in a direct way by induction on derivations. This method permits the representation of various applied logics as complete, contraction- and cut-free sequent calculus systems with some restrictions on the nature of the derivations. As specific examples, intuitionistic theories of apartness and…Read more
    Proof Theory
  • Natural deduction and normal form for intuitionistic linear logic
    Archive for Mathematical Logic. forthcoming.
    Intuitionistic LogicProof Theory