Stop the war!
Остановите войну!
for scientists:
default search action
Search dblp for Publications
export results for "toc:db/journals/mlq/mlq52.bht:"
@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} }
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.