Pages that link to "Item:Q2104539"

The following pages link to Cyclic proofs, hypersequents, and transitive closure logic (Q2104539):

Displaying 2 items.

• Cyclic hypersequent system for transitive closure logic (Q6050767) (← links)
• Abstract cyclic proofs (Q6646012) (← links)