The following pages link to (Q3435238):
Displaying 5 items.
- A survey on categories of logics and algebraizable logics (Q498003) (← links)
- Defining behaviorizeable relations to enable inference in semi-automatic program synthesis (Q2239281) (← links)
- Reconciling First-Order Logic to Algebra (Q3305345) (← links)
- AN ABSTRACT ALGEBRAIC LOGIC STUDY OF DA COSTA’S LOGIC AND SOME OF ITS PARACONSISTENT EXTENSIONS (Q5059925) (← links)
- Conservative translations revisited (Q6156208) (← links)