Pages that link to "Item:Q2367410"
From MaRDI portal
The following pages link to Cut elimination for the unified logic (Q2367410):
Displaying 6 items.
- Cut-elimination for a logic with definitions and induction (Q1575931) (← links)
- Is cut-free logic fit for unrestricted abstraction? (Q2131274) (← links)
- A unifying principle for clause elimination in first-order logic (Q2405255) (← links)
- Cut for core logic (Q2919946) (← links)
- CUT ELIMINATION FOR PROPOSITIONAL DYNAMIC LOGIC WITHOUT (Q4295221) (← links)
- A new deconstructive logic: linear logic (Q4372906) (← links)
