The following pages link to (Q5688805):
Displaying 9 items.
- A proof system for contact relation algebras (Q1576385) (← links)
- Rasiowa-Sikorski deduction systems in computer science applications. (Q1853457) (← links)
- Complete proof systems for weighted modal logic (Q2253184) (← links)
- A deep inference system for the modal logic S5 (Q2642520) (← links)
- (Q3201035) (← links)
- (Q4500375) (← links)
- LOGICS FOR THE RELATIONAL SYLLOGISTIC (Q5850983) (← links)
- Bibliography of Ewa Orłowska (Q6599610) (← links)
- A reasoning system for satisfiability of diagrammatic specifications (Q6599622) (← links)