2 search results - page 1 / 1 » Canonical Signed Calculi, Non-deterministic Matrices and Cut... |
LFCS
2009
Springer
13 years 11 months ago
2009
Springer
Canonical propositional Gentzen-type calculi are a natural class of systems which in addition to the standard axioms and structural rules have only logical rules where exactly one ...
CSR
2008
Springer
13 years 4 months ago
2008
Springer
An (n, k)-ary quantifier is a generalized logical connective, binding k variables and connecting n formulas. Canonical systems with (n, k)-ary quantifiers form a natural class of G...