Pages that link to "Item:Q5739973"
From MaRDI portal
The following pages link to Proof analysis beyond geometric theories: from rule systems to systems of rules (Q5739973):
Displaying 16 items.
- Glivenko sequent classes in the light of structural proof theory (Q283115) (← links)
- Analytic rules for mereology (Q300557) (← links)
- Syntactic forcing models for coherent logic (Q1788327) (← links)
- On the concurrent computational content of intermediate logics (Q1989344) (← links)
- Towards formal Baer criteria (Q2099403) (← links)
- From axioms to synthetic inference rules via focusing (Q2120974) (← links)
- Proofs and countermodels in non-classical logics (Q2254557) (← links)
- Modular sequent calculi for classical modal logics (Q2350219) (← links)
- A universal algorithm for Krull's theorem (Q2672666) (← links)
- The intensional side of algebraic-topological representation theorems (Q2695032) (← links)
- Invited Talk: Coherentisation of First-Order Logic (Q3455757) (← links)
- (Q4012139) (← links)
- Syntax for Semantics: Krull’s Maximal Ideal Theorem (Q5024726) (← links)
- THE JACOBSON RADICAL OF A PROPOSITIONAL THEORY (Q5085858) (← links)
- From mathematical axioms to mathematical rules of proof: recent developments in proof analysis (Q5204802) (← links)
- Some analytic systems of rules (Q6541146) (← links)
