3 search results - page 1 / 1 » Canonical calculi with (n,k)-ary quantifiers |
95
Voted
CORR
2008
Springer
15 years 26 days ago
2008
Springer
Propositional canonical Gentzen-type systems, introduced in [2], are systems which in addition to the standard axioms and structural rules have only logical rules in which exactly ...
112
Voted
CADE
2006
Springer
16 years 1 months ago
2006
Springer
Propositional canonical Gentzen-type systems, introduced in [1], are systems which in addition to the standard axioms and structural rules have only logical rules in which exactly ...
106
Voted
CSR
2008
Springer
15 years 26 days 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...