default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDAnnals of Pure and Applied Logic, Volume 161
Volume 161, Number 1, October 2009
- Anuj Dawar
, Martin Otto:
Modal characterisation theorems over special classes of frames. 1-42 - Hans Heymans, Isar Stubbe:
On principally generated quantaloid-modules in general, and skew local homeomorphisms in particular. 43-65 - Sean Cox:
Covering theorems for the core model, and an application to stationary set reflection. 66-93 - David Asperó, John Krueger, Yasuo Yoshinobu:
Dense non-reflection for stationary collections of countable sets. 94-108 - Karim Nour, Khelifa Saber:
A completeness result for the simply typed lambdaµ-calculus. 109-118
Volume 161, Number 2, November 2009
- Sergei N. Artëmov:
Preface. 119-120 - Matthias Baaz, Oliver Fasching:
Note on witnessed Gödel logics with Delta. 121-127 - Marta Bílková, Dick de Jongh, Joost J. Joosten:
Interpretability in PRA. 128-138 - Alessandra Carbone:
Logical structures and genus of proofs. 139-149 - Roberto Cignoli, Francesc Esteva:
Commutative integral bounded residuated lattices with an added involution. 150-160 - Antonio Di Nola, Anatolij Dvurecenskij:
State-morphism MV-algebras. 161-173 - Leo Esakia:
Around provability logic. 174-184 - Francesc Esteva, Lluís Godo, Carles Noguera:
First-order t-norm based fuzzy logics with truth-constants: Distinguished semantics and completeness properties. 185-202 - James B. Hart, Constantine Tsinakis:
Ordinal decompositions for preordered root systems. 203-211 - Petr Hájek:
Arithmetical complexity of fuzzy predicate logics - A survey II. 212-219 - Sándor Jenei:
On the reflection invariance of residuated chains. 220-227 - Peter Jipsen:
Generalizations of Boolean products for lattice-ordered algebras. 228-234 - Daniele Mundici:
Interpretation of De Finetti coherence criterion in Lukasiewicz Logic. 235-245 - Hiroakira Ono:
Glivenko theorems revisited. 246-250
Volume 161, Number 3, December 2009
- Sergei N. Artëmov:
Preface. 251-252 - Guram Bezhanishvili:
The universal modality, the center of a Heyting algebra, and the Blok-Esakia theorem. 253-267 - Patricia Bouyer, Thomas Brihaye, Fabrice Chevalier:
Weighted o-minimal hybrid systems. 268-288 - Davide Bresolin, Valentin Goranko, Angelo Montanari, Guido Sciavicco:
Propositional interval neighborhood logics: Expressiveness, decidability, and undecidable extensions. 289-304 - Rémi Brochenin, Stéphane Demri, Étienne Lozes:
Reasoning about sequences of memory states. 305-323 - Fabrice Chevalier, Deepak D'Souza, M. Raj Mohan, Pavithra Prabhakar:
Automata and logics over finitely varying functions. 324-336 - Robert L. Constable, Wojciech Moczydlowski:
Extracting the resolution algorithm from a completeness proof for the propositional calculus. 337-348 - Jennifer M. Davoren:
On intuitionistic modal and tense logics and their classical companion logics: Topological semantics and bisimulations. 349-367 - Melvin Fitting:
Realizations and LP. 368-387 - Evan Goris:
A modal provability logic of explicit and implicit proofs. 388-403 - Bakhadyr Khoussainov, Jiamou Liu:
On complexity of Ehrenfeucht-Fraïssé games. 404-415 - Bakhadyr Khoussainov, Mia Minnes:
Model-theoretic complexity of automatic structures. 416-426 - Hidenori Kurokawa:
Hypersequent calculi for intuitionistic logic with classical atoms. 427-446 - Victor W. Marek, Jeffrey B. Remmel:
The complexity of recursive constraint satisfaction problems. 447-457 - André Nies, Pavel Semukhin:
Finite automata presentable abelian groups. 458-467
Volume 161, Number 4, January 2010
- Teruyuki Yorioka:
A non-implication between fragments of Martin's Axiom related to a property which comes from Aronszajn trees. 469-487 - Elías Baro, Margarita Otero:
Locally definable homotopy. 488-503 - Sedki Boughattas, Leszek Aleksander Kolodziejczyk:
The strength of sharply bounded induction requires MSP. 504-510 - Sedki Boughattas, Jean-Pierre Ressayre:
Bootstrapping, part I. 511-533 - Mikhail Sheremet, Frank Wolter, Michael Zakharyaschev:
A modal logic framework for reasoning about comparative distances and topology. 534-559 - Peter Aczel, Giovanni Curi:
On the T1 axiom and other separation properties in constructive point-free and point-set topology. 560-569 - Nicolas Guzy, Françoise Point:
Topological differential fields. 570-598 - Y. Firat Çelikler:
On some definable sets over fields with analytic structure. 599-616
Volume 161, Number 5, February 2010
- Dan R. Ghica, Russ Harmer:
Foreword. 617 - Merlijn Sevenster, Gabriel Sandu:
Equilibrium semantics of languages of imperfect information. 618-631 - Paul-André Melliès, Nicolas Tabareau:
Resource modalities in tensor logic. 632-653 - Olivier Delande, Dale Miller, Alexis Saurin:
Proof and refutation in MALL as a game. 654-672 - Pierre Clairambault, Russ Harmer:
Totality in arena games. 673-689 - Walid Belkhir, Luigi Santocanale:
The variable hierarchy for the games µ-calculus. 690-707
Volume 161, Number 6, March 2010
- Ali Enayat, Iraj Kalantari:
Preface. 709-710 - Klaus Aehlig, Arnold Beckmann:
On the computational complexity of cut-reduction. 711-736 - Mohammad Ardeshir, Rasoul Ramezanian:
The double negation of the intermediate value theorem. 737-744 - Seyed Mohammad Bagheri, Bruno Poizat, Massoud Pourmahdian:
An arithmetical view to first-order logic. 745-755 - Lev D. Beklemishev:
Kripke semantics for provability logic GLP. 756-774 - S. Barry Cooper:
Extending and interpreting Post's programme. 775-788 - Farzad Didehvar, Kaveh Ghasemloo, Massoud Pourmahdian:
Effectiveness in RPL, with applications to continuous logic. 789-799 - Jürgen Landes, Jeff B. Paris, Alena Vencovská:
A characterization of the Language Invariant families satisfying Spectrum Exchangeability in Polyadic Inductive Logic. 800-811 - Bruno Poizat:
Quelques effets pervers de la positivité. 812-816 - Jouko A. Väänänen, Wilfrid Hodges:
Dependence of variables construed as an atomic formula. 817-828
Volume 161, Number 7, April 2010
- Luca Motto Ros:
Beyond Borel-amenability: Scales and superamenable reducibilities. 829-836 - Ekaterina B. Fokina, Sy-David Friedman, Asger Törnquist:
The effective theory of Borel equivalence relations. 837-850 - Imme Pieter van den Berg:
A decomposition theorem for neutrices. 851-865 - Alexander Berenstein, Evgueni Vassiliev:
On lovely pairs of geometric structures. 866-878 - Daisuke Ikegami:
Forcing absoluteness and regularity properties. 879-894 - Radek Honzik:
Global singularization and the failure of SCH. 895-915 - Vera Fischer, Sy-David Friedman:
Cardinal characteristics and projective wellorders. 916-922 - George Barmpalias:
Elementary differences between the degrees of unsolvability and degrees of compressibility. 923-934 - Saharon Shelah, Lutz Strüngmann:
Filtration-equivalent aleph1-separable abelian groups of cardinality aleph1. 935-943 - Predrag Tanovic:
Types directed by constants. 944-955 - Martin Zeman:
Global square sequences in extender models. 956-985
Volume 161, Number 8, May 2010
- Richard Kaye, Tin Lok Wong:
Truth in generic cuts. 987-1005 - Alexander Rabinovich, Amit Shomrat:
Selection over classes of ordinals expanded by monadic predicates. 1006-1023 - Eduardo J. Dubuc, Yuri A. Poveda:
Representation theory of MV-algebras. 1024-1046 - H. Jerome Keisler:
Nonstandard arithmetic and recursive comprehension. 1047-1062 - Mark Reynolds:
The complexity of temporal logic over the reals. 1063-1096
Volume 161, Number 9, June 2010
- Nikolaos Galatos, Hiroakira Ono:
Cut elimination and strong separation for substructural logics: An algebraic approach. 1097-1133 - Malgorzata A. Dabkowska, Mieczyslaw K. Dabkowski, Valentina S. Harizanov, Amir A. Togha:
Spaces of orders and their Turing degree spectra. 1134-1143 - Stefano Aguzzoli, Simone Bova:
The free n-generated BL-algebra. 1144-1170 - René David, Karim Nour:
Strong normalization results by translation. 1171-1179 - Juan Carlos Martínez, Lajos Soukup:
Cardinal sequences of LCS spaces under GCH. 1180-1193
Volume 161, Number 10, July 2010
- Rene Schipperus:
Countable partition ordinals. 1195-1215 - Todd Eisworth:
Club-guessing, stationary reflection, and coloring theorems. 1216-1243 - Dominic J. D. Hughes:
A minimal classical sequent calculus free of structural rules. 1244-1253 - Stefano Berardi, Thierry Coquand, Susumu Hayashi:
Games with 1-backtracking. 1254-1269 - Samuel Coskey:
Borel reductions of profinite actions of SLn(Z). 1270-1279 - Bjørn Kjos-Hanssen, André Nies, Frank Stephan, Liang Yu:
Higher Kurtz randomness. 1280-1290 - Wang Wei:
Martin's Axiom and embeddings of upper semi-lattices into the Turing degrees. 1291-1298 - Nathanael Leedom Ackerman:
Relativized Grothendieck topoi. 1299-1312
Volume 161, Number 11, August 2010
- Steffen van Bakel, Stefano Berardi, Ulrich Berger:
Preface. 1313-1314 - Robin Adams, Zhaohui Luo:
Classical predicative logic-enriched type theories. 1315-1345 - Willem Heijltjes:
Classical proof forestry. 1346-1366 - Danko Ilik, Gyesik Lee, Hugo Herbelin:
Kripke models for classical logic. 1367-1378 - Mircea-Dan Hernest, Trifon Trifonov:
Light Dialectica revisited. 1379-1389 - Makoto Tatsuta, Ken-etsu Fujita, Ryu Hasegawa, Hiroshi Nakano:
Inhabitation of polymorphic and existential types. 1390-1399 - Steffen van Bakel:
Completeness and partial soundness results for intersection and union typing for lambda_µµ_. 1400-1430
Volume 161, Number 12, September 2010
- Joshua Sack:
Logic for update products and steps into the past. 1431-1461 - Christoph Heinatsch, Michael Möllerfeld:
The determinacy strength of Pi12-comprehension. 1462-1470 - James D. Mitchell, Michal Morayne, Yann H. Péresse, Martyn Quick:
Generating transformation semigroups using endomorphisms of preorders, graphs, and tolerances. 1471-1485 - Yoshihiro Maruyama:
Fundamental results for pointfree convex geometry. 1486-1501 - Mai Gehrke, Ramon Jansana, Alessandra Palmigiano:
Canonical extensions for congruential logics with the deduction theorem. 1502-1519 - Andreas Fischer:
Infinitely Peano differentiable functions in polynomially bounded o-minimal structures. 1520-1524 - Sam Sanders:
More infinity for a better finitism. 1525-1540 - Yimu Yin:
Special transformations in algebraically closed valued fields. 1541-1564 - Sonia L'Innocente, Angus Macintyre, Françoise Point:
Exponentiations over the universal enveloping algebra of sl2(C). 1565-1580 - Sy-David Friedman, Lyubomyr Zdomskyy:
Projective mad families. 1581-1587 - Adam R. Day:
The computable Lipschitz degrees of computably enumerable sets are not dense. 1588-1602 - Sándor Jenei:
Erratum to "On the reflection invariance of residuated chains" [Ann. Pure Appl. Logic 161 (2009) 220-227]. 1603-1604 - Antonio Di Nola, Anatolij Dvurecenskij, Ada Lettieri:
Erratum to "State-morphism MV-algebras" [Ann. Pure Appl. Logic 161 (2009) 161-173]. 1605-1607
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.
last updated on 2024-10-21 20:36 CEST 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:
