58 citations · 597 across the 38 of their papers we have counts for
Showing 2024Show all
2 papers · 1 filter
cs.LO2024
Thoughts on sub-Turing interactive computability
Giorgi Japaridze
The article contains an outline of a possible new direction for Computability Logic (see www.csc.villanova.edu/~japaridz/CL/ ), focused on computability without infinite memory or…
cs.LO2024
A propositional cirquent calculus for computability logic
Giorgi Japaridze
Cirquent calculus is a proof system with inherent ability to account for sharing subcomponents in logical expressions. Within its framework, this article constructs an axiomatizati…