All Questions
1 question
2
votes
1
answer
171
views
Semiring axioms which almost implement inverse, searching for domains other than lambda calculus
I'm working with an idempotent semiring which contains elements $C_i, \hat{C_i}$ with the following properties:
$$ {C}_i \hat{C_j} = 0 \quad\text{where}\quad i \neq j \quad\quad\quad\quad(\beta_0)$$
$$...
- 225