Pages that link to "Item:Q2996175"

The following pages link to A Local System for Classical Logic (Q2996175):

Displaying 27 items.

• Intermutation (Q421481) (← links)
• Extension without cut (Q714731) (← links)
• Deep sequent systems for modal logic (Q834716) (← links)
• MELL in the calculus of structures (Q1884903) (← links)
• The explosion calculus (Q2186694) (← links)
• Spinal atomic \(\lambda\)-calculus (Q2200851) (← links)
• The canonical pairs of bounded depth Frege systems (Q2216035) (← links)
• Locality for classical logic (Q2372689) (← links)
• On structuring proof search for first order linear logic (Q2503319) (← links)
• On the Power of Substitution in the Calculus of Structures (Q2946759) (← links)
• On linear rewriting systems for Boolean logic and some applications to proof theory (Q2974793) (← links)
• (Q3481833) (← links)
• Some Observations on the Proof Theory of Second Order Propositional Multiplicative Linear Logic (Q3637204) (← links)
• (Q4263004) (← links)
• (Q4428313) (← links)
• System NEL is Undecidable (Q4924537) (← links)
• A Subatomic Proof System for Decision Trees (Q5056373) (← links)
• An Analytic Propositional Proof System on Graphs (Q5060181) (← links)
• Combinatorial flows and their normalisation (Q5111329) (← links)
• The problem of proof identity, and why computer scientists should care about Hilbert's 24th problem (Q5204803) (← links)
• Deep inference and expansion trees for second-order multiplicative linear logic (Q5236548) (← links)
• Constructing weak simulations from linear implications for processes with private names (Q5236556) (← links)
• Enumerating Independent Linear Inferences (Q6135760) (← links)
• A System of Interaction and Structure III: The Complexity of BV and Pomset Logic (Q6137849) (← links)
• Exponentially handsome proof nets and their normalization (Q6657781) (← links)
• A deep inference system for differential linear logic (Q6657782) (← links)
• A propositional cirquent calculus for computability logic. (Q6661240) (← links)