Cut Elimination in the Presence of Axioms
From MaRDI portal
Publication:4254567
DOI10.2307/420956zbMATH Open0934.03072OpenAlexW2090663022WikidataQ114586998 ScholiaQ114586998MaRDI QIDQ4254567FDOQ4254567
Authors: Sara Negri, Jan von Plato 
Publication date: 6 April 2000
Published in: The Bulletin of Symbolic Logic (Search for Journal in Brave)
Full work available at URL: https://semanticscholar.org/paper/9fb30639095e2197a4ed3be6e8f663bf49ad3862
Recommendations
Cited In (76)
- Title not available (Why is that?)
- Axiom Directed Focusing
- Glivenko sequent classes and constructive cut elimination in geometric logics
- Is, ought, and cut
- Synthesizing nested relational queries from implicit specifications: via model theory and via proof theory
- Cut-Simulation in Impredicative Logics
- Focusing Gentzen's LK proof system
- The elimination of atomic cuts and the semishortening property for Gentzen's sequent calculus with equality
- PRIORITY MERGE AND INTERSECTION MODALITIES
- Title not available (Why is that?)
- A NOTE ON THE SEQUENT CALCULI
- Unwinding a Non-effective Cut Elimination Proof
- From axioms to synthetic inference rules via focusing
- Incomplete symbols -- definite descriptions revisited
- Towards formal Baer criteria
- Contraction, infinitary quantifiers, and omega paradoxes
- Cut elimination for Gentzen's sequent calculus with equality and logic of partial terms
- Uniqueness of axiomatic extensions of cut-free classical propositional logic
- Equal Rights for the Cut: Computable Non-analytic Cuts in Cut-based Proofs
- Consistency of Heyting arithmetic in natural deduction
- A more unified approach to free logics
- Cut-elimination for simple type theory with an axiom of choice
- Mathematical logic: proof theory, constructive mathematics. Abstracts from the workshop held November 5--11, 2017
- Proof-theoretic analysis of the logics of agency: the deliberative STIT
- On the metainferential solution to the semantic paradoxes
- Syntactic forcing models for coherent logic
- Syntactic Completeness of Proper Display Calculi
- Combinatorial analysis of proofs in projective and affine geometry
- A first-order expansion of Artemov and Protopopescu's intuitionistic epistemic logic
- A universal algorithm for Krull's theorem
- Cut-Elimination for SBL
- An investigation into intuitionistic logic with identity
- Geometric Rules in Infinitary Logic
- Title not available (Why is that?)
- Meaning in use
- Analytic rules for mereology
- Tautology elimination, cut elimination, and S5
- Towards a clausal analysis of cut-elimination
- A FORMAL SYSTEM FOR EUCLID’SELEMENTS
- The Church-Fitch knowability paradox in the light of structural proof theory
- Corrected upper bounds for free-cut elimination
- Proof analysis for Lewis counterfactuals
- Axiomatizing geometric constructions
- Forms of the Pasch axiom in ordered geometry
- Proof analysis in modal logic
- Negation-free and contradiction-free proof of the Steiner-Lehmus theorem
- Algebra, proof theory and applications for a logic of propositions, actions and adjoint modal operators
- A two-dimensional metric temporal logic
- Sequent calculi for \(\mathsf{SCI}\)
- Logic and majority voting
- Cut elimination for a calculus with context-dependent rules
- Point-Free Spectra of Linear Spreads
- Labeled sequent calculus for justification logics
- Proofs and countermodels in non-classical logics
- Interpolation in extensions of first-order logic
- THE JACOBSON RADICAL OF A PROPOSITIONAL THEORY
- Method of invariant transformations and logical deduction
- Faithfulness for naive validity
- The Gödel-McKinsey-Tarski embedding for infinitary intuitionistic logic and its extensions
- Reasoning about collectively accepted group beliefs
- Proof analysis in intermediate logics
- On Constructive Cut Admissibility in Deduction Modulo
- Naive set theory and nontransitive logic
- From Stenius' consistency proof to Schütte's cut elimination for \(\omega\)-arithmetic
- Towards a semantic characterization of cut-elimination
- On the elimination of quantifier-free cuts
- Lemma and cut strategies for propositional model elimination
- The intensional side of algebraic-topological representation theorems
- Proof Theory for Distributed Knowledge
- A Semantic Proof that Reducibility Candidates entail Cut Elimination
- Cut elimination for entailment relations
- Herzberger's limit rule with labelled sequent calculus
- Neutral free logic: motivation, proof theory and models
- Absorbing the structural rules in the sequent calculus with additional atomic rules
- Cut-Simulation and Impredicativity
- Syntax for semantics: Krull's maximal ideal theorem
This page was built for publication: Cut Elimination in the Presence of Axioms
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4254567)
