Pages that link to "Item:Q2273010"
From MaRDI portal
The following pages link to Algorithmic correspondence and canonicity for non-distributive logics (Q2273010):
Displayed 10 items.
- Semi De Morgan logic properly displayed (Q2021557) (← links)
- Definable operators on stable set lattices (Q2027212) (← links)
- Modelling socio-political competition (Q2035344) (← links)
- Residuation algebras with functional duals (Q2325603) (← links)
- Non-normal modal logics and conditional logics: semantic analysis and proof theory (Q2672662) (← links)
- Reasoning with Incomplete Information in Generalized Galois Logics Without Distribution: The Case of Negation and Modal Operators (Q3305430) (← links)
- (Q3384065) (← links)
- Algorithmic Correspondence for Relevance Logics I. The Algorithm $$\mathsf {PEARL}$$ (Q5027233) (← links)
- (Q5119388) (← links)
- Modal translation of substructural logics (Q5217248) (← links)