Pages that link to "Item:Q5899319"
From MaRDI portal
The following pages link to Relational Methods in Computer Science (Q5899319):
Displaying 6 items.
- Representation theorems for some fuzzy logics based on residuated non-distributive lattices (Q835128) (← links)
- Decidability of equational theories for subsignatures of relation algebra (Q1617808) (← links)
- Extension properties and subdirect representation in abstract algebraic logic (Q1756591) (← links)
- An algebraic approach to the disjunction property of substructural logics (Q2425350) (← links)
- Subset Space vs Relational Semantics of Bimodal Logic: Bringing Out the Difference (Q3455847) (← links)
- Duality via truth for some fuzzy modal logic (Q6547667) (← links)