The following pages link to (Q5483303):
Displayed 6 items.
- Representation theorems for some fuzzy logics based on residuated non-distributive lattices (Q835128) (← links)
- Algebras for Galois-style connections and their discrete duality (Q969585) (← links)
- Equivalential structures for binary and ternary syllogistics (Q1711503) (← links)
- Alternative multilattice logics: an approach based on monosequent and indexed monosequent calculi (Q2062192) (← links)
- Lattice logic, bilattice logic and paraconsistent quantum logic: a unified framework based on monosequent systems (Q2236604) (← links)
- Algorithmic correspondence and canonicity for non-distributive logics (Q2273010) (← links)