Pages that link to "Item:Q1407600"
From MaRDI portal
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)