Pages that link to "Item:Q1685571"
From MaRDI portal
The following pages link to Cut elimination, identity elimination, and interpolation in super-Belnap logics (Q1685571):
Displaying 9 items.
- Inferences and metainferences in \(\mathsf{ST}\) (Q830390) (← links)
- Cut-elimination and interpolation for \(\Omega\)-logic (Q1114684) (← links)
- An algebraic view of super-Belnap logics (Q1685564) (← links)
- Sequent-calculi for metainferential logics (Q2118968) (← links)
- K3, Ł3, LP, RM3, A3, FDE, M: How to Make Many-Valued Logics Work for You (Q3305614) (← links)
- The value of the one value: \textit{exactly true logic} revisited (Q6054063) (← links)
- Sequent calculi for first-order ST (Q6623815) (← links)
- Editorial introduction (Q6642818) (← links)
- \(\mathsf{ST}\) and \(\mathsf{TS}\) as product and sum (Q6655118) (← links)
