Pages that link to "Item:Q1407600"

The following pages link to Contraction-free sequent calculi for geometric theories with an application to Barr's theorem (Q1407600):

Displayed 28 items.

• Glivenko sequent classes in the light of structural proof theory (Q283115) ‎ (← links)
• Analytic rules for mereology (Q300557) ‎ (← links)
• Labeled sequent calculus for justification logics (Q331048) ‎ (← links)
• Labeled sequent calculi for modal logics and implicit contractions (Q377468) ‎ (← 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)
• Proof analysis in modal logic (Q812101) ‎ (← links)
• Contraction, infinitary quantifiers, and omega paradoxes (Q1670488) ‎ (← links)
• Negation-free and contradiction-free proof of the Steiner-Lehmus theorem (Q1704083) ‎ (← links)
• On the proof theory of infinitary modal logic (Q2106873) ‎ (← links)
• From axioms to synthetic inference rules via focusing (Q2120974) ‎ (← links)
• Interpolation in extensions of first-order logic (Q2186699) ‎ (← links)
• Formalizing Kant's rules. A logic of conditional imperatives and permissives (Q2194110) ‎ (← links)
• Proofs and countermodels in non-classical logics (Q2254557) ‎ (← links)
• Intermediate logics admitting a structural hypersequent calculus (Q2422309) ‎ (← links)
• The Church-Fitch knowability paradox in the light of structural proof theory (Q2443327) ‎ (← links)
• GEOMETRISATION OF FIRST-ORDER LOGIC (Q2795295) ‎ (← links)
• PROOF ANALYSIS FOR LEWIS COUNTERFACTUALS (Q2804473) ‎ (← links)
• Geometric Rules in Infinitary Logic (Q5020172) ‎ (← links)
• Syntactic Completeness of Proper Display Calculi (Q5056369) ‎ (← links)
• From mathematical axioms to mathematical rules of proof: recent developments in proof analysis (Q5204802) ‎ (← links)
• Meaning in Use (Q5213613) ‎ (← links)
• Constructibility and Geometry (Q5213630) ‎ (← links)
• Full Cut Elimination and Interpolation for Intuitionistic Logic with Existence Predicate (Q5241408) ‎ (← links)
• In the Shadows of the Löwenheim-Skolem Theorem: Early Combinatorial Analyses of Mathematical Proofs (Q5421030) ‎ (← links)
• A FORMAL SYSTEM FOR EUCLID’S<i>ELEMENTS</i> (Q5850985) ‎ (← links)
• Glivenko sequent classes and constructive cut elimination in geometric logics (Q6103506) ‎ (← links)