Canonical Gentzen-Type Calculi with (n,k)-ary Quantifiers

DOI10.1007/11814771_22zbMath1222.03061OpenAlexW1543569471MaRDI QIDQ3613413

Anna Zamansky, Arnon Avron

Publication date: 12 March 2009

Published in: Automated Reasoning (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/11814771_22

Mathematics Subject Classification ID

Cut-elimination and normal-form theorems (03F05)

This page was built for publication: Canonical Gentzen-Type Calculi with (n,k)-ary Quantifiers