Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "toc:db/journals/apal/apal161.bht:"
download as .bib file
@article{DBLP:journals/apal/Ackerman10,
author = {Nathanael Leedom Ackerman},
title = {Relativized Grothendieck topoi},
journal = {Ann. Pure Appl. Log.},
volume = {161},
number = {10},
pages = {1299--1312},
year = {2010},
url = {https://doi.org/10.1016/j.apal.2010.04.003},
doi = {10.1016/J.APAL.2010.04.003},
timestamp = {Fri, 21 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/apal/Ackerman10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/AczelC10,
author = {Peter Aczel and
Giovanni Curi},
title = {On the T\({}_{\mbox{1}}\) axiom and other separation properties in
constructive point-free and point-set topology},
journal = {Ann. Pure Appl. Log.},
volume = {161},
number = {4},
pages = {560--569},
year = {2010},
url = {https://doi.org/10.1016/j.apal.2009.03.005},
doi = {10.1016/J.APAL.2009.03.005},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/apal/AczelC10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/AdamsL10,
author = {Robin Adams and
Zhaohui Luo},
title = {Classical predicative logic-enriched type theories},
journal = {Ann. Pure Appl. Log.},
volume = {161},
number = {11},
pages = {1315--1345},
year = {2010},
url = {https://doi.org/10.1016/j.apal.2010.04.005},
doi = {10.1016/J.APAL.2010.04.005},
timestamp = {Fri, 21 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/apal/AdamsL10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/AehligB10,
author = {Klaus Aehlig and
Arnold Beckmann},
title = {On the computational complexity of cut-reduction},
journal = {Ann. Pure Appl. Log.},
volume = {161},
number = {6},
pages = {711--736},
year = {2010},
url = {https://doi.org/10.1016/j.apal.2009.06.004},
doi = {10.1016/J.APAL.2009.06.004},
timestamp = {Fri, 21 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/apal/AehligB10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/AguzzoliB10,
author = {Stefano Aguzzoli and
Simone Bova},
title = {The free n-generated BL-algebra},
journal = {Ann. Pure Appl. Log.},
volume = {161},
number = {9},
pages = {1144--1170},
year = {2010},
url = {https://doi.org/10.1016/j.apal.2010.02.001},
doi = {10.1016/J.APAL.2010.02.001},
timestamp = {Fri, 21 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/apal/AguzzoliB10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/ArdeshirR10,
author = {Mohammad Ardeshir and
Rasoul Ramezanian},
title = {The double negation of the intermediate value theorem},
journal = {Ann. Pure Appl. Log.},
volume = {161},
number = {6},
pages = {737--744},
year = {2010},
url = {https://doi.org/10.1016/j.apal.2009.06.005},
doi = {10.1016/J.APAL.2009.06.005},
timestamp = {Fri, 21 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/apal/ArdeshirR10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/BagheriPP10,
author = {Seyed Mohammad Bagheri and
Bruno Poizat and
Massoud Pourmahdian},
title = {An arithmetical view to first-order logic},
journal = {Ann. Pure Appl. Log.},
volume = {161},
number = {6},
pages = {745--755},
year = {2010},
url = {https://doi.org/10.1016/j.apal.2009.06.006},
doi = {10.1016/J.APAL.2009.06.006},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/apal/BagheriPP10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/Bakel10,
author = {Steffen van Bakel},
title = {Completeness and partial soundness results for intersection and union
typing for lambda\({}^{\mbox{{\_}}}\){\(\mathrm{\mu}\)}{\(\mathrm{\mu}\)}\({}^{\mbox{{\_}}}\)},
journal = {Ann. Pure Appl. Log.},
volume = {161},
number = {11},
pages = {1400--1430},
year = {2010},
url = {https://doi.org/10.1016/j.apal.2010.04.010},
doi = {10.1016/J.APAL.2010.04.010},
timestamp = {Fri, 21 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/apal/Bakel10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/BakelBB10,
author = {Steffen van Bakel and
Stefano Berardi and
Ulrich Berger},
title = {Preface},
journal = {Ann. Pure Appl. Log.},
volume = {161},
number = {11},
pages = {1313--1314},
year = {2010},
url = {https://doi.org/10.1016/j.apal.2010.04.004},
doi = {10.1016/J.APAL.2010.04.004},
timestamp = {Fri, 21 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/apal/BakelBB10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/Barmpalias10,
author = {George Barmpalias},
title = {Elementary differences between the degrees of unsolvability and degrees
of compressibility},
journal = {Ann. Pure Appl. Log.},
volume = {161},
number = {7},
pages = {923--934},
year = {2010},
url = {https://doi.org/10.1016/j.apal.2009.11.004},
doi = {10.1016/J.APAL.2009.11.004},
timestamp = {Fri, 21 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/apal/Barmpalias10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/BaroO10,
author = {El{\'{\i}}as Baro and
Margarita Otero},
title = {Locally definable homotopy},
journal = {Ann. Pure Appl. Log.},
volume = {161},
number = {4},
pages = {488--503},
year = {2010},
url = {https://doi.org/10.1016/j.apal.2009.03.003},
doi = {10.1016/J.APAL.2009.03.003},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/apal/BaroO10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/Beklemishev10,
author = {Lev D. Beklemishev},
title = {Kripke semantics for provability logic {GLP}},
journal = {Ann. Pure Appl. Log.},
volume = {161},
number = {6},
pages = {756--774},
year = {2010},
url = {https://doi.org/10.1016/j.apal.2009.06.011},
doi = {10.1016/J.APAL.2009.06.011},
timestamp = {Fri, 21 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/apal/Beklemishev10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/BelkhirS10,
author = {Walid Belkhir and
Luigi Santocanale},
title = {The variable hierarchy for the games {\(\mathrm{\mu}\)}-calculus},
journal = {Ann. Pure Appl. Log.},
volume = {161},
number = {5},
pages = {690--707},
year = {2010},
url = {https://doi.org/10.1016/j.apal.2009.07.015},
doi = {10.1016/J.APAL.2009.07.015},
timestamp = {Fri, 21 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/apal/BelkhirS10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/BerardiCH10,
author = {Stefano Berardi and
Thierry Coquand and
Susumu Hayashi},
title = {Games with 1-backtracking},
journal = {Ann. Pure Appl. Log.},
volume = {161},
number = {10},
pages = {1254--1269},
year = {2010},
url = {https://doi.org/10.1016/j.apal.2010.03.002},
doi = {10.1016/J.APAL.2010.03.002},
timestamp = {Fri, 21 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/apal/BerardiCH10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/BerensteinV10,
author = {Alexander Berenstein and
Evgueni Vassiliev},
title = {On lovely pairs of geometric structures},
journal = {Ann. Pure Appl. Log.},
volume = {161},
number = {7},
pages = {866--878},
year = {2010},
url = {https://doi.org/10.1016/j.apal.2009.10.004},
doi = {10.1016/J.APAL.2009.10.004},
timestamp = {Fri, 21 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/apal/BerensteinV10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/Berg10,
author = {Imme Pieter van den Berg},
title = {A decomposition theorem for neutrices},
journal = {Ann. Pure Appl. Log.},
volume = {161},
number = {7},
pages = {851--865},
year = {2010},
url = {https://doi.org/10.1016/j.apal.2009.10.003},
doi = {10.1016/J.APAL.2009.10.003},
timestamp = {Fri, 21 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/apal/Berg10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/BoughattasK10,
author = {Sedki Boughattas and
Leszek Aleksander Kolodziejczyk},
title = {The strength of sharply bounded induction requires {MSP}},
journal = {Ann. Pure Appl. Log.},
volume = {161},
number = {4},
pages = {504--510},
year = {2010},
url = {https://doi.org/10.1016/j.apal.2009.03.002},
doi = {10.1016/J.APAL.2009.03.002},
timestamp = {Fri, 21 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/apal/BoughattasK10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/BoughattasR10,
author = {Sedki Boughattas and
Jean{-}Pierre Ressayre},
title = {Bootstrapping, part {I}},
journal = {Ann. Pure Appl. Log.},
volume = {161},
number = {4},
pages = {511--533},
year = {2010},
url = {https://doi.org/10.1016/j.apal.2009.03.004},
doi = {10.1016/J.APAL.2009.03.004},
timestamp = {Fri, 21 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/apal/BoughattasR10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/Celikler10,
author = {Y. Firat {\c{C}}elikler},
title = {On some definable sets over fields with analytic structure},
journal = {Ann. Pure Appl. Log.},
volume = {161},
number = {4},
pages = {599--616},
year = {2010},
url = {https://doi.org/10.1016/j.apal.2009.09.001},
doi = {10.1016/J.APAL.2009.09.001},
timestamp = {Fri, 21 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/apal/Celikler10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/ClairambaultH10,
author = {Pierre Clairambault and
Russ Harmer},
title = {Totality in arena games},
journal = {Ann. Pure Appl. Log.},
volume = {161},
number = {5},
pages = {673--689},
year = {2010},
url = {https://doi.org/10.1016/j.apal.2009.07.016},
doi = {10.1016/J.APAL.2009.07.016},
timestamp = {Fri, 21 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/apal/ClairambaultH10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/Cooper10,
author = {S. Barry Cooper},
title = {Extending and interpreting Post's programme},
journal = {Ann. Pure Appl. Log.},
volume = {161},
number = {6},
pages = {775--788},
year = {2010},
url = {https://doi.org/10.1016/j.apal.2009.06.007},
doi = {10.1016/J.APAL.2009.06.007},
timestamp = {Fri, 21 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/apal/Cooper10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/Coskey10,
author = {Samuel Coskey},
title = {Borel reductions of profinite actions of SL\({}_{\mbox{n}}\)(Z)},
journal = {Ann. Pure Appl. Log.},
volume = {161},
number = {10},
pages = {1270--1279},
year = {2010},
url = {https://doi.org/10.1016/j.apal.2010.03.003},
doi = {10.1016/J.APAL.2010.03.003},
timestamp = {Fri, 21 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/apal/Coskey10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/DabkowskaDHT10,
author = {Malgorzata A. Dabkowska and
Mieczyslaw K. Dabkowski and
Valentina S. Harizanov and
Amir A. Togha},
title = {Spaces of orders and their Turing degree spectra},
journal = {Ann. Pure Appl. Log.},
volume = {161},
number = {9},
pages = {1134--1143},
year = {2010},
url = {https://doi.org/10.1016/j.apal.2010.01.004},
doi = {10.1016/J.APAL.2010.01.004},
timestamp = {Fri, 21 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/apal/DabkowskaDHT10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/DavidN10,
author = {Ren{\'{e}} David and
Karim Nour},
title = {Strong normalization results by translation},
journal = {Ann. Pure Appl. Log.},
volume = {161},
number = {9},
pages = {1171--1179},
year = {2010},
url = {https://doi.org/10.1016/j.apal.2010.02.002},
doi = {10.1016/J.APAL.2010.02.002},
timestamp = {Fri, 21 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/apal/DavidN10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/Day10,
author = {Adam R. Day},
title = {The computable Lipschitz degrees of computably enumerable sets are
not dense},
journal = {Ann. Pure Appl. Log.},
volume = {161},
number = {12},
pages = {1588--1602},
year = {2010},
url = {https://doi.org/10.1016/j.apal.2010.06.008},
doi = {10.1016/J.APAL.2010.06.008},
timestamp = {Fri, 21 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/apal/Day10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/DelandeMS10,
author = {Olivier Delande and
Dale Miller and
Alexis Saurin},
title = {Proof and refutation in {MALL} as a game},
journal = {Ann. Pure Appl. Log.},
volume = {161},
number = {5},
pages = {654--672},
year = {2010},
url = {https://doi.org/10.1016/j.apal.2009.07.017},
doi = {10.1016/J.APAL.2009.07.017},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/apal/DelandeMS10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/DidehvarGP10,
author = {Farzad Didehvar and
Kaveh Ghasemloo and
Massoud Pourmahdian},
title = {Effectiveness in RPL, with applications to continuous logic},
journal = {Ann. Pure Appl. Log.},
volume = {161},
number = {6},
pages = {789--799},
year = {2010},
url = {https://doi.org/10.1016/j.apal.2009.06.008},
doi = {10.1016/J.APAL.2009.06.008},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/apal/DidehvarGP10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/DubucP10,
author = {Eduardo J. Dubuc and
Yuri A. Poveda},
title = {Representation theory of MV-algebras},
journal = {Ann. Pure Appl. Log.},
volume = {161},
number = {8},
pages = {1024--1046},
year = {2010},
url = {https://doi.org/10.1016/j.apal.2009.12.006},
doi = {10.1016/J.APAL.2009.12.006},
timestamp = {Fri, 21 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/apal/DubucP10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/Eisworth10,
author = {Todd Eisworth},
title = {Club-guessing, stationary reflection, and coloring theorems},
journal = {Ann. Pure Appl. Log.},
volume = {161},
number = {10},
pages = {1216--1243},
year = {2010},
url = {https://doi.org/10.1016/j.apal.2010.02.004},
doi = {10.1016/J.APAL.2010.02.004},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/apal/Eisworth10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/EnayatK10,
author = {Ali Enayat and
Iraj Kalantari},
title = {Preface},
journal = {Ann. Pure Appl. Log.},
volume = {161},
number = {6},
pages = {709--710},
year = {2010},
url = {https://doi.org/10.1016/j.apal.2009.06.003},
doi = {10.1016/J.APAL.2009.06.003},
timestamp = {Fri, 21 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/apal/EnayatK10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/Fischer10,
author = {Andreas Fischer},
title = {Infinitely Peano differentiable functions in polynomially bounded
o-minimal structures},
journal = {Ann. Pure Appl. Log.},
volume = {161},
number = {12},
pages = {1520--1524},
year = {2010},
url = {https://doi.org/10.1016/j.apal.2010.06.001},
doi = {10.1016/J.APAL.2010.06.001},
timestamp = {Fri, 21 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/apal/Fischer10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/FischerF10,
author = {Vera Fischer and
Sy{-}David Friedman},
title = {Cardinal characteristics and projective wellorders},
journal = {Ann. Pure Appl. Log.},
volume = {161},
number = {7},
pages = {916--922},
year = {2010},
url = {https://doi.org/10.1016/j.apal.2009.11.003},
doi = {10.1016/J.APAL.2009.11.003},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/apal/FischerF10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/FokinaFT10,
author = {Ekaterina B. Fokina and
Sy{-}David Friedman and
Asger T{\"{o}}rnquist},
title = {The effective theory of Borel equivalence relations},
journal = {Ann. Pure Appl. Log.},
volume = {161},
number = {7},
pages = {837--850},
year = {2010},
url = {https://doi.org/10.1016/j.apal.2009.10.002},
doi = {10.1016/J.APAL.2009.10.002},
timestamp = {Fri, 21 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/apal/FokinaFT10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/FriedmanZ10,
author = {Sy{-}David Friedman and
Lyubomyr Zdomskyy},
title = {Projective mad families},
journal = {Ann. Pure Appl. Log.},
volume = {161},
number = {12},
pages = {1581--1587},
year = {2010},
url = {https://doi.org/10.1016/j.apal.2010.06.007},
doi = {10.1016/J.APAL.2010.06.007},
timestamp = {Fri, 21 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/apal/FriedmanZ10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/GalatosO10,
author = {Nikolaos Galatos and
Hiroakira Ono},
title = {Cut elimination and strong separation for substructural logics: An
algebraic approach},
journal = {Ann. Pure Appl. Log.},
volume = {161},
number = {9},
pages = {1097--1133},
year = {2010},
url = {https://doi.org/10.1016/j.apal.2010.01.003},
doi = {10.1016/J.APAL.2010.01.003},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/apal/GalatosO10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/GehrkeJP10,
author = {Mai Gehrke and
Ramon Jansana and
Alessandra Palmigiano},
title = {Canonical extensions for congruential logics with the deduction theorem},
journal = {Ann. Pure Appl. Log.},
volume = {161},
number = {12},
pages = {1502--1519},
year = {2010},
url = {https://doi.org/10.1016/j.apal.2010.05.003},
doi = {10.1016/J.APAL.2010.05.003},
timestamp = {Mon, 26 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/apal/GehrkeJP10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/GhicaH10,
author = {Dan R. Ghica and
Russ Harmer},
title = {Foreword},
journal = {Ann. Pure Appl. Log.},
volume = {161},
number = {5},
pages = {617},
year = {2010},
url = {https://doi.org/10.1016/j.apal.2009.07.021},
doi = {10.1016/J.APAL.2009.07.021},
timestamp = {Fri, 21 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/apal/GhicaH10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/GuzyP10,
author = {Nicolas Guzy and
Fran{\c{c}}oise Point},
title = {Topological differential fields},
journal = {Ann. Pure Appl. Log.},
volume = {161},
number = {4},
pages = {570--598},
year = {2010},
url = {https://doi.org/10.1016/j.apal.2009.08.001},
doi = {10.1016/J.APAL.2009.08.001},
timestamp = {Fri, 21 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/apal/GuzyP10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/Heijltjes10,
author = {Willem Heijltjes},
title = {Classical proof forestry},
journal = {Ann. Pure Appl. Log.},
volume = {161},
number = {11},
pages = {1346--1366},
year = {2010},
url = {https://doi.org/10.1016/j.apal.2010.04.006},
doi = {10.1016/J.APAL.2010.04.006},
timestamp = {Fri, 21 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/apal/Heijltjes10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/HeinatschM10,
author = {Christoph Heinatsch and
Michael M{\"{o}}llerfeld},
title = {The determinacy strength of Pi\({}^{\mbox{1}}\)\({}_{\mbox{2}}\)-comprehension},
journal = {Ann. Pure Appl. Log.},
volume = {161},
number = {12},
pages = {1462--1470},
year = {2010},
url = {https://doi.org/10.1016/j.apal.2010.04.012},
doi = {10.1016/J.APAL.2010.04.012},
timestamp = {Fri, 21 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/apal/HeinatschM10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/HernestT10,
author = {Mircea{-}Dan Hernest and
Trifon Trifonov},
title = {Light Dialectica revisited},
journal = {Ann. Pure Appl. Log.},
volume = {161},
number = {11},
pages = {1379--1389},
year = {2010},
url = {https://doi.org/10.1016/j.apal.2010.04.008},
doi = {10.1016/J.APAL.2010.04.008},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/apal/HernestT10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/Honzik10,
author = {Radek Honzik},
title = {Global singularization and the failure of {SCH}},
journal = {Ann. Pure Appl. Log.},
volume = {161},
number = {7},
pages = {895--915},
year = {2010},
url = {https://doi.org/10.1016/j.apal.2009.11.002},
doi = {10.1016/J.APAL.2009.11.002},
timestamp = {Fri, 21 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/apal/Honzik10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/Hughes10,
author = {Dominic J. D. Hughes},
title = {A minimal classical sequent calculus free of structural rules},
journal = {Ann. Pure Appl. Log.},
volume = {161},
number = {10},
pages = {1244--1253},
year = {2010},
url = {https://doi.org/10.1016/j.apal.2010.03.001},
doi = {10.1016/J.APAL.2010.03.001},
timestamp = {Fri, 21 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/apal/Hughes10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/Ikegami10,
author = {Daisuke Ikegami},
title = {Forcing absoluteness and regularity properties},
journal = {Ann. Pure Appl. Log.},
volume = {161},
number = {7},
pages = {879--894},
year = {2010},
url = {https://doi.org/10.1016/j.apal.2009.10.005},
doi = {10.1016/J.APAL.2009.10.005},
timestamp = {Fri, 21 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/apal/Ikegami10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/IlikLH10,
author = {Danko Ilik and
Gyesik Lee and
Hugo Herbelin},
title = {Kripke models for classical logic},
journal = {Ann. Pure Appl. Log.},
volume = {161},
number = {11},
pages = {1367--1378},
year = {2010},
url = {https://doi.org/10.1016/j.apal.2010.04.007},
doi = {10.1016/J.APAL.2010.04.007},
timestamp = {Fri, 21 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/apal/IlikLH10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/Jenei10,
author = {S{\'{a}}ndor Jenei},
title = {Erratum to "On the reflection invariance of residuated chains" [Ann.
Pure Appl. Logic 161 {(2009)} 220-227]},
journal = {Ann. Pure Appl. Log.},
volume = {161},
number = {12},
pages = {1603--1604},
year = {2010},
url = {https://doi.org/10.1016/j.apal.2010.06.002},
doi = {10.1016/J.APAL.2010.06.002},
timestamp = {Fri, 21 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/apal/Jenei10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/KayeW10,
author = {Richard Kaye and
Tin Lok Wong},
title = {Truth in generic cuts},
journal = {Ann. Pure Appl. Log.},
volume = {161},
number = {8},
pages = {987--1005},
year = {2010},
url = {https://doi.org/10.1016/j.apal.2009.11.001},
doi = {10.1016/J.APAL.2009.11.001},
timestamp = {Fri, 21 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/apal/KayeW10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/Keisler10,
author = {H. Jerome Keisler},
title = {Nonstandard arithmetic and recursive comprehension},
journal = {Ann. Pure Appl. Log.},
volume = {161},
number = {8},
pages = {1047--1062},
year = {2010},
url = {https://doi.org/10.1016/j.apal.2010.01.001},
doi = {10.1016/J.APAL.2010.01.001},
timestamp = {Fri, 21 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/apal/Keisler10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/Kjos-HanssenNSY10,
author = {Bj{\o}rn Kjos{-}Hanssen and
Andr{\'{e}} Nies and
Frank Stephan and
Liang Yu},
title = {Higher Kurtz randomness},
journal = {Ann. Pure Appl. Log.},
volume = {161},
number = {10},
pages = {1280--1290},
year = {2010},
url = {https://doi.org/10.1016/j.apal.2010.04.001},
doi = {10.1016/J.APAL.2010.04.001},
timestamp = {Fri, 21 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/apal/Kjos-HanssenNSY10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/LInnocenteMP10,
author = {Sonia L'Innocente and
Angus Macintyre and
Fran{\c{c}}oise Point},
title = {Exponentiations over the universal enveloping algebra of sl\({}_{\mbox{2}}\)(C)},
journal = {Ann. Pure Appl. Log.},
volume = {161},
number = {12},
pages = {1565--1580},
year = {2010},
url = {https://doi.org/10.1016/j.apal.2010.06.006},
doi = {10.1016/J.APAL.2010.06.006},
timestamp = {Fri, 21 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/apal/LInnocenteMP10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/LandesPV10,
author = {J{\"{u}}rgen Landes and
Jeff B. Paris and
Alena Vencovsk{\'{a}}},
title = {A characterization of the Language Invariant families satisfying Spectrum
Exchangeability in Polyadic Inductive Logic},
journal = {Ann. Pure Appl. Log.},
volume = {161},
number = {6},
pages = {800--811},
year = {2010},
url = {https://doi.org/10.1016/j.apal.2009.06.010},
doi = {10.1016/J.APAL.2009.06.010},
timestamp = {Fri, 21 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/apal/LandesPV10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/MartinezS10,
author = {Juan Carlos Mart{\'{\i}}nez and
Lajos Soukup},
title = {Cardinal sequences of {LCS} spaces under {GCH}},
journal = {Ann. Pure Appl. Log.},
volume = {161},
number = {9},
pages = {1180--1193},
year = {2010},
url = {https://doi.org/10.1016/j.apal.2010.02.003},
doi = {10.1016/J.APAL.2010.02.003},
timestamp = {Fri, 21 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/apal/MartinezS10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/Maruyama10,
author = {Yoshihiro Maruyama},
title = {Fundamental results for pointfree convex geometry},
journal = {Ann. Pure Appl. Log.},
volume = {161},
number = {12},
pages = {1486--1501},
year = {2010},
url = {https://doi.org/10.1016/j.apal.2010.05.002},
doi = {10.1016/J.APAL.2010.05.002},
timestamp = {Fri, 21 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/apal/Maruyama10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/MelliesT10,
author = {Paul{-}Andr{\'{e}} Melli{\`{e}}s and
Nicolas Tabareau},
title = {Resource modalities in tensor logic},
journal = {Ann. Pure Appl. Log.},
volume = {161},
number = {5},
pages = {632--653},
year = {2010},
url = {https://doi.org/10.1016/j.apal.2009.07.018},
doi = {10.1016/J.APAL.2009.07.018},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/apal/MelliesT10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/MitchellMPQ10,
author = {James D. Mitchell and
Michal Morayne and
Yann H. P{\'{e}}resse and
Martyn Quick},
title = {Generating transformation semigroups using endomorphisms of preorders,
graphs, and tolerances},
journal = {Ann. Pure Appl. Log.},
volume = {161},
number = {12},
pages = {1471--1485},
year = {2010},
url = {https://doi.org/10.1016/j.apal.2010.05.001},
doi = {10.1016/J.APAL.2010.05.001},
timestamp = {Fri, 21 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/apal/MitchellMPQ10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/NolaDL10,
author = {Antonio Di Nola and
Anatolij Dvurecenskij and
Ada Lettieri},
title = {Erratum to "State-morphism MV-algebras" [Ann. Pure Appl. Logic 161
{(2009)} 161-173]},
journal = {Ann. Pure Appl. Log.},
volume = {161},
number = {12},
pages = {1605--1607},
year = {2010},
url = {https://doi.org/10.1016/j.apal.2010.06.004},
doi = {10.1016/J.APAL.2010.06.004},
timestamp = {Fri, 05 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/apal/NolaDL10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/Poizat10,
author = {Bruno Poizat},
title = {Quelques effets pervers de la positivit{\'{e}}},
journal = {Ann. Pure Appl. Log.},
volume = {161},
number = {6},
pages = {812--816},
year = {2010},
url = {https://doi.org/10.1016/j.apal.2009.06.012},
doi = {10.1016/J.APAL.2009.06.012},
timestamp = {Fri, 21 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/apal/Poizat10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/RabinovichS10,
author = {Alexander Rabinovich and
Amit Shomrat},
title = {Selection over classes of ordinals expanded by monadic predicates},
journal = {Ann. Pure Appl. Log.},
volume = {161},
number = {8},
pages = {1006--1023},
year = {2010},
url = {https://doi.org/10.1016/j.apal.2009.12.004},
doi = {10.1016/J.APAL.2009.12.004},
timestamp = {Fri, 21 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/apal/RabinovichS10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/Reynolds10,
author = {Mark Reynolds},
title = {The complexity of temporal logic over the reals},
journal = {Ann. Pure Appl. Log.},
volume = {161},
number = {8},
pages = {1063--1096},
year = {2010},
url = {https://doi.org/10.1016/j.apal.2010.01.002},
doi = {10.1016/J.APAL.2010.01.002},
timestamp = {Fri, 02 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/apal/Reynolds10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/Ros10,
author = {Luca Motto Ros},
title = {Beyond Borel-amenability: Scales and superamenable reducibilities},
journal = {Ann. Pure Appl. Log.},
volume = {161},
number = {7},
pages = {829--836},
year = {2010},
url = {https://doi.org/10.1016/j.apal.2009.10.001},
doi = {10.1016/J.APAL.2009.10.001},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/apal/Ros10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/Sack10,
author = {Joshua Sack},
title = {Logic for update products and steps into the past},
journal = {Ann. Pure Appl. Log.},
volume = {161},
number = {12},
pages = {1431--1461},
year = {2010},
url = {https://doi.org/10.1016/j.apal.2010.04.011},
doi = {10.1016/J.APAL.2010.04.011},
timestamp = {Fri, 21 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/apal/Sack10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/Sanders10,
author = {Sam Sanders},
title = {More infinity for a better finitism},
journal = {Ann. Pure Appl. Log.},
volume = {161},
number = {12},
pages = {1525--1540},
year = {2010},
url = {https://doi.org/10.1016/j.apal.2010.06.003},
doi = {10.1016/J.APAL.2010.06.003},
timestamp = {Fri, 21 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/apal/Sanders10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/Schipperus10,
author = {Rene Schipperus},
title = {Countable partition ordinals},
journal = {Ann. Pure Appl. Log.},
volume = {161},
number = {10},
pages = {1195--1215},
year = {2010},
url = {https://doi.org/10.1016/j.apal.2009.12.007},
doi = {10.1016/J.APAL.2009.12.007},
timestamp = {Fri, 21 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/apal/Schipperus10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/SevensterS10,
author = {Merlijn Sevenster and
Gabriel Sandu},
title = {Equilibrium semantics of languages of imperfect information},
journal = {Ann. Pure Appl. Log.},
volume = {161},
number = {5},
pages = {618--631},
year = {2010},
url = {https://doi.org/10.1016/j.apal.2009.07.019},
doi = {10.1016/J.APAL.2009.07.019},
timestamp = {Fri, 21 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/apal/SevensterS10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/ShelahS10,
author = {Saharon Shelah and
Lutz Str{\"{u}}ngmann},
title = {Filtration-equivalent aleph\({}_{\mbox{1}}\)-separable abelian groups
of cardinality aleph\({}_{\mbox{1}}\)},
journal = {Ann. Pure Appl. Log.},
volume = {161},
number = {7},
pages = {935--943},
year = {2010},
url = {https://doi.org/10.1016/j.apal.2009.12.001},
doi = {10.1016/J.APAL.2009.12.001},
timestamp = {Sat, 05 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/apal/ShelahS10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/SheremetWZ10,
author = {Mikhail Sheremet and
Frank Wolter and
Michael Zakharyaschev},
title = {A modal logic framework for reasoning about comparative distances
and topology},
journal = {Ann. Pure Appl. Log.},
volume = {161},
number = {4},
pages = {534--559},
year = {2010},
url = {https://doi.org/10.1016/j.apal.2009.04.001},
doi = {10.1016/J.APAL.2009.04.001},
timestamp = {Sun, 17 Dec 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/apal/SheremetWZ10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/Tanovic10,
author = {Predrag Tanovic},
title = {Types directed by constants},
journal = {Ann. Pure Appl. Log.},
volume = {161},
number = {7},
pages = {944--955},
year = {2010},
url = {https://doi.org/10.1016/j.apal.2009.12.002},
doi = {10.1016/J.APAL.2009.12.002},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/apal/Tanovic10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/TatsutaFHN10,
author = {Makoto Tatsuta and
Ken{-}etsu Fujita and
Ryu Hasegawa and
Hiroshi Nakano},
title = {Inhabitation of polymorphic and existential types},
journal = {Ann. Pure Appl. Log.},
volume = {161},
number = {11},
pages = {1390--1399},
year = {2010},
url = {https://doi.org/10.1016/j.apal.2010.04.009},
doi = {10.1016/J.APAL.2010.04.009},
timestamp = {Fri, 21 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/apal/TatsutaFHN10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/VaananenH10,
author = {Jouko A. V{\"{a}}{\"{a}}n{\"{a}}nen and
Wilfrid Hodges},
title = {Dependence of variables construed as an atomic formula},
journal = {Ann. Pure Appl. Log.},
volume = {161},
number = {6},
pages = {817--828},
year = {2010},
url = {https://doi.org/10.1016/j.apal.2009.06.009},
doi = {10.1016/J.APAL.2009.06.009},
timestamp = {Fri, 21 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/apal/VaananenH10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/Wei10,
author = {Wang Wei},
title = {Martin's Axiom and embeddings of upper semi-lattices into the Turing
degrees},
journal = {Ann. Pure Appl. Log.},
volume = {161},
number = {10},
pages = {1291--1298},
year = {2010},
url = {https://doi.org/10.1016/j.apal.2010.04.002},
doi = {10.1016/J.APAL.2010.04.002},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/apal/Wei10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/Yin10,
author = {Yimu Yin},
title = {Special transformations in algebraically closed valued fields},
journal = {Ann. Pure Appl. Log.},
volume = {161},
number = {12},
pages = {1541--1564},
year = {2010},
url = {https://doi.org/10.1016/j.apal.2010.06.005},
doi = {10.1016/J.APAL.2010.06.005},
timestamp = {Fri, 21 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/apal/Yin10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/Yorioka10,
author = {Teruyuki Yorioka},
title = {A non-implication between fragments of Martin's Axiom related to a
property which comes from Aronszajn trees},
journal = {Ann. Pure Appl. Log.},
volume = {161},
number = {4},
pages = {469--487},
year = {2010},
url = {https://doi.org/10.1016/j.apal.2009.02.006},
doi = {10.1016/J.APAL.2009.02.006},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/apal/Yorioka10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/Zeman10,
author = {Martin Zeman},
title = {Global square sequences in extender models},
journal = {Ann. Pure Appl. Log.},
volume = {161},
number = {7},
pages = {956--985},
year = {2010},
url = {https://doi.org/10.1016/j.apal.2009.12.003},
doi = {10.1016/J.APAL.2009.12.003},
timestamp = {Fri, 21 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/apal/Zeman10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/Artemov09,
author = {Sergei N. Art{\"{e}}mov},
title = {Preface},
journal = {Ann. Pure Appl. Log.},
volume = {161},
number = {2},
pages = {119--120},
year = {2009},
url = {https://doi.org/10.1016/j.apal.2009.05.002},
doi = {10.1016/J.APAL.2009.05.002},
timestamp = {Fri, 21 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/apal/Artemov09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/Artemov09a,
author = {Sergei N. Art{\"{e}}mov},
title = {Preface},
journal = {Ann. Pure Appl. Log.},
volume = {161},
number = {3},
pages = {251--252},
year = {2009},
url = {https://doi.org/10.1016/j.apal.2009.07.001},
doi = {10.1016/J.APAL.2009.07.001},
timestamp = {Fri, 21 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/apal/Artemov09a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/AsperoKY09,
author = {David Asper{\'{o}} and
John Krueger and
Yasuo Yoshinobu},
title = {Dense non-reflection for stationary collections of countable sets},
journal = {Ann. Pure Appl. Log.},
volume = {161},
number = {1},
pages = {94--108},
year = {2009},
url = {https://doi.org/10.1016/j.apal.2009.06.002},
doi = {10.1016/J.APAL.2009.06.002},
timestamp = {Fri, 21 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/apal/AsperoKY09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/BaazF09,
author = {Matthias Baaz and
Oliver Fasching},
title = {Note on witnessed G{\"{o}}del logics with Delta},
journal = {Ann. Pure Appl. Log.},
volume = {161},
number = {2},
pages = {121--127},
year = {2009},
url = {https://doi.org/10.1016/j.apal.2009.05.011},
doi = {10.1016/J.APAL.2009.05.011},
timestamp = {Fri, 21 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/apal/BaazF09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/Bezhanishvili09,
author = {Guram Bezhanishvili},
title = {The universal modality, the center of a Heyting algebra, and the Blok-Esakia
theorem},
journal = {Ann. Pure Appl. Log.},
volume = {161},
number = {3},
pages = {253--267},
year = {2009},
url = {https://doi.org/10.1016/j.apal.2009.07.002},
doi = {10.1016/J.APAL.2009.07.002},
timestamp = {Fri, 21 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/apal/Bezhanishvili09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/BilkovaJJ09,
author = {Marta B{\'{\i}}lkov{\'{a}} and
Dick de Jongh and
Joost J. Joosten},
title = {Interpretability in {PRA}},
journal = {Ann. Pure Appl. Log.},
volume = {161},
number = {2},
pages = {128--138},
year = {2009},
url = {https://doi.org/10.1016/j.apal.2009.05.012},
doi = {10.1016/J.APAL.2009.05.012},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/apal/BilkovaJJ09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/BouyerBC09,
author = {Patricia Bouyer and
Thomas Brihaye and
Fabrice Chevalier},
title = {Weighted o-minimal hybrid systems},
journal = {Ann. Pure Appl. Log.},
volume = {161},
number = {3},
pages = {268--288},
year = {2009},
url = {https://doi.org/10.1016/j.apal.2009.07.014},
doi = {10.1016/J.APAL.2009.07.014},
timestamp = {Fri, 21 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/apal/BouyerBC09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/BresolinGMS09,
author = {Davide Bresolin and
Valentin Goranko and
Angelo Montanari and
Guido Sciavicco},
title = {Propositional interval neighborhood logics: Expressiveness, decidability,
and undecidable extensions},
journal = {Ann. Pure Appl. Log.},
volume = {161},
number = {3},
pages = {289--304},
year = {2009},
url = {https://doi.org/10.1016/j.apal.2009.07.003},
doi = {10.1016/J.APAL.2009.07.003},
timestamp = {Fri, 21 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/apal/BresolinGMS09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/BrocheninDL09,
author = {R{\'{e}}mi Brochenin and
St{\'{e}}phane Demri and
{\'{E}}tienne Lozes},
title = {Reasoning about sequences of memory states},
journal = {Ann. Pure Appl. Log.},
volume = {161},
number = {3},
pages = {305--323},
year = {2009},
url = {https://doi.org/10.1016/j.apal.2009.07.004},
doi = {10.1016/J.APAL.2009.07.004},
timestamp = {Fri, 21 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/apal/BrocheninDL09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/Carbone09,
author = {Alessandra Carbone},
title = {Logical structures and genus of proofs},
journal = {Ann. Pure Appl. Log.},
volume = {161},
number = {2},
pages = {139--149},
year = {2009},
url = {https://doi.org/10.1016/j.apal.2009.05.007},
doi = {10.1016/J.APAL.2009.05.007},
timestamp = {Fri, 21 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/apal/Carbone09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/ChevalierDMP09,
author = {Fabrice Chevalier and
Deepak D'Souza and
M. Raj Mohan and
Pavithra Prabhakar},
title = {Automata and logics over finitely varying functions},
journal = {Ann. Pure Appl. Log.},
volume = {161},
number = {3},
pages = {324--336},
year = {2009},
url = {https://doi.org/10.1016/j.apal.2009.07.007},
doi = {10.1016/J.APAL.2009.07.007},
timestamp = {Fri, 21 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/apal/ChevalierDMP09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/CignoliE09,
author = {Roberto Cignoli and
Francesc Esteva},
title = {Commutative integral bounded residuated lattices with an added involution},
journal = {Ann. Pure Appl. Log.},
volume = {161},
number = {2},
pages = {150--160},
year = {2009},
url = {https://doi.org/10.1016/j.apal.2009.05.008},
doi = {10.1016/J.APAL.2009.05.008},
timestamp = {Fri, 21 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/apal/CignoliE09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/ConstableM09,
author = {Robert L. Constable and
Wojciech Moczydlowski},
title = {Extracting the resolution algorithm from a completeness proof for
the propositional calculus},
journal = {Ann. Pure Appl. Log.},
volume = {161},
number = {3},
pages = {337--348},
year = {2009},
url = {https://doi.org/10.1016/j.apal.2009.07.008},
doi = {10.1016/J.APAL.2009.07.008},
timestamp = {Fri, 21 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/apal/ConstableM09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/Cox09,
author = {Sean Cox},
title = {Covering theorems for the core model, and an application to stationary
set reflection},
journal = {Ann. Pure Appl. Log.},
volume = {161},
number = {1},
pages = {66--93},
year = {2009},
url = {https://doi.org/10.1016/j.apal.2009.06.001},
doi = {10.1016/J.APAL.2009.06.001},
timestamp = {Wed, 21 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/apal/Cox09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/Davoren09,
author = {Jennifer M. Davoren},
title = {On intuitionistic modal and tense logics and their classical companion
logics: Topological semantics and bisimulations},
journal = {Ann. Pure Appl. Log.},
volume = {161},
number = {3},
pages = {349--367},
year = {2009},
url = {https://doi.org/10.1016/j.apal.2009.07.009},
doi = {10.1016/J.APAL.2009.07.009},
timestamp = {Fri, 21 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/apal/Davoren09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/DawarO09,
author = {Anuj Dawar and
Martin Otto},
title = {Modal characterisation theorems over special classes of frames},
journal = {Ann. Pure Appl. Log.},
volume = {161},
number = {1},
pages = {1--42},
year = {2009},
url = {https://doi.org/10.1016/j.apal.2009.04.002},
doi = {10.1016/J.APAL.2009.04.002},
timestamp = {Fri, 21 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/apal/DawarO09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/Esakia09,
author = {Leo Esakia},
title = {Around provability logic},
journal = {Ann. Pure Appl. Log.},
volume = {161},
number = {2},
pages = {174--184},
year = {2009},
url = {https://doi.org/10.1016/j.apal.2009.05.013},
doi = {10.1016/J.APAL.2009.05.013},
timestamp = {Fri, 21 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/apal/Esakia09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/EstevaGN09,
author = {Francesc Esteva and
Llu{\'{\i}}s Godo and
Carles Noguera},
title = {First-order t-norm based fuzzy logics with truth-constants: Distinguished
semantics and completeness properties},
journal = {Ann. Pure Appl. Log.},
volume = {161},
number = {2},
pages = {185--202},
year = {2009},
url = {https://doi.org/10.1016/j.apal.2009.05.014},
doi = {10.1016/J.APAL.2009.05.014},
timestamp = {Fri, 05 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/apal/EstevaGN09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/Fitting09,
author = {Melvin Fitting},
title = {Realizations and {LP}},
journal = {Ann. Pure Appl. Log.},
volume = {161},
number = {3},
pages = {368--387},
year = {2009},
url = {https://doi.org/10.1016/j.apal.2009.07.010},
doi = {10.1016/J.APAL.2009.07.010},
timestamp = {Fri, 21 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/apal/Fitting09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/Goris09,
author = {Evan Goris},
title = {A modal provability logic of explicit and implicit proofs},
journal = {Ann. Pure Appl. Log.},
volume = {161},
number = {3},
pages = {388--403},
year = {2009},
url = {https://doi.org/10.1016/j.apal.2009.07.020},
doi = {10.1016/J.APAL.2009.07.020},
timestamp = {Fri, 21 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/apal/Goris09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/Hajek09,
author = {Petr H{\'{a}}jek},
title = {Arithmetical complexity of fuzzy predicate logics - {A} survey {II}},
journal = {Ann. Pure Appl. Log.},
volume = {161},
number = {2},
pages = {212--219},
year = {2009},
url = {https://doi.org/10.1016/j.apal.2009.05.015},
doi = {10.1016/J.APAL.2009.05.015},
timestamp = {Fri, 21 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/apal/Hajek09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/HartT09,
author = {James B. Hart and
Constantine Tsinakis},
title = {Ordinal decompositions for preordered root systems},
journal = {Ann. Pure Appl. Log.},
volume = {161},
number = {2},
pages = {203--211},
year = {2009},
url = {https://doi.org/10.1016/j.apal.2009.05.004},
doi = {10.1016/J.APAL.2009.05.004},
timestamp = {Fri, 21 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/apal/HartT09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/HeymansS09,
author = {Hans Heymans and
Isar Stubbe},
title = {On principally generated quantaloid-modules in general, and skew local
homeomorphisms in particular},
journal = {Ann. Pure Appl. Log.},
volume = {161},
number = {1},
pages = {43--65},
year = {2009},
url = {https://doi.org/10.1016/j.apal.2009.05.001},
doi = {10.1016/J.APAL.2009.05.001},
timestamp = {Fri, 21 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/apal/HeymansS09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/Jenei09,
author = {S{\'{a}}ndor Jenei},
title = {On the reflection invariance of residuated chains},
journal = {Ann. Pure Appl. Log.},
volume = {161},
number = {2},
pages = {220--227},
year = {2009},
url = {https://doi.org/10.1016/j.apal.2009.05.009},
doi = {10.1016/J.APAL.2009.05.009},
timestamp = {Fri, 21 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/apal/Jenei09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/Jipsen09,
author = {Peter Jipsen},
title = {Generalizations of Boolean products for lattice-ordered algebras},
journal = {Ann. Pure Appl. Log.},
volume = {161},
number = {2},
pages = {228--234},
year = {2009},
url = {https://doi.org/10.1016/j.apal.2009.05.005},
doi = {10.1016/J.APAL.2009.05.005},
timestamp = {Fri, 21 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/apal/Jipsen09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/KhoussainovL09,
author = {Bakhadyr Khoussainov and
Jiamou Liu},
title = {On complexity of Ehrenfeucht-Fra{\"{\i}}ss{\'{e}} games},
journal = {Ann. Pure Appl. Log.},
volume = {161},
number = {3},
pages = {404--415},
year = {2009},
url = {https://doi.org/10.1016/j.apal.2009.07.011},
doi = {10.1016/J.APAL.2009.07.011},
timestamp = {Fri, 21 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/apal/KhoussainovL09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/KhoussainovM09,
author = {Bakhadyr Khoussainov and
Mia Minnes},
title = {Model-theoretic complexity of automatic structures},
journal = {Ann. Pure Appl. Log.},
volume = {161},
number = {3},
pages = {416--426},
year = {2009},
url = {https://doi.org/10.1016/j.apal.2009.07.012},
doi = {10.1016/J.APAL.2009.07.012},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/apal/KhoussainovM09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/Kurokawa09,
author = {Hidenori Kurokawa},
title = {Hypersequent calculi for intuitionistic logic with classical atoms},
journal = {Ann. Pure Appl. Log.},
volume = {161},
number = {3},
pages = {427--446},
year = {2009},
url = {https://doi.org/10.1016/j.apal.2009.07.013},
doi = {10.1016/J.APAL.2009.07.013},
timestamp = {Fri, 21 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/apal/Kurokawa09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/MarekR09,
author = {Victor W. Marek and
Jeffrey B. Remmel},
title = {The complexity of recursive constraint satisfaction problems},
journal = {Ann. Pure Appl. Log.},
volume = {161},
number = {3},
pages = {447--457},
year = {2009},
url = {https://doi.org/10.1016/j.apal.2009.07.005},
doi = {10.1016/J.APAL.2009.07.005},
timestamp = {Fri, 21 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/apal/MarekR09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/Mundici09,
author = {Daniele Mundici},
title = {Interpretation of De Finetti coherence criterion in Lukasiewicz Logic},
journal = {Ann. Pure Appl. Log.},
volume = {161},
number = {2},
pages = {235--245},
year = {2009},
url = {https://doi.org/10.1016/j.apal.2009.05.010},
doi = {10.1016/J.APAL.2009.05.010},
timestamp = {Fri, 21 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/apal/Mundici09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/NiesS09,
author = {Andr{\'{e}} Nies and
Pavel Semukhin},
title = {Finite automata presentable abelian groups},
journal = {Ann. Pure Appl. Log.},
volume = {161},
number = {3},
pages = {458--467},
year = {2009},
url = {https://doi.org/10.1016/j.apal.2009.07.006},
doi = {10.1016/J.APAL.2009.07.006},
timestamp = {Fri, 21 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/apal/NiesS09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/NolaD09,
author = {Antonio Di Nola and
Anatolij Dvurecenskij},
title = {State-morphism MV-algebras},
journal = {Ann. Pure Appl. Log.},
volume = {161},
number = {2},
pages = {161--173},
year = {2009},
url = {https://doi.org/10.1016/j.apal.2009.05.003},
doi = {10.1016/J.APAL.2009.05.003},
timestamp = {Fri, 05 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/apal/NolaD09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/NourS09,
author = {Karim Nour and
Khelifa Saber},
title = {A completeness result for the simply typed lambda{\(\mathrm{\mu}\)}-calculus},
journal = {Ann. Pure Appl. Log.},
volume = {161},
number = {1},
pages = {109--118},
year = {2009},
url = {https://doi.org/10.1016/j.apal.2008.10.012},
doi = {10.1016/J.APAL.2008.10.012},
timestamp = {Fri, 21 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/apal/NourS09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/Ono09,
author = {Hiroakira Ono},
title = {Glivenko theorems revisited},
journal = {Ann. Pure Appl. Log.},
volume = {161},
number = {2},
pages = {246--250},
year = {2009},
url = {https://doi.org/10.1016/j.apal.2009.05.006},
doi = {10.1016/J.APAL.2009.05.006},
timestamp = {Fri, 21 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/apal/Ono09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
retrieved on 2024-04-23 12:33 CEST from data curated by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
