Pages that link to "Item:Q702096"
From MaRDI portal
The following pages link to A new algebraic tool for automatic theorem provers. Multisemilattice: A structure to improve the efficiency of provers in temporal logics (Q702096):
Displaying 6 items.
- Multi-adjoint relation equations: definition, properties and solutions using concept lattices (Q497930) (← links)
- Generalizations of lattices via non-deterministic operators (Q556843) (← links)
- A coalgebraic approach to non-determinism: applications to multilattices (Q621576) (← links)
- On the Dedekind-MacNeille completion and formal concept analysis based on multilattices (Q679831) (← links)
- Fuzzy logic programming via multilattices (Q876496) (← links)
- Multi-adjoint algebras versus non-commutative residuated structures (Q900276) (← links)
