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

DOI10.1093/logcom/exu037zbMath1403.03116OpenAlexW2115895996MaRDI QIDQ5739973

Sara Negri

Publication date: 7 July 2016

Published in: Journal of Logic and Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1093/logcom/exu037

zbMATH Keywords

cut eliminationsequent calculusGlivenko classeslabelled deductiongeneralized geometric implicationsSahlqvist fragment

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 (14)

From axioms to synthetic inference rules via focusing ⋮ Glivenko sequent classes in the light of structural proof theory ⋮ Analytic rules for mereology ⋮ Invited Talk: Coherentisation of First-Order Logic ⋮ THE JACOBSON RADICAL OF A PROPOSITIONAL THEORY ⋮ A universal algorithm for Krull's theorem ⋮ The intensional side of algebraic-topological representation theorems ⋮ On the concurrent computational content of intermediate logics ⋮ Proofs and countermodels in non-classical logics ⋮ Syntactic forcing models for coherent logic ⋮ From mathematical axioms to mathematical rules of proof: recent developments in proof analysis ⋮ Towards formal Baer criteria ⋮ Modular sequent calculi for classical modal logics ⋮ Syntax for Semantics: Krull’s Maximal Ideal Theorem

This page was built for publication: Proof analysis beyond geometric theories: from rule systems to systems of rules