×
Harland, James; Pym, David

Resource-distribution via Boolean constraints. (English) Zbl 1407.03078

ACM Trans. Comput. Log. 4, No. 1, 56-90 (2003).

Cited in 7 Documents

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)

Keywords:

algebras; Boolean constraints; proof-search; relevant logics; sequent calculus; substructural logics
Cite Review PDF
Full Text: DOI arXiv