The following pages link to Equational propositional logic (Q674268):
Displaying 13 items.
- Formal justification of underspecification for S5 (Q287254) (← links)
- EQ-logics: non-commutative fuzzy logics based on fuzzy equality (Q549345) (← links)
- Equational propositional logic (Q674268) (← links)
- Logical equations in monadic logic (Q843613) (← links)
- Propositional lax logic (Q1368378) (← links)
- Non-commutative first-order EQ-logics (Q1697347) (← links)
- Nominal equational logic (Q2864152) (← links)
- The Formal System of Dijkstra and Scholten (Q2945729) (← links)
- POLYNOMIAL RING CALCULUS FOR MODAL LOGICS: A NEW SEMANTICS AND PROOF METHOD FOR MODALITIES (Q3006006) (← links)
- (Q4345010) (← links)
- (Q4438110) (← links)
- (Q4494385) (← links)
- On calculational proofs (Q5957914) (← links)