Proof Analysis
From MaRDI portal
Publication:3114184
DOI10.1017/CBO9781139003513zbMath1247.03001MaRDI QIDQ3114184
Publication date: 31 January 2012
Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Structure of proofs (03F07) Foundations of classical theories (including reverse mathematics) (03B30) Word problems, etc. in computability and recursion theory (03D40) Proof theory in general (including proof-theoretic semantics) (03F03)
Related Items (59)
From axioms to synthetic inference rules via focusing ⋮ Logic and majority voting ⋮ A Cut-Free Labelled Sequent Calculus for Dynamic Epistemic Logic ⋮ NORMAL DERIVABILITY IN CLASSICAL NATURAL DEDUCTION ⋮ Glivenko sequent classes in the light of structural proof theory ⋮ A more unified approach to free logics ⋮ Analytic rules for mereology ⋮ A Sequent Calculus for Preferential Conditional Logic Based on Neighbourhood Semantics ⋮ Uniform interpolation via nested sequents ⋮ Labeled sequent calculus for justification logics ⋮ Sequent calculi for \(\mathsf{SCI}\) ⋮ The Jacobson radical for an inconsistency predicate ⋮ Formalising mathematics -- in praxis; a mathematician's first experiences with Isabelle/HOL and the why and how of getting started ⋮ THE JACOBSON RADICAL OF A PROPOSITIONAL THEORY ⋮ Interpolation in extensions of first-order logic ⋮ Mechanising Gödel-Löb provability logic in HOL light ⋮ SUBATOMIC INFERENCES: AN INFERENTIALIST SEMANTICS FOR ATOMICS, PREDICATES, AND NAMES ⋮ Eliminating disjunctions by disjunction elimination ⋮ On counting propositional logic and Wagner's hierarchy ⋮ Glivenko sequent classes and constructive cut elimination in geometric logics ⋮ A first-order expansion of Artemov and Protopopescu's intuitionistic epistemic logic ⋮ Herzberger's limit rule with labelled sequent calculus ⋮ Labelled calculi for the logics of rough concepts ⋮ Is, ought, and cut ⋮ A Kripke Semantics for Hajek's BL ⋮ ELIMINATING DISJUNCTIONS BY DISJUNCTION ELIMINATION ⋮ Negation-free and contradiction-free proof of the Steiner-Lehmus theorem ⋮ The intensional side of algebraic-topological representation theorems ⋮ Neutral free logic: motivation, proof theory and models ⋮ An Investigation into Intuitionistic Logic with Identity ⋮ The Church-Fitch knowability paradox in the light of structural proof theory ⋮ Reasoning about collectively accepted group beliefs ⋮ Hypersequent Calculi for S5: The Methods of Cut Elimination ⋮ Unnamed Item ⋮ Proof analysis in intermediate logics ⋮ Verificationism and Classical Realizability ⋮ Through an Inference Rule, Darkly ⋮ Labelled sequent calculi for Lewis' non-normal propositional modal logics ⋮ Free logics are cut-free ⋮ Proofs and countermodels in non-classical logics ⋮ Kripke semantics for intuitionistic Łukasiewicz logic ⋮ From mathematical axioms to mathematical rules of proof: recent developments in proof analysis ⋮ Discussing Hilbert's 24th problem ⋮ Multicomponent proof-theoretic method for proving interpolation properties ⋮ Prawitz, Proofs, and Meaning ⋮ Meaning in Use ⋮ Constructibility and Geometry ⋮ Revising a Labelled Sequent Calculus for Public Announcement Logic ⋮ Constructive Embedding from Extensions of Logics of Strict Implication into Modal Logics ⋮ Proof-theoretic analysis of the logics of agency: the deliberative STIT ⋮ Cut elimination for entailment relations ⋮ Proving Craig and Lyndon Interpolation Using Labelled Sequent Calculi ⋮ Cut elimination for systems of transparent truth with restricted initial sequents ⋮ Empirical Negation, Co-Negation and the Contraposition Rule II: Proof-Theoretical Investigations ⋮ Super-Strict Implications ⋮ Sequent Calculi and Interpolation for Non-Normal Modal and Deontic Logics ⋮ Natural deduction systems for intuitionistic logic with identity ⋮ Geometric Rules in Infinitary Logic ⋮ Modular sequent calculi for classical modal logics
This page was built for publication: Proof Analysis
