APAL
2010
13 years 10 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 11 months ago
2008
When G
APAL
2007
13 years 11 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 11 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 11 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 11 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 11 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 11 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 11 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 11 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...