research
∙
08/28/2021
Cirquent calculus in a nutshell
This paper is a brief and informal presentation of cirquent calculus, a ...
share
research
∙
04/01/2019
Fundamentals of computability logic
This article is a semitutorial-style survey of computability logic. An e...
research
∙
02/19/2019
Elementary-base cirquent calculus II: Choice quantifiers
Cirquent calculus is a novel proof theory permitting component-sharing b...
research
∙
02/14/2019
Computability logic: Giving Caesar what belongs to Caesar
The present article is a brief informal survey of computability logic --...
research
∙
06/11/2009
From formulas to cirquents in computability logic
Computability logic (CoL) (see http://www.cis.upenn.edu/ giorgi/cl.html)...
research
∙
04/22/2009