Pages that link to "Item:Q3778753"
From MaRDI portal
The following pages link to Decidability of Relation Algebras with Weakened Associativity (Q3778753):
Displaying 8 items.
- A non-axiomatizability result in algebraic logic (Q1180697) (← links)
- The finitely axiomatizable complete theories of non-associative arrow frames (Q1731561) (← links)
- First order logic without equality on relativized semantics (Q1791054) (← links)
- Decidable and undecidable logics with a binary modality (Q1909606) (← links)
- Taming logic (Q1909607) (← links)
- Relation algebras can tile (Q1961863) (← links)
- On the Complexity of the Equational Theory of Residuated Boolean Algebras (Q2820699) (← links)
- Many-dimensional arrow logics (Q3130047) (← links)
