Pages that link to "Item:Q3424133"
From MaRDI portal
The following pages link to Algebraization of Non-structural Logics (Q3424133):
Displaying 16 items.
- On the algebraizability of annotated logics (Q1378429) (← links)
- Algebras and matrices for annotated logics (Q1576384) (← links)
- Combining algebraizable logics (Q1815433) (← links)
- Algorithmic correspondence and canonicity for non-distributive logics (Q2273010) (← links)
- Algebraic semantics for quasi-Nelson logic (Q2303609) (← links)
- Beyond Rasiowa's algebraic approach to non-classical logics (Q2498364) (← links)
- An algebra and a logic for \(NC^ 1\) (Q2638772) (← links)
- (Q3268316) (← links)
- Non-deterministic algebraization of logics by swap structures1 (Q3386911) (← links)
- Algebraizable logics (Q3815297) (← links)
- (Q4026931) (← links)
- Non-associative Kleene Algebra and Temporal Logics (Q5283205) (← links)
- (Q5290994) (← links)
- Algebraization of Hybrid Logic with Binders (Q5459188) (← links)
- A note on closure spaces determined by intersections (Q6154690) (← links)
- (Q6167899) (← links)