Volume 161, Number 1, October 2009
export record as
dblp key:
export record as
dblp key:
Hans Heymans ,
Isar Stubbe :
On principally generated quantaloid-modules in general, and skew local homeomorphisms in particular.
43-65
export record as
dblp key:
Sean Cox :
Covering theorems for the core model, and an application to stationary set reflection.
66-93
export record as
dblp key:
export record as
dblp key:
Volume 161, Number 2, November 2009
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
journals/apal/BilkovaJJ09 export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Petr Hájek :
Arithmetical complexity of fuzzy predicate logics - A survey II.
212-219
export record as
dblp key:
Sándor Jenei :
On the reflection invariance of residuated chains.
220-227
export record as
dblp key:
Peter Jipsen :
Generalizations of Boolean products for lattice-ordered algebras.
228-234
export record as
dblp key:
Daniele Mundici :
Interpretation of De Finetti coherence criterion in Lukasiewicz Logic.
235-245
export record as
dblp key:
Volume 161, Number 3, December 2009
export record as
dblp key:
export record as
dblp key:
journals/apal/Bezhanishvili09 Guram Bezhanishvili :
The universal modality, the center of a Heyting algebra, and the Blok-Esakia theorem.
253-267
export record as
dblp key:
export record as
dblp key:
journals/apal/BresolinGMS09 export record as
dblp key:
journals/apal/BrocheninDL09 export record as
dblp key:
journals/apal/ChevalierDMP09 export record as
dblp key:
journals/apal/ConstableM09 export record as
dblp key:
Jennifer M. Davoren :
On intuitionistic modal and tense logics and their classical companion logics: Topological semantics and bisimulations.
349-367
export record as
dblp key:
export record as
dblp key:
Evan Goris :
A modal provability logic of explicit and implicit proofs.
388-403
export record as
dblp key:
journals/apal/KhoussainovL09 export record as
dblp key:
journals/apal/KhoussainovM09 export record as
dblp key:
Hidenori Kurokawa :
Hypersequent calculi for intuitionistic logic with classical atoms.
427-446
export record as
dblp key:
export record as
dblp key:
Volume 161, Number 4, January 2010
export record as
dblp key:
Teruyuki Yorioka :
A non-implication between fragments of Martin's Axiom related to a property which comes from Aronszajn trees.
469-487
export record as
dblp key:
export record as
dblp key:
journals/apal/BoughattasK10 export record as
dblp key:
journals/apal/BoughattasR10 export record as
dblp key:
journals/apal/SheremetWZ10 export record as
dblp key:
Peter Aczel ,
Giovanni Curi :
On the T1 axiom and other separation properties in constructive point-free and point-set topology.
560-569
export record as
dblp key:
export record as
dblp key:
Y. Firat Çelikler :
On some definable sets over fields with analytic structure.
599-616
Volume 161, Number 5, February 2010
export record as
dblp key:
export record as
dblp key:
journals/apal/SevensterS10 export record as
dblp key:
export record as
dblp key:
journals/apal/DelandeMS10 export record as
dblp key:
journals/apal/ClairambaultH10 export record as
dblp key:
Volume 161, Number 6, March 2010
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
journals/apal/ArdeshirR10 export record as
dblp key:
journals/apal/BagheriPP10 export record as
dblp key:
journals/apal/Beklemishev10 export record as
dblp key:
export record as
dblp key:
journals/apal/DidehvarGP10 export record as
dblp key:
export record as
dblp key:
Bruno Poizat :
Quelques effets pervers de la positivité.
812-816
export record as
dblp key:
journals/apal/VaananenH10
Volume 161, Number 7, April 2010
export record as
dblp key:
L. Motto Ros :
Beyond Borel-amenability: Scales and superamenable reducibilities.
829-836
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
journals/apal/BerensteinV10 export record as
dblp key:
export record as
dblp key:
Radek Honzik :
Global singularization and the failure of SCH.
895-915
export record as
dblp key:
export record as
dblp key:
journals/apal/Barmpalias10 George Barmpalias :
Elementary differences between the degrees of unsolvability and degrees of compressibility.
923-934
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Martin Zeman :
Global square sequences in extender models.
956-985
Volume 161, Number 8, May 2010
export record as
dblp key:
export record as
dblp key:
journals/apal/RabinovichS10 export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
M. Reynolds :
The complexity of temporal logic over the reals.
1063-1096
Volume 161, Number 9, June 2010
export record as
dblp key:
export record as
dblp key:
journals/apal/DabkowskaDHT10 export record as
dblp key:
journals/apal/AguzzoliB10 export record as
dblp key:
export record as
dblp key:
journals/apal/MartinezS10
Volume 161, Number 10, July 2010
export record as
dblp key:
journals/apal/Schipperus10 export record as
dblp key:
Todd Eisworth :
Club-guessing, stationary reflection, and coloring theorems.
1216-1243
export record as
dblp key:
Dominic Hughes :
A minimal classical sequent calculus free of structural rules.
1244-1253
export record as
dblp key:
journals/apal/BerardiCH10 export record as
dblp key:
Samuel Coskey :
Borel reductions of profinite actions of SLn (Z).
1270-1279
export record as
dblp key:
journals/apal/Kjos-HanssenNSY10 export record as
dblp key:
Wang Wei :
Martin's Axiom and embeddings of upper semi-lattices into the Turing degrees.
1291-1298
export record as
dblp key:
Volume 161, Number 11, August 2010
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
journals/apal/Heijltjes10 export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
journals/apal/TatsutaFHN10 export record as
dblp key:
Steffen van Bakel :
Completeness and partial soundness results for intersection and union typing for lambda_ µµ_ .
1400-1430
Volume 161, Number 12, September 2010
export record as
dblp key:
Joshua Sack :
Logic for update products and steps into the past.
1431-1461
export record as
dblp key:
journals/apal/HeinatschM10 export record as
dblp key:
journals/apal/MitchellMPQ10 export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Andreas Fischer :
Infinitely Peano differentiable functions in polynomially bounded o-minimal structures.
1520-1524
export record as
dblp key:
Sam Sanders :
More infinity for a better finitism.
1525-1540
export record as
dblp key:
Yimu Yin :
Special transformations in algebraically closed valued fields.
1541-1564
export record as
dblp key:
journals/apal/LInnocenteMP10 export record as
dblp key:
journals/apal/FriedmanZ10 export record as
dblp key:
Adam R. Day :
The computable Lipschitz degrees of computably enumerable sets are not dense.
1588-1602
export record as
dblp key:
Sándor Jenei :
Erratum to "On the reflection invariance of residuated chains" [Ann. Pure Appl. Logic 161 (2009) 220-227].
1603-1604
export record as
dblp key:
data released under the ODC-BY 1.0 license
