Pages that link to "Item:Q5020172"
From MaRDI portal
The following pages link to Geometric Rules in Infinitary Logic (Q5020172):
Displaying 6 items.
- Logical and set calculations in the framework of geometrical informatics paradigm (Q300308) (← links)
- On the proof theory of infinitary modal logic (Q2106873) (← links)
- Mathematical logic: proof theory, constructive mathematics. Abstracts from the workshop held November 8--14, 2020 (hybrid meeting) (Q2232317) (← links)
- (Q4733864) (← 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)