Proof analysis beyond geometric theories: from rule systems to systems of rules
From MaRDI portal
Publication:5739973
DOI10.1093/logcom/exu037zbMath1403.03116OpenAlexW2115895996MaRDI QIDQ5739973
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
cut eliminationsequent calculusGlivenko classeslabelled deductiongeneralized geometric implicationsSahlqvist fragment
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
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