Resource-distribution via Boolean constraints. (English) Zbl 1407.03078
MSC:
03F52 | Proof-theoretic aspects of linear logic and other substructural logics |
03B35 | Mechanization of proofs and logical operations |
03B70 | Logic in computer science |
03F03 | Proof theory in general (including proof-theoretic semantics) |