Pages that link to "Item:Q4254567"
From MaRDI portal
The following pages link to Cut Elimination in the Presence of Axioms (Q4254567):
Displaying 50 items.
- Incomplete symbols -- definite descriptions revisited (Q253123) (← links)
- Analytic rules for mereology (Q300557) (← links)
- Labeled sequent calculus for justification logics (Q331048) (← links)
- Combinatorial analysis of proofs in projective and affine geometry (Q638479) (← links)
- On the elimination of quantifier-free cuts (Q650922) (← links)
- Reasoning about collectively accepted group beliefs (Q652734) (← links)
- Proof analysis in intermediate logics (Q661286) (← links)
- Corrected upper bounds for free-cut elimination (Q719283) (← links)
- Method of invariant transformations and logical deduction (Q759745) (← links)
- Proof analysis in modal logic (Q812101) (← links)
- Towards a semantic characterization of cut-elimination (Q817704) (← links)
- A more unified approach to free logics (Q830379) (← links)
- Sequent calculi for \(\mathsf{SCI}\) (Q1653652) (← links)
- Contraction, infinitary quantifiers, and omega paradoxes (Q1670488) (← links)
- Negation-free and contradiction-free proof of the Steiner-Lehmus theorem (Q1704083) (← links)
- Mathematical logic: proof theory, constructive mathematics. Abstracts from the workshop held November 5--11, 2017 (Q1731963) (← links)
- Syntactic forcing models for coherent logic (Q1788327) (← links)
- Lemma and cut strategies for propositional model elimination (Q1978019) (← links)
- Proof-theoretic analysis of the logics of agency: the deliberative STIT (Q2046875) (← links)
- Faithfulness for naive validity (Q2052637) (← links)
- Towards formal Baer criteria (Q2099403) (← links)
- From axioms to synthetic inference rules via focusing (Q2120974) (← links)
- Logic and majority voting (Q2121481) (← links)
- Interpolation in extensions of first-order logic (Q2186699) (← links)
- Herzberger's limit rule with labelled sequent calculus (Q2193976) (← links)
- Proofs and countermodels in non-classical logics (Q2254557) (← links)
- Absorbing the structural rules in the sequent calculus with additional atomic rules (Q2309499) (← links)
- Cut elimination for entailment relations (Q2312091) (← links)
- The Church-Fitch knowability paradox in the light of structural proof theory (Q2443327) (← links)
- Towards a clausal analysis of cut-elimination (Q2457341) (← links)
- Axiomatizing geometric constructions (Q2480964) (← links)
- A universal algorithm for Krull's theorem (Q2672666) (← links)
- The intensional side of algebraic-topological representation theorems (Q2695032) (← links)
- Neutral free logic: motivation, proof theory and models (Q2698548) (← links)
- From Stenius' consistency proof to Schütte's cut elimination for \(\omega\)-arithmetic (Q2804471) (← links)
- Proof analysis for Lewis counterfactuals (Q2804473) (← links)
- (Q2958526) (← links)
- Consistency of Heyting arithmetic in natural deduction (Q3066292) (← links)
- Algebra, Proof Theory and Applications for a Logic of Propositions, Actions and Adjoint Modal Operators (Q3178281) (← links)
- NAIVE SET THEORY AND NONTRANSITIVE LOGIC (Q3195591) (← links)
- Point-Free Spectra of Linear Spreads (Q3305641) (← links)
- Forms of the Pasch axiom in ordered geometry (Q3406446) (← links)
- Unwinding a Non-effective Cut Elimination Proof (Q3434700) (← links)
- Proof Theory for Distributed Knowledge (Q3602943) (← links)
- On Constructive Cut Admissibility in Deduction Modulo (Q3612434) (← links)
- Axiom Directed Focusing (Q3638252) (← links)
- Cut-elimination for simple type theory with an axiom of choice (Q4262565) (← links)
- (Q4489070) (← links)
- Uniqueness of axiomatic extensions of cut-free classical propositional logic (Q4644567) (← links)
- Cut-Elimination for SBL (Q5013907) (← links)
