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/mlq/mlq52.bht:"
download as .bib file
@article{DBLP:journals/mlq/Ahmed06,
author = {Tarek Sayed Ahmed},
title = {The class of infinite dimensional neat reducts of quasi-polyadic algebras
is not axiomatizable},
journal = {Math. Log. Q.},
volume = {52},
number = {1},
pages = {106--112},
year = {2006},
url = {https://doi.org/10.1002/malq.200510020},
doi = {10.1002/MALQ.200510020},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/Ahmed06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/AlizadehA06,
author = {Majid Alizadeh and
Mohammad Ardeshir},
title = {On L{\"{o}}b algebras},
journal = {Math. Log. Q.},
volume = {52},
number = {1},
pages = {95--105},
year = {2006},
url = {https://doi.org/10.1002/malq.200510016},
doi = {10.1002/MALQ.200510016},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/AlizadehA06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/AmerA06,
author = {Mohamed A. Amer and
Tarek Sayed Ahmed},
title = {Polyadic and cylindric algebras of sentences},
journal = {Math. Log. Q.},
volume = {52},
number = {5},
pages = {444--449},
year = {2006},
url = {https://doi.org/10.1002/malq.200510039},
doi = {10.1002/MALQ.200510039},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/AmerA06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Apter06,
author = {Arthur W. Apter},
title = {Supercompactness and measurable limits of strong cardinals {II:} Applications
to level by level equivalence},
journal = {Math. Log. Q.},
volume = {52},
number = {5},
pages = {457--463},
year = {2006},
url = {https://doi.org/10.1002/malq.200610005},
doi = {10.1002/MALQ.200610005},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/Apter06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Bagheri06,
author = {Seyed Mohammad Bagheri},
title = {Some preservation theorems in an intermediate logic},
journal = {Math. Log. Q.},
volume = {52},
number = {2},
pages = {125--133},
year = {2006},
url = {https://doi.org/10.1002/malq.200510019},
doi = {10.1002/MALQ.200510019},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/Bagheri06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/BaratellaM06,
author = {Stefano Baratella and
Andrea Masini},
title = {A note on unbounded metric temporal logic over dense time domains},
journal = {Math. Log. Q.},
volume = {52},
number = {5},
pages = {450--456},
year = {2006},
url = {https://doi.org/10.1002/malq.200510043},
doi = {10.1002/MALQ.200510043},
timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/BaratellaM06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Barback06,
author = {Joseph Barback},
title = {On hyper-torre isols},
journal = {Math. Log. Q.},
volume = {52},
number = {4},
pages = {359--361},
year = {2006},
url = {https://doi.org/10.1002/malq.200610002},
doi = {10.1002/MALQ.200610002},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/Barback06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Batyrshin06,
author = {Ilnur I. Batyrshin},
title = {Quasi-completeness and functions without fixed-points},
journal = {Math. Log. Q.},
volume = {52},
number = {6},
pages = {595--601},
year = {2006},
url = {https://doi.org/10.1002/malq.200610017},
doi = {10.1002/MALQ.200610017},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/Batyrshin06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Berenstein06,
author = {Alexander Berenstein},
title = {Definable subgroups of measure algebras},
journal = {Math. Log. Q.},
volume = {52},
number = {4},
pages = {367--374},
year = {2006},
url = {https://doi.org/10.1002/malq.200610004},
doi = {10.1002/MALQ.200610004},
timestamp = {Wed, 14 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/Berenstein06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/BridgesD06,
author = {Douglas S. Bridges and
Hannes Diener},
title = {A constructive treatment of Urysohn's Lemma in an apartness space},
journal = {Math. Log. Q.},
volume = {52},
number = {5},
pages = {464--469},
year = {2006},
url = {https://doi.org/10.1002/malq.200610006},
doi = {10.1002/MALQ.200610006},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/BridgesD06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Brihaye06,
author = {Thomas Brihaye},
title = {A note on the undecidability of the reachability problem for o-minimal
dynamical systems},
journal = {Math. Log. Q.},
volume = {52},
number = {2},
pages = {165--170},
year = {2006},
url = {https://doi.org/10.1002/malq.200510024},
doi = {10.1002/MALQ.200510024},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/Brihaye06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Busaniche06,
author = {Manuela Busaniche},
title = {Free nilpotent minimum algebras},
journal = {Math. Log. Q.},
volume = {52},
number = {3},
pages = {219--236},
year = {2006},
url = {https://doi.org/10.1002/malq.200510027},
doi = {10.1002/MALQ.200510027},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/Busaniche06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Celani06,
author = {Sergio A. Celani},
title = {\emph{n}-linear weakly Heyting algebras},
journal = {Math. Log. Q.},
volume = {52},
number = {4},
pages = {404--416},
year = {2006},
url = {https://doi.org/10.1002/malq.200510041},
doi = {10.1002/MALQ.200510041},
timestamp = {Tue, 06 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/Celani06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/ChateauM06,
author = {Annie Chateau and
Malika More},
title = {The ultra-weak Ash conjecture and some particular cases},
journal = {Math. Log. Q.},
volume = {52},
number = {1},
pages = {4--13},
year = {2006},
url = {https://doi.org/10.1002/malq.200510010},
doi = {10.1002/MALQ.200510010},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/ChateauM06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/CintulaKMN06,
author = {Petr Cintula and
Erich{-}Peter Klement and
Radko Mesiar and
Mirko Navara},
title = {Residuated logics based on strict triangular norms with an involutive
negation},
journal = {Math. Log. Q.},
volume = {52},
number = {3},
pages = {269--282},
year = {2006},
url = {https://doi.org/10.1002/malq.200510032},
doi = {10.1002/MALQ.200510032},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/CintulaKMN06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Cordon-FrancoFM06,
author = {Andr{\'{e}}s Cord{\'{o}}n{-}Franco and
Alejandro Fern{\'{a}}ndez{-}Margarit and
Francisco F{\'{e}}lix Lara Mart{\'{\i}}n},
title = {Envelopes, indicators and conservativeness},
journal = {Math. Log. Q.},
volume = {52},
number = {1},
pages = {51--70},
year = {2006},
url = {https://doi.org/10.1002/malq.200410055},
doi = {10.1002/MALQ.200410055},
timestamp = {Tue, 06 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/Cordon-FrancoFM06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/DannerP06,
author = {Norman Danner and
Chris Pollett},
title = {The weak pigeonhole principle for function classes in S\({}^{\mbox{1}}\)\({}_{\mbox{2}}\)},
journal = {Math. Log. Q.},
volume = {52},
number = {6},
pages = {575--584},
year = {2006},
url = {https://doi.org/10.1002/malq.200610015},
doi = {10.1002/MALQ.200610015},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/DannerP06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Daynes06,
author = {Arief Daynes},
title = {A new technique for proving realisability and consistency theorems
using finite paraconsistent models of cut-free logic},
journal = {Math. Log. Q.},
volume = {52},
number = {6},
pages = {540--554},
year = {2006},
url = {https://doi.org/10.1002/malq.200610013},
doi = {10.1002/MALQ.200610013},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/Daynes06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Ferbus-ZandaG06,
author = {Marie Ferbus{-}Zanda and
Serge Grigorieff},
title = {Kolmogorov complexity and set theoretical representations of integers},
journal = {Math. Log. Q.},
volume = {52},
number = {4},
pages = {375--403},
year = {2006},
url = {https://doi.org/10.1002/malq.200510040},
doi = {10.1002/MALQ.200510040},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/Ferbus-ZandaG06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/FerreiraF06,
author = {Fernando Ferreira and
Gilda Ferreira},
title = {Counting as integration in feasible analysis},
journal = {Math. Log. Q.},
volume = {52},
number = {3},
pages = {315--320},
year = {2006},
url = {https://doi.org/10.1002/malq.200510035},
doi = {10.1002/MALQ.200510035},
timestamp = {Tue, 10 Dec 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/mlq/FerreiraF06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/GheerbrantM06,
author = {Am{\'{e}}lie Gheerbrant and
Marcin Mostowski},
title = {Recursive complexity of the Carnap first order modal logic {C}},
journal = {Math. Log. Q.},
volume = {52},
number = {1},
pages = {87--94},
year = {2006},
url = {https://doi.org/10.1002/malq.200410057},
doi = {10.1002/MALQ.200410057},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/GheerbrantM06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Gherardi06,
author = {Guido Gherardi},
title = {Effective Borel degrees of some topological functions},
journal = {Math. Log. Q.},
volume = {52},
number = {6},
pages = {625--642},
year = {2006},
url = {https://doi.org/10.1002/malq.200610021},
doi = {10.1002/MALQ.200610021},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/Gherardi06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Gil-Ferez06,
author = {Jos{\'{e}} Gil{-}F{\'{e}}rez},
title = {Multi-term pi-institutions and their equivalence},
journal = {Math. Log. Q.},
volume = {52},
number = {5},
pages = {505--526},
year = {2006},
url = {https://doi.org/10.1002/malq.200610010},
doi = {10.1002/MALQ.200610010},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/Gil-Ferez06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/GoldsternK06,
author = {Martin Goldstern and
Jakob Kellner},
title = {New reals: Can live with them, can live without them},
journal = {Math. Log. Q.},
volume = {52},
number = {2},
pages = {115--124},
year = {2006},
url = {https://doi.org/10.1002/malq.200510018},
doi = {10.1002/MALQ.200510018},
timestamp = {Tue, 06 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/GoldsternK06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Golinska-Pilarek06,
author = {Joanna Golinska{-}Pilarek},
title = {Number of non-Fregean sentential logics that have adequate models},
journal = {Math. Log. Q.},
volume = {52},
number = {5},
pages = {439--443},
year = {2006},
url = {https://doi.org/10.1002/malq.200510042},
doi = {10.1002/MALQ.200510042},
timestamp = {Fri, 30 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/mlq/Golinska-Pilarek06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/HansenM06,
author = {Uffe Flarup Hansen and
Klaus Meer},
title = {Two logical hierarchies of optimization problems over the real numbers},
journal = {Math. Log. Q.},
volume = {52},
number = {1},
pages = {37--50},
year = {2006},
url = {https://doi.org/10.1002/malq.200510021},
doi = {10.1002/MALQ.200510021},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/HansenM06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Hemmerling06,
author = {Armin Hemmerling},
title = {Editorial: {MLQ} - Math. Log. Quart. 1/2006},
journal = {Math. Log. Q.},
volume = {52},
number = {1},
pages = {3},
year = {2006},
url = {https://doi.org/10.1002/malq.200690000},
doi = {10.1002/MALQ.200690000},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/Hemmerling06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Henle06,
author = {James M. Henle},
title = {Calculus on strong partition cardinals},
journal = {Math. Log. Q.},
volume = {52},
number = {6},
pages = {585--594},
year = {2006},
url = {https://doi.org/10.1002/malq.200610016},
doi = {10.1002/MALQ.200610016},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/Henle06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/HsiehR06,
author = {Ai{-}ni Hsieh and
James G. Raftery},
title = {A finite model property for RMI\({}_{\mbox{min}}\)},
journal = {Math. Log. Q.},
volume = {52},
number = {6},
pages = {602--612},
year = {2006},
url = {https://doi.org/10.1002/malq.200610018},
doi = {10.1002/MALQ.200610018},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/HsiehR06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Jerabek06,
author = {Emil Jer{\'{a}}bek},
title = {The strength of sharply bounded induction},
journal = {Math. Log. Q.},
volume = {52},
number = {6},
pages = {613--624},
year = {2006},
url = {https://doi.org/10.1002/malq.200610019},
doi = {10.1002/MALQ.200610019},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/Jerabek06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Kentaro06,
author = {Sato Kentaro},
title = {Forcing under Anti-Foundation Axiom: An expression of the stalks},
journal = {Math. Log. Q.},
volume = {52},
number = {3},
pages = {295--314},
year = {2006},
url = {https://doi.org/10.1002/malq.200410060},
doi = {10.1002/MALQ.200410060},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/Kentaro06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/KetchersidZ06,
author = {Richard Ketchersid and
Stuart Zoble},
title = {On the extender algebra being complete},
journal = {Math. Log. Q.},
volume = {52},
number = {6},
pages = {531--533},
year = {2006},
url = {https://doi.org/10.1002/malq.200610011},
doi = {10.1002/MALQ.200610011},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/KetchersidZ06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Konig06,
author = {Bernhard K{\"{o}}nig},
title = {Dense subtrees in complete Boolean algebras},
journal = {Math. Log. Q.},
volume = {52},
number = {3},
pages = {283--287},
year = {2006},
url = {https://doi.org/10.1002/malq.200510033},
doi = {10.1002/MALQ.200510033},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/Konig06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Kulpeshov06,
author = {Beibut Sh. Kulpeshov},
title = {On aleph\({}_{\mbox{0}}\)-categorical weakly circularly minimal structures},
journal = {Math. Log. Q.},
volume = {52},
number = {6},
pages = {555--574},
year = {2006},
url = {https://doi.org/10.1002/malq.200610014},
doi = {10.1002/MALQ.200610014},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/mlq/Kulpeshov06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/LewinM06,
author = {Renato A. Lewin and
Irene F. Mikenberg},
title = {Literal-paraconsistent and literal-paracomplete matrices},
journal = {Math. Log. Q.},
volume = {52},
number = {5},
pages = {478--493},
year = {2006},
url = {https://doi.org/10.1002/malq.200510044},
doi = {10.1002/MALQ.200510044},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/LewinM06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Lischke06,
author = {Gerhard Lischke},
title = {Restorations of punctured languages and similarity of languages},
journal = {Math. Log. Q.},
volume = {52},
number = {1},
pages = {20--28},
year = {2006},
url = {https://doi.org/10.1002/malq.200510017},
doi = {10.1002/MALQ.200510017},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/Lischke06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Lowe06,
author = {Benedikt L{\"{o}}we},
title = {A parametrised choice principle and Martin's conjecture on Blackwell
determinacy},
journal = {Math. Log. Q.},
volume = {52},
number = {2},
pages = {187--189},
year = {2006},
url = {https://doi.org/10.1002/malq.200410059},
doi = {10.1002/MALQ.200410059},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/Lowe06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/MaksimovicJ06,
author = {Petar Maksimovic and
Predrag Janicic},
title = {Simple characterization of functionally complete one-element sets
of propositional connectives},
journal = {Math. Log. Q.},
volume = {52},
number = {5},
pages = {498--504},
year = {2006},
url = {https://doi.org/10.1002/malq.200610009},
doi = {10.1002/MALQ.200610009},
timestamp = {Mon, 26 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/mlq/MaksimovicJ06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Marikova06,
author = {Jana Mar{\'{\i}}kov{\'{a}}},
title = {Geometric properties of semilinear and semibounded sets},
journal = {Math. Log. Q.},
volume = {52},
number = {2},
pages = {190--202},
year = {2006},
url = {https://doi.org/10.1002/malq.200510026},
doi = {10.1002/MALQ.200510026},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/Marikova06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/MurinovaN06,
author = {Petra Murinov{\'{a}} and
Vil{\'{e}}m Nov{\'{a}}k},
title = {Omitting types in fuzzy logic with evaluated syntax},
journal = {Math. Log. Q.},
volume = {52},
number = {3},
pages = {259--268},
year = {2006},
url = {https://doi.org/10.1002/malq.200510031},
doi = {10.1002/MALQ.200510031},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/MurinovaN06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Osuga06,
author = {Noboru Osuga},
title = {The covering number and the uniformity of the ideal \emph{I\({}_{\mbox{f}}\)}},
journal = {Math. Log. Q.},
volume = {52},
number = {4},
pages = {351--358},
year = {2006},
url = {https://doi.org/10.1002/malq.200610001},
doi = {10.1002/MALQ.200610001},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/Osuga06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/PintoOP06,
author = {Sandra Marques Pinto and
M. Teresa Oliveira{-}Martins and
M. C{\'{e}}u Pinto},
title = {Monadic dynamic algebras},
journal = {Math. Log. Q.},
volume = {52},
number = {2},
pages = {134--150},
year = {2006},
url = {https://doi.org/10.1002/malq.200510022},
doi = {10.1002/MALQ.200510022},
timestamp = {Tue, 06 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/PintoOP06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Prunescu06,
author = {Mihai Prunescu},
title = {Undecidable and decidable restrictions of Hilbert's Tenth Problem:
images of polynomials vs. images of exponential functions},
journal = {Math. Log. Q.},
volume = {52},
number = {1},
pages = {14--19},
year = {2006},
url = {https://doi.org/10.1002/malq.200510013},
doi = {10.1002/MALQ.200510013},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/Prunescu06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Rathjen06,
author = {Michael Rathjen},
title = {A note on Bar Induction in Constructive Set Theory},
journal = {Math. Log. Q.},
volume = {52},
number = {3},
pages = {253--258},
year = {2006},
url = {https://doi.org/10.1002/malq.200510030},
doi = {10.1002/MALQ.200510030},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/Rathjen06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Riviere06,
author = {C{\'{e}}dric Rivi{\`{e}}re},
title = {The model theory of \emph{m}-ordered differential fields},
journal = {Math. Log. Q.},
volume = {52},
number = {4},
pages = {331--339},
year = {2006},
url = {https://doi.org/10.1002/malq.200510037},
doi = {10.1002/MALQ.200510037},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/Riviere06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/RoslanowskiS06,
author = {Andrzej Roslanowski and
Saharon Shelah},
title = {How much sweetness is there in the universe?},
journal = {Math. Log. Q.},
volume = {52},
number = {1},
pages = {71--86},
year = {2006},
url = {https://doi.org/10.1002/malq.200410056},
doi = {10.1002/MALQ.200410056},
timestamp = {Sat, 05 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/RoslanowskiS06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Ross06,
author = {David A. Ross},
title = {A nonstandard proof of a lemma from constructive measure theory},
journal = {Math. Log. Q.},
volume = {52},
number = {5},
pages = {494--497},
year = {2006},
url = {https://doi.org/10.1002/malq.200610008},
doi = {10.1002/MALQ.200610008},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/Ross06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Schuster06,
author = {Peter Schuster},
title = {Unique solutions},
journal = {Math. Log. Q.},
volume = {52},
number = {6},
pages = {534--539},
year = {2006},
url = {https://doi.org/10.1002/malq.200610012},
doi = {10.1002/MALQ.200610012},
timestamp = {Fri, 08 Sep 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/Schuster06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/ShelahV06,
author = {Saharon Shelah and
Jouko A. V{\"{a}}{\"{a}}n{\"{a}}nen},
title = {Recursive logic frames},
journal = {Math. Log. Q.},
volume = {52},
number = {2},
pages = {151--164},
year = {2006},
url = {https://doi.org/10.1002/malq.200410058},
doi = {10.1002/MALQ.200410058},
timestamp = {Sat, 05 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/ShelahV06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Simonsen06,
author = {Jakob Grue Simonsen},
title = {On local non-compactness in recursive mathematics},
journal = {Math. Log. Q.},
volume = {52},
number = {4},
pages = {323--330},
year = {2006},
url = {https://doi.org/10.1002/malq.200510036},
doi = {10.1002/MALQ.200510036},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/Simonsen06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Spillner06,
author = {Andreas Spillner},
title = {Minimum boundary touching tilings of polyominoes},
journal = {Math. Log. Q.},
volume = {52},
number = {1},
pages = {29--36},
year = {2006},
url = {https://doi.org/10.1002/malq.200510015},
doi = {10.1002/MALQ.200510015},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/Spillner06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/SteinerS06,
author = {David Steiner and
Thomas Strahm},
title = {On the proof theory of type two functionals based on primitive recursive
operations},
journal = {Math. Log. Q.},
volume = {52},
number = {3},
pages = {237--252},
year = {2006},
url = {https://doi.org/10.1002/malq.200510029},
doi = {10.1002/MALQ.200510029},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/SteinerS06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Tadaki06,
author = {Kohtaro Tadaki},
title = {An extension of Chaitin's halting probability Omega to a measurement
operator in an infinite dimensional quantum system},
journal = {Math. Log. Q.},
volume = {52},
number = {5},
pages = {419--438},
year = {2006},
url = {https://doi.org/10.1002/malq.200410061},
doi = {10.1002/MALQ.200410061},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/Tadaki06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Villegas-Silva06,
author = {Luis Miguel Villegas{-}Silva},
title = {A gap 1 cardinal transfer theorem},
journal = {Math. Log. Q.},
volume = {52},
number = {4},
pages = {340--350},
year = {2006},
url = {https://doi.org/10.1002/malq.200510038},
doi = {10.1002/MALQ.200510038},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/Villegas-Silva06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Voutsadakis06,
author = {George Voutsadakis},
title = {Categorical abstract algebraic logic: The largest theory system included
in a theory family},
journal = {Math. Log. Q.},
volume = {52},
number = {3},
pages = {288--294},
year = {2006},
url = {https://doi.org/10.1002/malq.200510034},
doi = {10.1002/MALQ.200510034},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/Voutsadakis06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Vychodil06,
author = {Vil{\'{e}}m Vychodil},
title = {Continuous fuzzy Horn logic},
journal = {Math. Log. Q.},
volume = {52},
number = {2},
pages = {171--186},
year = {2006},
url = {https://doi.org/10.1002/malq.200510025},
doi = {10.1002/MALQ.200510025},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/Vychodil06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/WangS06,
author = {Guo{-}Jun Wang and
Yan{-}Hong She},
title = {A topological characterization of consistency of logic theories in
propositional logic},
journal = {Math. Log. Q.},
volume = {52},
number = {5},
pages = {470--477},
year = {2006},
url = {https://doi.org/10.1002/malq.200610007},
doi = {10.1002/MALQ.200610007},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/WangS06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Xirotiri06,
author = {Olga Xirotiri},
title = {There is no safe pairing function over an arbitrary structure},
journal = {Math. Log. Q.},
volume = {52},
number = {4},
pages = {362--366},
year = {2006},
url = {https://doi.org/10.1002/malq.200610003},
doi = {10.1002/MALQ.200610003},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/Xirotiri06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Yorioka06,
author = {Teruyuki Yorioka},
title = {P\({}_{\mbox{max}}\) variations related to slaloms},
journal = {Math. Log. Q.},
volume = {52},
number = {2},
pages = {203--216},
year = {2006},
url = {https://doi.org/10.1002/malq.200510028},
doi = {10.1002/MALQ.200510028},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/Yorioka06.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-05-25 08:34 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:
