Pages that link to "Item:Q4254567"

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)
• Reasoning about collectively accepted group beliefs (Q652734) (← links)
• Proof analysis in intermediate logics (Q661286) (← links)
• Corrected upper bounds for free-cut elimination (Q719283) (← links)
• Proof analysis in modal logic (Q812101) (← 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)
• 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)
• 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 <i>ω</i>-ARITHMETIC (Q2804471) (← links)
• PROOF ANALYSIS FOR LEWIS COUNTERFACTUALS (Q2804473) (← 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)
• Proof Theory for Distributed Knowledge (Q3602943) (← links)
• Axiom Directed Focusing (Q3638252) (← links)
• Geometric Rules in Infinitary Logic (Q5020172) (← links)
• Syntax for Semantics: Krull’s Maximal Ideal Theorem (Q5024726) (← links)
• THE ELIMINATION OF ATOMIC CUTS AND THE SEMISHORTENING PROPERTY FOR GENTZEN’S SEQUENT CALCULUS WITH EQUALITY (Q5027662) (← links)
• Syntactic Completeness of Proper Display Calculi (Q5056369) (← links)
• PRIORITY MERGE AND INTERSECTION MODALITIES (Q5065140) (← links)
• A NOTE ON THE SEQUENT CALCULI (Q5078820) (← links)
• THE JACOBSON RADICAL OF A PROPOSITIONAL THEORY (Q5085858) (← links)
• A two‐dimensional metric temporal logic (Q5112385) (← links)
• An Investigation into Intuitionistic Logic with Identity (Q5126198) (← links)
• Meaning in Use (Q5213613) (← links)
• A FORMAL SYSTEM FOR EUCLID’S<i>ELEMENTS</i> (Q5850985) (← links)
• Glivenko sequent classes and constructive cut elimination in geometric logics (Q6103506) (← links)