Proof Analysis
From MaRDI portal
Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) 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) Structure of proofs (03F07)
Recommendations
- scientific article; zbMATH DE number 956475
- Proof Analysis. A Contribution to Hilbert's Last Problem
- scientific article; zbMATH DE number 1390268
- A proof of Hilbert's Nullstellensatz
- Remarks on Hilbert’s Proof Theory
- Hilbert programme and applied proof theory
- scientific article; zbMATH DE number 5788436
- Writing Proofs in Analysis
- From Hilbert proofs to consecutions and back
- On the logical analysis of proofs based on nonseparable Hilbert space theory
Cited in
(83)- Sequent calculi for \(\mathsf{SCI}\)
- Eliminating disjunctions by disjunction elimination
- Negation-free and contradiction-free proof of the Steiner-Lehmus theorem
- Multicomponent proof-theoretic method for proving interpolation properties
- Kripke semantics for intuitionistic Łukasiewicz logic
- Proof-theoretic analysis of the logics of agency: the deliberative STIT
- Cut elimination for systems of transparent truth with restricted initial sequents
- Natural deduction systems for intuitionistic logic with identity
- From axioms to synthetic inference rules via focusing
- Logic and majority voting
- Uniform interpolation via nested sequents
- Interpolation in extensions of first-order logic
- Herzberger's limit rule with labelled sequent calculus
- Labelled sequent calculi for Lewis' non-normal propositional modal logics
- Free logics are cut-free
- Proofs and countermodels in non-classical logics
- Cut elimination for entailment relations
- Modular sequent calculi for classical modal logics
- The Church-Fitch knowability paradox in the light of structural proof theory
- Formalising mathematics -- in praxis; a mathematician's first experiences with Isabelle/HOL and the why and how of getting started
- The intensional side of algebraic-topological representation theorems
- Neutral free logic: motivation, proof theory and models
- Glivenko sequent classes in the light of structural proof theory
- Proving Craig and Lyndon interpolation using labelled sequent calculi
- Normal derivability in classical natural deduction
- Hypersequent calculi for S5: the methods of cut elimination
- Analytic rules for mereology
- Verificationism and Classical Realizability
- Through an inference rule, darkly
- Labeled sequent calculus for justification logics
- A sequent calculus for preferential conditional logic based on neighbourhood semantics
- scientific article; zbMATH DE number 5788436 (Why is no real title available?)
- Formal Theories are Acyclic
- scientific article; zbMATH DE number 956475 (Why is no real title available?)
- 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
- Geometric Rules in Infinitary Logic
- Modal functional (``Dialectica) interpretation
- The Jacobson radical for an inconsistency predicate
- THE JACOBSON RADICAL OF A PROPOSITIONAL THEORY
- An investigation into intuitionistic logic with identity
- From mathematical axioms to mathematical rules of proof: recent developments in proof analysis
- Discussing Hilbert's 24th problem
- 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
- A cut-free labelled sequent calculus for dynamic epistemic logic
- Eliminating disjunctions by disjunction elimination
- Proof analysis beyond geometric theories: from rule systems to systems of rules
- Mechanising Gödel-Löb provability logic in HOL light
- SUBATOMIC INFERENCES: AN INFERENTIALIST SEMANTICS FOR ATOMICS, PREDICATES, AND NAMES
- 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
- Labelled calculi for the logics of rough concepts
- Is, ought, and cut
- A Kripke Semantics for Hajek's BL
- Combinatorial analysis of proofs in projective and affine geometry
- Reasoning about collectively accepted group beliefs
- Quantified modal logics: one approach to rule (almost) them all!
- Proof analysis in intermediate logics
- The logicality of equality
- Mathematical logic: proof theory, constructive mathematics. Abstracts from the workshop held November 12--17, 2023
- A Boolean-algebraic approach to completeness for normal modal predicate logics
- A general Glivenko-Gödel theorem for nuclei
- Gentzen's overview of calculi and reductions in consistency proofs
- Exploring Jaśkowski's discussive logic. Proof analysis and related remarks
- Modular sequent calculi for interpretability logics
- Meaning is use: the case of propositional identity
- Uniform interpolation via nested sequents and hypersequents
- Fusion, fission, and Ackermann's truth constant in relevant logics: a proof-theoretic investigation
- A terminating intuitionistic calculus
- Alternative axiomatization for logics of agency in a G3 calculus
- A proof-theoretic approach to formal epistemology
- Beyond semantic pollution: towards a practice-based philosophical analysis of labelled calculi
- Inferential semantic contamination, harmony and realist pollution
- Mind the gap: a conciliating short proof of strong normalization for minimal propositional logic
- Agent interpolation in distributed systems
- Bilateral labeled sequent calculi
- A more unified approach to free logics
This page was built for publication: Proof Analysis
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3114184)
