Pages that link to "Item:Q3656767"
From MaRDI portal
The following pages link to On the Density of Truth of Locally Finite Logics (Q3656767):
Displaying 7 items.
- The density of truth in monadic fragments of some intermediate logics (Q1006461) (← links)
- Locally tabular \(\neq \) locally finite (Q1682298) (← links)
- Enumerating lambda terms by weighted length of their de Bruijn representation (Q1706116) (← links)
- Local collection and end-extensions of models of compositional truth (Q2662691) (← links)
- On the density of truth of implicational parts of intuitionistic and classical logics (Q3643262) (← links)
- (Q4438099) (← links)
- Notions of locality and their logical characterizations over finite models (Q4948541) (← links)