scientific article; zbMATH DE number 7594103

MaRDI QIDQ5869526

Giorgi Japaridze

Publication date: 28 September 2022

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

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

proof theorycomputability logicresource semanticscirquent calculuseeep inference

Mathematics Subject Classification ID

Logic in computer science (03B70) Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47) Proof theory in general (including proof-theoretic semantics) (03F03) Complexity of proofs (03F20)

Related Items (2)

Cirquent Calculus in a Nutshell ⋮ Enumerating Independent Linear Inferences

This page was built for publication: