Pages that link to "Item:Q431717"
From MaRDI portal
The following pages link to Decidability of the interpolation problem and of related properties in tabular logics (Q431717):
Displaying 10 items.
- Unification and admissible rules for paraconsistent minimal Johanssons' logic J and positive intuitionistic logic \(\mathbf{IPC}^+\) (Q385070) (← links)
- The tabularity problem over the minimal logic (Q515492) (← links)
- Interpolation properties in the extensions of the logic of inequality (Q606045) (← links)
- Interpolation in weakly transitive modal logics (Q694243) (← links)
- Decidability of the weak interpolation property over the minimal logic (Q695764) (← links)
- Modal tableau calculi and interpolation (Q798647) (← links)
- Complexity of some problems in positive and related calculi (Q1401362) (← links)
- Definability and interpolation in non-classical logics (Q2498367) (← links)
- Analytic tableaux and interpolation (Q3510444) (← links)
- К проблеме характеризации логик васильевского типа: о табличности логик $I_{\langle x,y \rangle}$ ($x,y\in\{0,1,2,\dots\}$ и $x < y$). Часть II (Q4566144) (← links)
