Pages that link to "Item:Q5221863"
From MaRDI portal
The following pages link to Remarks on Barr’s Theorem: Proofs in Geometric Theories (Q5221863):
Displaying 6 items.
- Mathematical logic: proof theory, constructive mathematics. Abstracts from the workshop held November 8--14, 2020 (hybrid meeting) (Q2232317) (← links)
- On Relating Theories: Proof-Theoretical Reduction (Q3305638) (← links)
- Théories géométriques pour l’algèbre des nombres réels (Q4635369) (← links)
- Geometric Rules in Infinitary Logic (Q5020172) (← links)
- Glivenko sequent classes and constructive cut elimination in geometric logics (Q6103506) (← links)
- The Gödel-McKinsey-Tarski embedding for infinitary intuitionistic logic and its extensions (Q6156417) (← links)
