319 research outputs found
A new face of the branching recurrence of computability logic
This letter introduces a new, substantially simplified version of the
branching recurrence operation of computability logic (see
http://www.cis.upenn.edu/~giorgi/cl.html), and proves its equivalence to the
old, "canonical" version
The taming of recurrences in computability logic through cirquent calculus, Part I
This paper constructs a cirquent calculus system and proves its soundness and
completeness with respect to the semantics of computability logic (see
http://www.cis.upenn.edu/~giorgi/cl.html). The logical vocabulary of the system
consists of negation, parallel conjunction, parallel disjunction, branching
recurrence, and branching corecurrence. The article is published in two parts,
with (the present) Part I containing preliminaries and a soundness proof, and
(the forthcoming) Part II containing a completeness proof
From truth to computability I
The recently initiated approach called computability logic is a formal theory
of interactive computation. See a comprehensive online source on the subject at
http://www.cis.upenn.edu/~giorgi/cl.html . The present paper contains a
soundness and completeness proof for the deductive system CL3 which axiomatizes
the most basic first-order fragment of computability logic called the
finite-depth, elementary-base fragment. Among the potential application areas
for this result are the theory of interactive computation, constructive applied
theories, knowledgebase systems, systems for resource-bound planning and
action. This paper is self-contained as it reintroduces all relevant
definitions as well as main motivations.Comment: To appear in Theoretical Computer Scienc
On the enumeration of closures and environments with an application to random generation
Environments and closures are two of the main ingredients of evaluation in
lambda-calculus. A closure is a pair consisting of a lambda-term and an
environment, whereas an environment is a list of lambda-terms assigned to free
variables. In this paper we investigate some dynamic aspects of evaluation in
lambda-calculus considering the quantitative, combinatorial properties of
environments and closures. Focusing on two classes of environments and
closures, namely the so-called plain and closed ones, we consider the problem
of their asymptotic counting and effective random generation. We provide an
asymptotic approximation of the number of both plain environments and closures
of size . Using the associated generating functions, we construct effective
samplers for both classes of combinatorial structures. Finally, we discuss the
related problem of asymptotic counting and random generation of closed
environemnts and closures
Computability and Tiling Problems
In this thesis we will present and discuss various results pertaining to
tiling problems and mathematical logic, specifically computability theory. We
focus on Wang prototiles, as defined in [32]. We begin by studying Domino
Problems, and do not restrict ourselves to the usual problems concerning finite
sets of prototiles. We first consider two domino problems: whether a given set
of prototiles has total planar tilings, which we denote , or whether
it has infinite connected but not necessarily total tilings, (short for
`weakly tile'). We show that both , and
thereby both and are -complete. We also show that
the opposite problems, and (short for `Strongly Not Tile')
are such that and so both
and are both -complete. Next we give some consideration to the
problem of whether a given (infinite) set of prototiles is periodic or
aperiodic. We study the sets of periodic tilings, and of
aperiodic tilings. We then show that both of these sets are complete for the
class of problems of the form . We also present
results for finite versions of these tiling problems. We then move on to
consider the Weihrauch reducibility for a general total tiling principle
as well as weaker principles of tiling, and show that there exist Weihrauch
equivalences to closed choice on Baire space, . We also show
that all Domino Problems that tile some infinite connected region are Weihrauch
reducible to . Finally, we give a prototile set of 15
prototiles that can encode any Elementary Cellular Automaton (ECA). We make use
of an unusual tile set, based on hexagons and lozenges that we have not see in
the literature before, in order to achieve this.Comment: PhD thesis. 179 pages, 13 figure
- …