APAL

2010

13 years 5 months ago
2010

The theory of Schauder hats is a beautiful and powerful tool for investigating, under several respects, the algebraic semantics of Lukasiewicz infinite-valued logic [CDM99], [MMM07...

APAL

2008

13 years 7 months ago
2008

When G

APAL

2007

13 years 7 months ago
2007

We study OST and some of its most important extensions primarily from a proof-theoretic perspective, determine their consistency strengths by exhibiting equivalent systems in the ...

APAL

2007

13 years 7 months ago
2007

In this paper, we present a categorical model for Multiplicative Additive Polarized Linear Logic MALLP, which is the linear fragment (without structural rules) of Olivier Laurentā...

APAL

2007

13 years 7 months ago
2007

We show that āµ2 ā¤ b < g is consistent. This work is dedicated to James Baumgartner on the occasion of his 60th birthday.

APAL

2007

13 years 7 months ago
2007

We discuss the relationship between various weak distributive laws and games in Boolean algebras. In the ļ¬rst part we give some game characterizations for certain forms of Prikr...

APAL

2007

13 years 7 months ago
2007

We study a reļ¬ned framwork of parameterized complexity theory where the parameter dependendence of ļ¬xed-parameter tractable algorithms is not arbitrary, but restricted by a fu...

APAL

2007

13 years 7 months ago
2007

We study generalizations of shortest programs as they pertain to Schaeferās MINā problem. We identify sets of m-minimal and T-minimal indices and characterize their truth-tabl...

APAL

2007

13 years 7 months ago
2007

We develop duality between nuclei on Heyting algebras and certain binary relations on Heyting spaces. We show that these binary relations are in 1ā1 correspondence with subframe...

APAL

2007

13 years 7 months ago
2007

Based on a result of Nies on deļ¬nability the upper semilattice of computably enumerable degrees (denoted by R), we ļ¬nd that in R ļ¬lters generated by deļ¬nable subsets are al...