Pages that link to "Item:Q515492"
From MaRDI portal
The following pages link to The tabularity problem over the minimal logic (Q515492):
Displaying 12 items.
- Recognizable and perceptible logics and varieties (Q683376) (← links)
- Constructive classifications of modal logics and extensions of minimal logic (Q784471) (← links)
- Not every ``tabular'' predicate logic is finitely axiomatizable (Q1378430) (← links)
- Locally tabular \(\neq \) locally finite (Q1682298) (← links)
- A second pretabular classical relevance logic (Q1708106) (← links)
- Slices and levels of extensions of the minimal logic (Q1745087) (← links)
- К проблеме характеризации логик васильевского типа: о табличности логик $I_{\langle x,y \rangle}$ ($x,y\in\{0,1,2,\dots\}$ и $x < y$). Часть II (Q4566144) (← links)
- Tabular Logics with no Finite Bases for Inference Rules (Q4659578) (← links)
- Two pretabular linear extensions of relevance logic R (Q5156188) (← links)
- Craig's interpolation property in pretabular logics (Q6203335) (← links)
- Pretabularity and Craig's interpolation property (Q6539754) (← links)
- Pretabularity and Craig's interpolation problem over the minimal logic (Q6587379) (← links)
