The following pages link to (Q4329272):
Displaying 10 items.
- E2: A new logic model for MVL relations (Q1431903) (← links)
- On the relationship between fuzzy description logics and many-valued modal logics (Q1726404) (← links)
- Rasiowa-Sikorski deduction systems in computer science applications. (Q1853457) (← links)
- State space analysis of Petri nets with relation-algebraic methods (Q2518607) (← links)
- Generalised modal realisation as a practical and efficient tool for FWL implementation (Q3015116) (← links)
- (Q3509214) (← links)
- A relational formalisation of arbitrary finite valued logics (Q4221773) (← links)
- (Q4542619) (← links)
- Bibliography of Ewa Orłowska (Q6599610) (← links)
- Signed dual tableaux for Kleene answer set programs (Q6599615) (← links)