The following pages link to Computer Science Logic (Q5311280):
Displaying 8 items.
- Towards a semantic characterization of cut-elimination (Q817704) (← links)
- Density elimination (Q944384) (← links)
- Leśniewski's ontology -- proof-theoretic characterization (Q2104542) (← links)
- Hypersequent and display calculi -- a unified perspective (Q2259013) (← links)
- Triangular norm based predicate fuzzy logics (Q2270233) (← links)
- Free Definite Description Theory – Sequent Calculi and Cut Elimination (Q5006839) (← links)
- (Q5094116) (← links)
- RUSSELLIAN DEFINITE DESCRIPTION THEORY—A PROOF THEORETIC APPROACH (Q6041350) (← links)
