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

DOI10.1007/11814771_22zbMATH Open1222.03061OpenAlexW1543569471MaRDI QIDQ3613413FDOQ3613413

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)

Cited In (1)

• Title not available (Why is that?)

Recommendations

• Title not available (Why is that?) 👍 👎
• The expressive power of finitely many generalized quantifiers 👍 👎
• Canonical calculi with (n,k)-ary quantifiers 👍 👎
• Canonical signed calculi with multi-ary quantifiers 👍 👎
• On the quantifier complexity of definable canonical Henselian valuations 👍 👎
• A Kripke semantics for the logic of Gelfand quantales 👍 👎
• Generalized quantifier and a bounded arithmetic theory for LOGCFL 👍 👎
• Gentzen-style axiomatizations in equational logic 👍 👎
• Canonical extensions and Kripke-Galois semantics for non-distributive logics 👍 👎
• Gentzen-type calculi for involutive quantales 👍 👎

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3613413)