The following pages link to Ordering protoalgebraic logics (Q2957951):
Displaying 16 items.
- Stationary logic of ordinals (Q1062974) (← links)
- Order algebraizable logics (Q1935866) (← links)
- Logic of convex order (Q2062214) (← links)
- Free ordered algebraic structures towards proof theory (Q2747705) (← links)
- A Fixpoint Semantics for Ordered Logic (Q3210906) (← links)
- (Q3219800) (← links)
- (Q3584003) (← links)
- (Q4013970) (← links)
- (Q4013974) (← links)
- (Q4551034) (← links)
- Order-dual relational semantics for non-distributive propositional logics (Q4644475) (← links)
- ON EQUATIONAL COMPLETENESS THEOREMS (Q5052010) (← links)
- A Relatively Complete Generic Hoare Logic for Order-Enriched Effects (Q5271064) (← links)
- The simplest protoalgebraic logic (Q5396225) (← links)
- THE POSET OF ALL LOGICS II: LEIBNIZ CLASSES AND HIERARCHY (Q5879187) (← links)
- Protoalgebraic logics (Q5932852) (← links)