Canonical signed calculi with multi-ary quantifiers
Under an Elsevier user license
open archive
MSC
03F03
03B22
Keywords
Proof theory
Cut-elimination
Signed calculi
Non-deterministic matrices
Generalized quantifiers
Cited by (0)
Copyright © 2011 Elsevier B.V. All rights reserved.