Pages that link to "Item:Q3643171"
From MaRDI portal
The following pages link to An implementation of a dual tableaux system for order-of-magnitude qualitative reasoning (Q3643171):
Displaying 6 items.
- Dual tableau for monoidal triangular norm logic MTL (Q622083) (← links)
- On the existence and unicity of stable models in normal residuated logic programs (Q2887039) (← links)
- Implementing a relational theorem prover for modal logic (Q3008387) (← links)
- (Q4448684) (← links)
- Everything is a relation: a preview (Q6599607) (← links)
- Reasoning on relations, modalities, and sets (Q6599612) (← links)