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):
Displayed 4 items.
- Inferences and metainferences in \(\mathsf{ST}\) (Q830390) (← 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)