Pages that link to "Item:Q5274878"
From MaRDI portal
The following pages link to ANALYTIC CUT AND INTERPOLATION FOR BI-INTUITIONISTIC LOGIC (Q5274878):
Displayed 8 items.
- A more general general proof theory (Q1688710) (← links)
- Reprint of: ``A more general general proof theory'' (Q1693594) (← links)
- Uniform interpolation and coherence (Q1740631) (← links)
- Equality and Apartness in Bi-intuitinistic Logic (Q5059692) (← links)
- BOUNDED-ANALYTIC SEQUENT CALCULI AND EMBEDDINGS FOR HYPERSEQUENT LOGICS (Q5159492) (← links)
- Bi-intuitionistic implication structures (Q5375872) (← links)
- Focus-style proofs for the two-way alternation-free \(\mu \)-calculus (Q6118696) (← links)
- On Synonymy in Proof-Theoretic Semantics: The Case of \(\mathtt{2Int}\) (Q6200464) (← links)