Elementary-base cirquent calculus II: Choice quantifiers

DOI10.1093/jigpal/jzaa022zbMath1494.03075arXiv1902.07123OpenAlexW3042560526MaRDI QIDQ5014061

Giorgi Japaridze

Publication date: 3 December 2021

Published in: Logic Journal of the IGPL (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1902.07123

zbMATH Keywords

proof theorycomputability logicresource semanticscirquent calculusdeep inference

Mathematics Subject Classification ID

Logic in computer science (03B70) Decidability of theories and sets of sentences (03B25) Logic with extra quantifiers and operators (03C80) Proof theory in general (including proof-theoretic semantics) (03F03)

Related Items (1)

Cirquent Calculus in a Nutshell

This page was built for publication: Elementary-base cirquent calculus II: Choice quantifiers