Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDMathematical Logic Quarterly, Volume 55
Volume 55, Number 1, January 2009
- Gunter Fuchs:
Successor levels of the Jensen hierarchy. 4-20 - Shokoofeh Ghorbani
, Esfandiar Eslami, Abbas Hasankhani:
On the category of hyper MV-algebras. 21-30 - Fred Richman:
Intuitionistic notions of boundedness in N. 31-36 - Camilo Argoty, Alexander Berenstein:
Hilbert spaces expanded with a unitary operator. 37-50 - George Voutsadakis:
Categorical Abstract Algebraic Logic: Structurality, protoalgebraicity, and correspondence. 51-67 - Joel David Hamkins:
Tall cardinals. 68-86 - André Rognes:
Turning decision procedures into disprovers. 87-104 - Wei Yao, Ling-Xia Lu:
Fuzzy Galois connections on fuzzy posets. 105-112
Volume 55, Number 2, February 2009
- Olaf Beyersdorff:
On the correspondence between arithmetic theories and propositional proof systems - a survey. 116-137 - Agi Kurucz:
Weakly associative relation algebras with projections. 138-153 - Takako Nemoto:
Determinacy of Wadge classes and subsystems of second order arithmetic. 154-176 - Morteza Moniri, Mostafa Zaare:
Preservation theorems for Kripke models. 177-184 - Satyadev Nandakumar:
A characterization of constructive dimension. 185-200 - Henryk Kotlarski, Konrad Zdanowski:
On a question of Andreas Weiermann. 201-211 - Naohi Eguchi:
A lexicographic path order with slow growing derivation bounds. 212-224
Volume 55, Number 3, June 2009
- Arthur W. Apter:
Indestructibility and stationary reflection. 228-236 - Tarek Sayed Ahmed:
A simple construction of representable relation algebras with non-representable completions. 237-244 - Daria Spescha, Thomas Strahm:
Elementary explicit types and polynomial time operations. 245-258 - Jialu Zhang, Quanfa Chen:
Fuzzy topology representation for MV-algebras. 259-270 - Arthur W. Apter:
Indestructibility under adding Cohen subsets and level by level equivalence. 271-279 - Tarek Sayed Ahmed:
A note on substitutions in representable cylindric algebras. 280-287 - Sergio A. Celani, Leonardo Manuel Cabrer:
Weak-quasi-Stone algebras. 288-298 - Paul B. Larson, Saharon Shelah:
Splitting stationary sets from weak forms of Choice. 299-306 - Graciela Domenech, Hector Freytes, Christian de Ronde:
Modal-type orthomodular logic. 307-319 - Rostislav Horcík, Franco Montagna:
Archimedean classes in integral commutative residuated chains. 320-336
Volume 55, Number 4, August 2009
- Paul W. Goldberg, Jörg Rothe:
Editorial: Math. Log. Quart. 4/2009. 340
- Joel Uckelman, Yann Chevaleyre, Ulle Endriss, Jérôme Lang:
Representing Utility Functions via Weighted Goals. 341-361 - Edith Elkind, Leslie Ann Goldberg, Paul W. Goldberg, Michael J. Wooldridge:
A Tractable and Expressive Class of Marginal Contribution Nets and Its Applications. 362-376 - Yoram Bachrach, Michael Zuckerman, Jeffrey S. Rosenschein:
Effort Games and the Price of Myopia. 377-396 - Edith Hemaspaandra, Lane A. Hemaspaandra, Jörg Rothe:
Hybrid Elections Broaden Complexity-Theoretic Resistance to Control. 397-424 - Gábor Erdélyi, Markus Nowak, Jörg Rothe:
Sincere-Strategy Preference-Based Approval Voting Fully Resists Constructive Control and Broadly Resists Destructive Control. 425-443 - Felix Brandt, Felix A. Fischer, Paul Harrenstein:
The Computational Complexity of Choice Sets. 444-459 - Felix Brandt:
Some Remarks on Dodgson's Voting Rule. 460-463
Volume 55, Number 5, October 2009
- Lawrence Peter Belluce, Antonio Di Nola:
Commutative rings whose ideals form an MV-algebra. 468-486 - Marie-Hélène Mourgues:
Cell decomposition for P-minimal fields. 487-492 - Xueling Ma, Jianming Zhan, Young Bae Jun:
On ( ELEMENT OF , ELEMENT OF OR q)-fuzzy filters of R0-algebras. 493-508 - Leszek Aleksander Kolodziejczyk, Neil Thapen:
The polynomial and linear time hierarchies in V0. 509-514 - João Rasga, Walter Alexandre Carnielli, Cristina Sernadas:
Interpolation via translations. 515-534 - Nikolaos Efstathiou Sofronidis:
Calculus of variations and descriptive set theory. 535-538 - Liljana Babinkostova:
On some questions about selective separability. 539-541 - Victoria Gitman:
Proper and piecewise proper families of reals. 542-550 - Mircea-Dan Hernest:
Light monotone Dialectica methods for proof mining. 551-561 - Grace Piper:
The wi-club filter on kappa lambda. 562-568
Volume 55, Number 6, December 2009
- Marcel Erné:
Finiteness conditions and distributive laws for Boolean algebras. 572-586 - Ilnur I. Batyrshin:
Non-isolated quasi-degrees. 587-597 - Mário J. Edmundo, Pantelis E. Eleftheriou:
Definable group extensions in semi-bounded o-minimal structures. 598-604 - Stefano Cavagnetto:
Some applications of propositional logic to cellular automata. 605-616 - Carlo Toffalori, Kathryn Vozoris:
Notes on local o-minimality. 617-632 - Andrey N. Frolov, Maxim V. Zubkov:
Increasing eta-representable degrees. 633-636 - Mohammad Ardeshir, Rasoul Ramezanian:
Decidability and Specker sequences in intuitionistic mathematics. 637-648 - Arsham Borumand Saeid, Somayeh Motamed:
Some results in BL -algebras. 649-658 - Robert Ralowski:
Remarks on nonmeasurable unions of big point families. 659-665 - Tarek Sayed Ahmed:
On neat embeddings of cylindric algebras. 666-668
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.
last updated on 2024-04-22 20:03 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:
