Cut Elimination in the Presence of Axioms
From MaRDI portal
Publication:4254567
DOI10.2307/420956zbMath0934.03072OpenAlexW2090663022WikidataQ114586998 ScholiaQ114586998MaRDI QIDQ4254567
Publication date: 6 April 2000
Published in: Bulletin of Symbolic Logic (Search for Journal in Brave)
Full work available at URL: https://semanticscholar.org/paper/9fb30639095e2197a4ed3be6e8f663bf49ad3862
Related Items
From axioms to synthetic inference rules via focusing, Logic and majority voting, A more unified approach to free logics, Analytic rules for mereology, Syntactic Completeness of Proper Display Calculi, Algebra, Proof Theory and Applications for a Logic of Propositions, Actions and Adjoint Modal Operators, PRIORITY MERGE AND INTERSECTION MODALITIES, Labeled sequent calculus for justification logics, Sequent calculi for \(\mathsf{SCI}\), NAIVE SET THEORY AND NONTRANSITIVE LOGIC, A NOTE ON THE SEQUENT CALCULI, Contraction, infinitary quantifiers, and omega paradoxes, THE JACOBSON RADICAL OF A PROPOSITIONAL THEORY, A universal algorithm for Krull's theorem, Interpolation in extensions of first-order logic, 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, On the metainferential solution to the semantic paradoxes, The Gödel-McKinsey-Tarski embedding for infinitary intuitionistic logic and its extensions, Is, ought, and cut, A two‐dimensional metric temporal logic, Negation-free and contradiction-free proof of the Steiner-Lehmus theorem, The intensional side of algebraic-topological representation theorems, Combinatorial analysis of proofs in projective and affine geometry, 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, Proof analysis in intermediate logics, Mathematical logic: proof theory, constructive mathematics. Abstracts from the workshop held November 5--11, 2017, Point-Free Spectra of Linear Spreads, Proofs and countermodels in non-classical logics, Axiomatizing geometric constructions, Corrected upper bounds for free-cut elimination, Proof Theory for Distributed Knowledge, Syntactic forcing models for coherent logic, Consistency of Heyting arithmetic in natural deduction, FROM STENIUS’ CONSISTENCY PROOF TO SCHÜTTE’S CUT ELIMINATION FOR ω-ARITHMETIC, PROOF ANALYSIS FOR LEWIS COUNTERFACTUALS, Meaning in Use, Proof-theoretic analysis of the logics of agency: the deliberative STIT, Faithfulness for naive validity, Axiom Directed Focusing, Absorbing the structural rules in the sequent calculus with additional atomic rules, Cut elimination for entailment relations, Forms of the Pasch axiom in ordered geometry, A FORMAL SYSTEM FOR EUCLID’SELEMENTS, Towards formal Baer criteria, Geometric Rules in Infinitary Logic, Syntax for Semantics: Krull’s Maximal Ideal Theorem, Proof analysis in modal logic, Incomplete symbols -- definite descriptions revisited, THE ELIMINATION OF ATOMIC CUTS AND THE SEMISHORTENING PROPERTY FOR GENTZEN’S SEQUENT CALCULUS WITH EQUALITY
