2 search results - page 1 / 1 » Canonical Signed Calculi, Non-deterministic Matrices and Cut... |
LFCS
2009
Springer
14 years 5 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 11 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...