The following pages link to Equational propositional logic (Q674268):
Displayed 7 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)
- Non-commutative first-order EQ-logics (Q1697347) (← 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)
- On calculational proofs (Q5957914) (← links)