The following pages link to (Q2767058):
Displaying 5 items.
- Focused proof-search in the logic of bunched implications (Q2233409) (← links)
- Theorem proving for conditional logics: CondLean and GOALD<i>U</i>CK (Q3643366) (← links)
- On goal-directed provability in classical logic (Q4395687) (← links)
- An Interactive Driver for Goal-directed Proof Strategies (Q5166499) (← links)
- Computer Science Logic (Q5292654) (← links)