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

DOI10.1007/11814771_22MaRDI QIDQ3613413zbMATH OpenOpenAlexFDO

Authors Anna Zamansky, Arnon Avron

Publication date 12 March 2009

Published in Lua error in package.lua at line 80: module 'SPARQL' not found. (Search for Journal in Brave)

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

Mathematics Subject Classification ID

Lua error in package.lua at line 80: module 'SPARQL' not found.

Recommendations

Lua error in package.lua at line 80: module 'SPARQL' not found.

Cited in

Lua error in package.lua at line 80: module 'SPARQL' not found.

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)

<div class="DeepChat" data-config='{

   "history": [
       {"text": "Hi there. I am the MaRDI chat bot.", "role": "ai"},
       {"text": "You can ask me questions about this  or click on an example.", "role": "ai"}
   ],
   "pagename": "Canonical Gentzen-Type Calculi with (n,k)-ary Quantifiers",
   "namespace": "",
   "pagetitle": Lua error in package.lua at line 80: module 'SPARQL' not found.,
   "stream": false,
   "demo": false

}'>