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/mlq38.bht:"
download as .bib file
@article{DBLP:journals/mlq/Bagemihl92,
author = {Frederick Bagemihl},
title = {Ordinal numbers in Arithmetic Progression},
journal = {Math. Log. Q.},
volume = {38},
number = {1},
pages = {525--528},
year = {1992},
url = {https://doi.org/10.1002/malq.19920380148},
doi = {10.1002/MALQ.19920380148},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/Bagemihl92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Banaschewski92,
author = {Bernhard Banaschewski},
title = {Algebraic Closure without Choice},
journal = {Math. Log. Q.},
volume = {38},
number = {1},
pages = {383--385},
year = {1992},
url = {https://doi.org/10.1002/malq.19920380136},
doi = {10.1002/MALQ.19920380136},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/Banaschewski92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/BellissimaC92,
author = {Fabio Bellissima and
Alessandra Ciupi},
title = {On the Inadequacy of the Relational Semantic for the "Until" Operator},
journal = {Math. Log. Q.},
volume = {38},
number = {1},
pages = {247--252},
year = {1992},
url = {https://doi.org/10.1002/malq.19920380120},
doi = {10.1002/MALQ.19920380120},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/BellissimaC92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/BianchiniS92,
author = {Caterina Bianchini and
Andrea Sorbi},
title = {Reducibility in Some Categories of Partial Recursive Operators},
journal = {Math. Log. Q.},
volume = {38},
number = {1},
pages = {349--359},
year = {1992},
url = {https://doi.org/10.1002/malq.19920380133},
doi = {10.1002/MALQ.19920380133},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/BianchiniS92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Boricic92,
author = {Branislav R. Boricic},
title = {On Some Interpretations of Classical Logic},
journal = {Math. Log. Q.},
volume = {38},
number = {1},
pages = {409--412},
year = {1992},
url = {https://doi.org/10.1002/malq.19920380139},
doi = {10.1002/MALQ.19920380139},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/Boricic92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/BrunnerH92,
author = {Norbert Brunner and
Paul E. Howard},
title = {Russell's Alternative to the Axiom of Choice},
journal = {Math. Log. Q.},
volume = {38},
number = {1},
pages = {529--534},
year = {1992},
url = {https://doi.org/10.1002/malq.19920380149},
doi = {10.1002/MALQ.19920380149},
timestamp = {Thu, 28 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/BrunnerH92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Bull92,
author = {Robert A. Bull},
title = {Cut Elimination for Propositional Dynamic Logic without},
journal = {Math. Log. Q.},
volume = {38},
number = {1},
pages = {85--100},
year = {1992},
url = {https://doi.org/10.1002/malq.19920380107},
doi = {10.1002/MALQ.19920380107},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/Bull92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/CaludeIZ92,
author = {Cristian S. Calude and
Gabriel Istrate and
Marius Zimand},
title = {Recursive Baire Classification and Speedable Functions},
journal = {Math. Log. Q.},
volume = {38},
number = {1},
pages = {169--178},
year = {1992},
url = {https://doi.org/10.1002/malq.19920380112},
doi = {10.1002/MALQ.19920380112},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/CaludeIZ92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Cantini92,
author = {Andrea Cantini},
title = {Levels of Implication and Type Free Theories of Classifications with
Approximation Operator},
journal = {Math. Log. Q.},
volume = {38},
number = {1},
pages = {107--141},
year = {1992},
url = {https://doi.org/10.1002/malq.19920380109},
doi = {10.1002/MALQ.19920380109},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/Cantini92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/ChengK92,
author = {Yungchen Cheng and
Paula Kemp},
title = {Representation of Posets},
journal = {Math. Log. Q.},
volume = {38},
number = {1},
pages = {269--276},
year = {1992},
url = {https://doi.org/10.1002/malq.19920380122},
doi = {10.1002/MALQ.19920380122},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/ChengK92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Deutsch92,
author = {Michael Deutsch},
title = {Ein neuer Beweis und eine Versch{\"{a}}rfung f{\"{u}}r den
Reduktionstyp {\(\forall\)}{\(\exists\)}{\(\forall\)}{\(\infty\)}(0,
1) mit einer Anwendung auf die spektrale Darstellung von Pr{\"{a}}dikaten},
journal = {Math. Log. Q.},
volume = {38},
number = {1},
pages = {559--574},
year = {1992},
url = {https://doi.org/10.1002/malq.19920380153},
doi = {10.1002/MALQ.19920380153},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/Deutsch92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Diener92,
author = {Karl{-}Heinz Diener},
title = {On the Transitive Hull of a {\(\kappa\)}-Narrow Relation},
journal = {Math. Log. Q.},
volume = {38},
number = {1},
pages = {387--398},
year = {1992},
url = {https://doi.org/10.1002/malq.19920380137},
doi = {10.1002/MALQ.19920380137},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/Diener92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Dordevic92,
author = {Radosav S. Dordevic},
title = {Analytic Completeness Theorem for absolutely Continuous Biprobability
Models},
journal = {Math. Log. Q.},
volume = {38},
number = {1},
pages = {241--246},
year = {1992},
url = {https://doi.org/10.1002/malq.19920380119},
doi = {10.1002/MALQ.19920380119},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/Dordevic92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Dosen92,
author = {Kosta Dosen},
title = {A Brief Survey of Frames for the Lambek Calculus},
journal = {Math. Log. Q.},
volume = {38},
number = {1},
pages = {179--187},
year = {1992},
url = {https://doi.org/10.1002/malq.19920380113},
doi = {10.1002/MALQ.19920380113},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/Dosen92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Gentilini92,
author = {Paolo Gentilini},
title = {Provability Logic in the Gentzen Formulation of Arithmetic},
journal = {Math. Log. Q.},
volume = {38},
number = {1},
pages = {535--550},
year = {1992},
url = {https://doi.org/10.1002/malq.19920380150},
doi = {10.1002/MALQ.19920380150},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/Gentilini92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/GnanvoI92,
author = {Cyprien Gnanvo and
Pierre Ille},
title = {La Reconstruction des tournois sans Diamant},
journal = {Math. Log. Q.},
volume = {38},
number = {1},
pages = {283--291},
year = {1992},
url = {https://doi.org/10.1002/malq.19920380124},
doi = {10.1002/MALQ.19920380124},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/GnanvoI92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Greco92,
author = {Antonio Greco},
title = {A Class of Models for Skala's Set Theory},
journal = {Math. Log. Q.},
volume = {38},
number = {1},
pages = {277--282},
year = {1992},
url = {https://doi.org/10.1002/malq.19920380123},
doi = {10.1002/MALQ.19920380123},
timestamp = {Wed, 02 Nov 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/mlq/Greco92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Habart92,
author = {Karol Habart},
title = {Bounds in the Turing Reducibility of Functions},
journal = {Math. Log. Q.},
volume = {38},
number = {1},
pages = {423--430},
year = {1992},
url = {https://doi.org/10.1002/malq.19920380141},
doi = {10.1002/MALQ.19920380141},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/Habart92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Hagendorf92,
author = {Jean Guillaume Hagendorf},
title = {Restriction Respectueuse et Reconstruction des chaines et des Relations
Infinites},
journal = {Math. Log. Q.},
volume = {38},
number = {1},
pages = {457--490},
year = {1992},
url = {https://doi.org/10.1002/malq.19920380143},
doi = {10.1002/MALQ.19920380143},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/Hagendorf92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/HerrmannR92,
author = {Burghard Herrmann and
Wolfgang Rautenberg},
title = {Finite Replacement and Finite Hilbert-Style Axiomatizability},
journal = {Math. Log. Q.},
volume = {38},
number = {1},
pages = {327--344},
year = {1992},
url = {https://doi.org/10.1002/malq.19920380131},
doi = {10.1002/MALQ.19920380131},
timestamp = {Sun, 25 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/HerrmannR92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Hyttinen92,
author = {Tapani Hyttinen},
title = {On Non-Determined Ehrenfeucht-FRA{\"{\i}}SS{\'{e}} Games
and unstable Theories},
journal = {Math. Log. Q.},
volume = {38},
number = {1},
pages = {399--408},
year = {1992},
url = {https://doi.org/10.1002/malq.19920380138},
doi = {10.1002/MALQ.19920380138},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/Hyttinen92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Inoue92,
author = {Takao Inou{\'{e}}},
title = {Flagg and Friedman's Translation is not Faithful},
journal = {Math. Log. Q.},
volume = {38},
number = {1},
pages = {551--554},
year = {1992},
url = {https://doi.org/10.1002/malq.19920380151},
doi = {10.1002/MALQ.19920380151},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/mlq/Inoue92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Jun92,
author = {Qin Jun},
title = {An Elementary System as and its Semi-Completeness and Decidability},
journal = {Math. Log. Q.},
volume = {38},
number = {1},
pages = {305--320},
year = {1992},
url = {https://doi.org/10.1002/malq.19920380128},
doi = {10.1002/MALQ.19920380128},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/Jun92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Klunder92,
author = {Barbara Klunder},
title = {Topos Based Semantic for Constructive Logic with Strong Negation},
journal = {Math. Log. Q.},
volume = {38},
number = {1},
pages = {509--519},
year = {1992},
url = {https://doi.org/10.1002/malq.19920380146},
doi = {10.1002/MALQ.19920380146},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/Klunder92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Kontostathis92,
author = {Kyriakos Kontostathis},
title = {Topological Framework for Finite Injury},
journal = {Math. Log. Q.},
volume = {38},
number = {1},
pages = {189--195},
year = {1992},
url = {https://doi.org/10.1002/malq.19920380114},
doi = {10.1002/MALQ.19920380114},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/Kontostathis92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/KossakK92,
author = {Roman Kossak and
Henryk Kotlarski},
title = {Game Approximations of Satisfaction Classes Models},
journal = {Math. Log. Q.},
volume = {38},
number = {1},
pages = {21--26},
year = {1992},
url = {https://doi.org/10.1002/malq.19920380103},
doi = {10.1002/MALQ.19920380103},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/KossakK92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Koszmider92,
author = {Piotr Koszmider},
title = {A Formalism for Some Class of Forcing Notions},
journal = {Math. Log. Q.},
volume = {38},
number = {1},
pages = {413--421},
year = {1992},
url = {https://doi.org/10.1002/malq.19920380140},
doi = {10.1002/MALQ.19920380140},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/Koszmider92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Kuzichev92,
author = {Andrei A. Kuzichev},
title = {The Ambiguous Type Theory is Hereditarily Undecidable},
journal = {Math. Log. Q.},
volume = {38},
number = {1},
pages = {299--300},
year = {1992},
url = {https://doi.org/10.1002/malq.19920380126},
doi = {10.1002/MALQ.19920380126},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/Kuzichev92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Kuzichev92a,
author = {Andrey A. Kuzichev},
title = {Elimination of Quantifiers over Vectors in Some Theories of Vector
Spaces},
journal = {Math. Log. Q.},
volume = {38},
number = {1},
pages = {575--577},
year = {1992},
url = {https://doi.org/10.1002/malq.19920380155},
doi = {10.1002/MALQ.19920380155},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/Kuzichev92a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/LopezR92,
author = {G{\'{e}}rard Lopez and
Claire Rauzy},
title = {Reconstruction of Binary Relations from their Restrictions of Cardinality
2, 3, 4 and (\emph{n} - 1) {I}},
journal = {Math. Log. Q.},
volume = {38},
number = {1},
pages = {27--37},
year = {1992},
url = {https://doi.org/10.1002/malq.19920380104},
doi = {10.1002/MALQ.19920380104},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/LopezR92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/LopezR92a,
author = {G{\'{e}}rard Lopez and
Claire Rauzy},
title = {Reconstruction of Binary Relations from their Restrictions of Cardinality
2, 3, 4 and (\emph{n} - 1) {II}},
journal = {Math. Log. Q.},
volume = {38},
number = {1},
pages = {157--168},
year = {1992},
url = {https://doi.org/10.1002/malq.19920380111},
doi = {10.1002/MALQ.19920380111},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/LopezR92a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/McColm92,
author = {Gregory L. McColm},
title = {Some Ramsey Theory in Boolean Algebra for Complexity Classes},
journal = {Math. Log. Q.},
volume = {38},
number = {1},
pages = {293--298},
year = {1992},
url = {https://doi.org/10.1002/malq.19920380125},
doi = {10.1002/MALQ.19920380125},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/McColm92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Michalski92,
author = {Grzegorz Michalski},
title = {On the Iterated {\(\omega\)}-Rule},
journal = {Math. Log. Q.},
volume = {38},
number = {1},
pages = {203--208},
year = {1992},
url = {https://doi.org/10.1002/malq.19920380116},
doi = {10.1002/MALQ.19920380116},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/Michalski92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Murawski92,
author = {Roman Murawski},
title = {Iterations of Satisfaction Classes and Models of Peano Arithmetic},
journal = {Math. Log. Q.},
volume = {38},
number = {1},
pages = {59--84},
year = {1992},
url = {https://doi.org/10.1002/malq.19920380106},
doi = {10.1002/MALQ.19920380106},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/Murawski92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Negri92,
author = {Maurizio Negri},
title = {Universal Functions in Partial Structures},
journal = {Math. Log. Q.},
volume = {38},
number = {1},
pages = {253--268},
year = {1992},
url = {https://doi.org/10.1002/malq.19920380121},
doi = {10.1002/MALQ.19920380121},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/Negri92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Pambuccian92,
author = {Victor Pambuccian},
title = {Ternary Operations as Primitive Notions for Plane Geometry {II}},
journal = {Math. Log. Q.},
volume = {38},
number = {1},
pages = {345--348},
year = {1992},
url = {https://doi.org/10.1002/malq.19920380132},
doi = {10.1002/MALQ.19920380132},
timestamp = {Fri, 30 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/mlq/Pambuccian92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/ParlamentoP92,
author = {Franco Parlamento and
Alberto Policriti},
title = {The Decision Problem for Restricted Universal Quantification in Set
Theory and the Axiom of Foundation},
journal = {Math. Log. Q.},
volume = {38},
number = {1},
pages = {143--156},
year = {1992},
url = {https://doi.org/10.1002/malq.19920380110},
doi = {10.1002/MALQ.19920380110},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/ParlamentoP92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Pazdyka92,
author = {Pawel Pazdyka},
title = {The Preservation of submodel Relation by Taking Primitive Models},
journal = {Math. Log. Q.},
volume = {38},
number = {1},
pages = {3--19},
year = {1992},
url = {https://doi.org/10.1002/malq.19920380102},
doi = {10.1002/MALQ.19920380102},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/Pazdyka92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Pfeiffer92,
author = {Helmut Pfeiffer},
title = {A Notation System for Ordinal Using {\(\psi\)}-Functions on Inaccessible
Mahlo numbers},
journal = {Math. Log. Q.},
volume = {38},
number = {1},
pages = {431--456},
year = {1992},
url = {https://doi.org/10.1002/malq.19920380142},
doi = {10.1002/MALQ.19920380142},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/Pfeiffer92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Preller92,
author = {Anne Preller},
title = {An Interpretation of Martin-L{\"{o}}F's Constructive Theory of
Types in Elementary Topos Theory},
journal = {Math. Log. Q.},
volume = {38},
number = {1},
pages = {213--240},
year = {1992},
url = {https://doi.org/10.1002/malq.19920380118},
doi = {10.1002/MALQ.19920380118},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/Preller92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/SanduV92,
author = {Gabriel Sandu and
Jouko V{\"{a}}{\"{a}}n{\"{a}}nen},
title = {Partially Ordered Connectives},
journal = {Math. Log. Q.},
volume = {38},
number = {1},
pages = {361--372},
year = {1992},
url = {https://doi.org/10.1002/malq.19920380134},
doi = {10.1002/MALQ.19920380134},
timestamp = {Tue, 06 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/SanduV92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Schechter92,
author = {Eric Schechter},
title = {Two Topological Equivalents of the Axiom of Choice},
journal = {Math. Log. Q.},
volume = {38},
number = {1},
pages = {555--557},
year = {1992},
url = {https://doi.org/10.1002/malq.19920380152},
doi = {10.1002/MALQ.19920380152},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/Schechter92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Schumacher92,
author = {Klaus Schumacher},
title = {Boolean Algebras in {AST}},
journal = {Math. Log. Q.},
volume = {38},
number = {1},
pages = {373--382},
year = {1992},
url = {https://doi.org/10.1002/malq.19920380135},
doi = {10.1002/MALQ.19920380135},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/Schumacher92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Sun92,
author = {Zhi{-}Wei Sun},
title = {Anew Relation-Combining Theorem and its Application},
journal = {Math. Log. Q.},
volume = {38},
number = {1},
pages = {209--212},
year = {1992},
url = {https://doi.org/10.1002/malq.19920380117},
doi = {10.1002/MALQ.19920380117},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/Sun92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Tanaka92,
author = {Kazuyuki Tanaka},
title = {A Game-Theoretic Proof of analytic Ramsey Theorem},
journal = {Math. Log. Q.},
volume = {38},
number = {1},
pages = {301--304},
year = {1992},
url = {https://doi.org/10.1002/malq.19920380127},
doi = {10.1002/MALQ.19920380127},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/Tanaka92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Tsuboi92,
author = {Akito Tsuboi},
title = {On Definability of Normal Subgroups of a Superstable Group},
journal = {Math. Log. Q.},
volume = {38},
number = {1},
pages = {101--106},
year = {1992},
url = {https://doi.org/10.1002/malq.19920380108},
doi = {10.1002/MALQ.19920380108},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/Tsuboi92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Ulrich92,
author = {Dolph Ulrich},
title = {On the Incompleteness of a Descending Chain of Extensions of Implicational
{S5}},
journal = {Math. Log. Q.},
volume = {38},
number = {1},
pages = {321--323},
year = {1992},
url = {https://doi.org/10.1002/malq.19920380129},
doi = {10.1002/MALQ.19920380129},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/Ulrich92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Valentini92,
author = {Silvio Valentini},
title = {The Judgement Calculus for Intuitionistic Linear Logic: Proof Theory
and Semantics},
journal = {Math. Log. Q.},
volume = {38},
number = {1},
pages = {39--58},
year = {1992},
url = {https://doi.org/10.1002/malq.19920380105},
doi = {10.1002/MALQ.19920380105},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/Valentini92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Waagbo92,
author = {Geir Waagb{\o}},
title = {Quantified Modal Logic with Neighborhood Semantics},
journal = {Math. Log. Q.},
volume = {38},
number = {1},
pages = {491--499},
year = {1992},
url = {https://doi.org/10.1002/malq.19920380144},
doi = {10.1002/MALQ.19920380144},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/Waagbo92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Weese92,
author = {Martin Weese},
title = {A Direct Proof of a Result of Shelah},
journal = {Math. Log. Q.},
volume = {38},
number = {1},
pages = {325--326},
year = {1992},
url = {https://doi.org/10.1002/malq.19920380130},
doi = {10.1002/MALQ.19920380130},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/Weese92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Ying92,
author = {Mingsheng Ying},
title = {The Fundamental Theorem of Ultraproduct in Pavelka's Logic},
journal = {Math. Log. Q.},
volume = {38},
number = {1},
pages = {197--201},
year = {1992},
url = {https://doi.org/10.1002/malq.19920380115},
doi = {10.1002/MALQ.19920380115},
timestamp = {Tue, 06 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/Ying92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Ying92a,
author = {Mingsheng Ying},
title = {Compactness, the L{\"{o}}Wenheim-Skolem Property and the Direct
Product of Lattices of Truth Values},
journal = {Math. Log. Q.},
volume = {38},
number = {1},
pages = {521--524},
year = {1992},
url = {https://doi.org/10.1002/malq.19920380147},
doi = {10.1002/MALQ.19920380147},
timestamp = {Tue, 06 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/Ying92a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Zielonka92,
author = {Wojciech Zielonka},
title = {Interdefinability of Lambekian Functors},
journal = {Math. Log. Q.},
volume = {38},
number = {1},
pages = {501--507},
year = {1992},
url = {https://doi.org/10.1002/malq.19920380145},
doi = {10.1002/MALQ.19920380145},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/Zielonka92.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-06-06 01:14 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:
