Fundamentals of computability logic
share
This article is a semitutorial-style survey of computability logic. An extended online version of it is maintained at http://www.csc.villanova.edu/ japaridz/CL/ .
READ FULL TEXT
research
∙
01/03/2018
Coins and Logic
We establish fun parallels between coin-weighing puzzles and knights-and...
research
∙
02/14/2019
Computability logic: Giving Caesar what belongs to Caesar
The present article is a brief informal survey of computability logic --...
research
∙
10/09/2018
Dialectical logic: the Process Calculus
Dialectical logic is the logic of dialectical processes. The goal of dia...
research
∙
01/20/2010
Resolution scalability improvement for JPEG2000 standard color image
Removed by arXiv administration. This article was plagiarised from http:...
research
∙
01/03/2020
Simple explanation of Landauer's bound and its ineffectiveness for multivalued logic
We discuss, using recent results on the Landauer's bound in multivalued ...
research
∙
08/12/2021
How to Make a New Logic
We discuss about how to make a new logic with considering a slogan: take...
research
∙
05/19/2019