
Cirquent calculus in a nutshell
This paper is a brief and informal presentation of cirquent calculus, a ...
read it

Fundamentals of computability logic
This article is a semitutorialstyle survey of computability logic. An e...
read it

Elementarybase cirquent calculus II: Choice quantifiers
Cirquent calculus is a novel proof theory permitting componentsharing b...
read it

Computability logic: Giving Caesar what belongs to Caesar
The present article is a brief informal survey of computability logic ...
read it

From formulas to cirquents in computability logic
Computability logic (CoL) (see http://www.cis.upenn.edu/ giorgi/cl.html)...
read it

Toggling operators in computability logic
Computability logic (CL) (see http://www.cis.upenn.edu/ giorgi/cl.html )...
read it
Giorgi Japaridze
is this you? claim profile