Glivenko sequent classes in the light of structural proof theory

DOI10.1007/s00153-016-0474-yzbMath1356.03048OpenAlexW2257080944MaRDI QIDQ283115

Sara Negri

Publication date: 13 May 2016

Published in: Archive for Mathematical Logic (Search for Journal in Brave)

Full work available at URL: http://hdl.handle.net/10138/178041

zbMATH Keywords

sequent calculusconservativity of classical over intuitionistic theoriesGlivenko classespredicate logic with equality and functionsproof analysis

Mathematics Subject Classification ID

Cut-elimination and normal-form theorems (03F05) Structure of proofs (03F07) Proof theory in general (including proof-theoretic semantics) (03F03) Subsystems of classical logic (including intuitionistic logic) (03B20)

Related Items

The Jacobson radical for an inconsistency predicate ⋮ THE JACOBSON RADICAL OF A PROPOSITIONAL THEORY ⋮ Glivenko sequent classes and constructive cut elimination in geometric logics ⋮ The Gödel-McKinsey-Tarski embedding for infinitary intuitionistic logic and its extensions ⋮ Geometric Rules in Infinitary Logic

Uses Software

• Pesca

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Contraction-free sequent calculi for geometric theories with an application to Barr's theorem
• Correspondences between classical, intuitionistic and uniform provability
• Minimal from classical proofs
• Proof Analysis
• Proof analysis beyond geometric theories: from rule systems to systems of rules