Towards applied theories based on computability logic (Q3570163): Difference between revisions

@@ Property / cites work @@
+Introduction to Cirquent Calculus and Abstract Resource Semantics
+Normal rank
@@ Property / cites work @@
+Propositional computability logic I
@@ Property / cites work: Propositional computability logic I / rank @@
+Normal rank
@@ Property / cites work @@
+Computability Logic: A Formal Theory of Interaction
+Normal rank
@@ Property / cites work @@
+Introduction to computability logic
@@ Property / cites work: Introduction to computability logic / rank @@
+Normal rank
@@ Property / cites work @@
+Many concepts and two logics of algorithmic reduction
+Normal rank
@@ Property / cites work @@
+Sequential operators in computability logic
@@ Property / cites work: Sequential operators in computability logic / rank @@
+Normal rank
@@ Property / cites work @@
+Cirquent Calculus Deepened
@@ Property / cites work: Cirquent Calculus Deepened / rank @@
+Normal rank
@@ Property / cites work @@
+The intuitionistic fragment of computability logic at the propositional level
+Normal rank
@@ Property / cites work @@
+The logic of interactive turing reduction
@@ Property / cites work: The logic of interactive turing reduction / rank @@
+Normal rank
@@ Property / cites work @@
+From truth to computability. II.
@@ Property / cites work: From truth to computability. II. / rank @@
+Normal rank
@@ Property / cites work @@
+Propositional computability logic II
@@ Property / cites work: Propositional computability logic II / rank @@
+Normal rank
@@ Property / cites work @@
+From truth to computability. I.
@@ Property / cites work: From truth to computability. I. / rank @@
+Normal rank