Canonical Gentzen-Type Calculi with (n,k)-ary Quantifiers
type: Item
instance of: scholarly article
title: Canonical Gentzen-Type Calculi with (n,k)-ary Quantifiers
zbMATH Open document ID: 1222.03061
DOI: 10.1007/11814771_22
author: Anna Zamansky
author: Arnon Avron
published in: Automated Reasoning
publication date: 2009-03-12T00:00:00Z
Mathematics Subject Classification ID: 03F05
zbMATH DE Number: 5528291
MaRDI profile type: Publication
full work available at URL: 11814771 22
OpenAlex ID: W1543569471
Recommended article: Canonical calculi with (n,k)-ary quantifiers
Recommended article: Gentzen-type calculi for involutive quantales
Recommended article: Canonical signed calculi with multi-ary quantifiers
Recommended article: Canonical extensions and Kripke-Galois semantics for non-distributive logics
Recommended article: Gentzen-style axiomatizations in equational logic
Recommended article: On the quantifier complexity of definable canonical Henselian valuations
Recommended article: Q4539639
Recommended article: Generalized quantifier and a bounded arithmetic theory for LOGCFL
Recommended article: The expressive power of finitely many generalized quantifiers
Recommended article: A Kripke semantics for the logic of Gelfand quantales
description: scientific article