APAL
2008
13 years 11 months ago
2008
System BV is an extension of multiplicative linear logic (MLL) with the rules mix, nullary mix, and a self-dual, non-commutative logical operator, called seq. While the rules mix ...
APAL
2008
13 years 11 months ago
2008
We show that for random bit strings, Up(n), with probability, p = 1 2 , the firstorder quantifier depth D(Up(n)) needed to distinguish non-isomorphic structures is (lg lg n), with...
APAL
2008
13 years 11 months ago
2008
We extend the earlier results on the equivalence between the Boolean and the multivalued dependencies in relational databases and fragments of the Boolean propositional logic. It ...
APAL
2008
13 years 11 months ago
2008
We study and compare two combinatorial lowness notions: strong jump-traceability and well-approximability of the jump, by strengthening the notion of jump-traceability and super-l...
APAL
2008
13 years 11 months ago
2008
A propositional logic of explicit proofs, LP, was introduced in [2], completing a project begun long ago by G
APAL
2008
13 years 11 months ago
2008
A simple cut elimination proof for arithmetic with epsilon symbol is used to establish termination of a modified epsilon substitution process. This opens a possibility of extensio...
APAL
2008
13 years 11 months ago
2008
We solve a longstanding problem by providing a denotational model for nondeterministic programs that identifies two programs iff they have the same range of possible behaviours. W...
APAL
2008
13 years 11 months ago
2008
We develop a basic theory of rosy groups and we study groups of small U
APAL
2008
13 years 11 months ago
2008
The characterization of second-order type isomorphisms is a purely syntactical problem that we propose to study under the enlightenment of game semantics. We study this question i...
APAL
2008
13 years 11 months ago
2008
An oversight in Guaspari and Solovay's "Rosser sentences" (1979, Ann. Math. Log., 16, 81) is pointed out and emended. It concerns the premisses of their proof that ...