The following pages link to (Q4011724):
Displaying 9 items.
- Reflection in membership equational logic, many-sorted equational logic, Horn logic with equality, and rewriting logic (Q875516) (← links)
- First order logic without equality on relativized semantics (Q1791054) (← links)
- EQ-logics with delta connective (Q2805866) (← links)
- Analytic Equational Proof Systems for Combinatory Logic and λ-Calculus:A Survey (Q3305634) (← links)
- (Q3728962) (← links)
- (Q4345010) (← links)
- (Q4820591) (← links)
- (Q5074667) (← links)
- Computing knowledge in equational extensions of subterm convergent theories (Q5139279) (← links)