The following pages link to (Q4284237):
Displaying 9 items.
- Local soundness for QBF calculi (Q1656580) (← links)
- Category-based modularisation for equational logic programming (Q1901708) (← links)
- On the soundness and completeness of equational predicate logics (Q2761754) (← links)
- A Local System for Classical Logic (Q2996175) (← links)
- (Q4263004) (← links)
- Local computation in linear logic (Q4304131) (← links)
- (Q4428313) (← links)
- (Q4955327) (← links)
- An introduction to category-based equational logic (Q5096381) (← links)