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/mlq37.bht:"
download as .bib file
@article{DBLP:journals/mlq/AdamowiczD91,
author = {Zofia Adamowicz and
Costas Dimitracopoulos},
title = {On {A} Problem Concerning Parameter Free Induction},
journal = {Math. Log. Q.},
volume = {37},
number = {23-24},
pages = {363--366},
year = {1991},
url = {https://doi.org/10.1002/malq.19910372304},
doi = {10.1002/MALQ.19910372304},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/AdamowiczD91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Banaschewski91,
author = {Bernhard Banaschewski},
title = {Fixpoints Without the Natural Numbers},
journal = {Math. Log. Q.},
volume = {37},
number = {8},
pages = {125--128},
year = {1991},
url = {https://doi.org/10.1002/malq.19910370804},
doi = {10.1002/MALQ.19910370804},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/Banaschewski91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Bandlow91,
author = {Ingo Bandlow},
title = {A Construction in Set-Theoretic Topology by Means of Elementary Substructures},
journal = {Math. Log. Q.},
volume = {37},
number = {26-30},
pages = {467--480},
year = {1991},
url = {https://doi.org/10.1002/malq.19910372607},
doi = {10.1002/MALQ.19910372607},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/Bandlow91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Bilaniuk91,
author = {Stefan Bilaniuk},
title = {Degrees of Souslin Trees},
journal = {Math. Log. Q.},
volume = {37},
number = {33-35},
pages = {513--524},
year = {1991},
url = {https://doi.org/10.1002/malq.19910373302},
doi = {10.1002/MALQ.19910373302},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/Bilaniuk91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Case91,
author = {John Case},
title = {Effectivizing Inseparability},
journal = {Math. Log. Q.},
volume = {37},
number = {7},
pages = {97--111},
year = {1991},
url = {https://doi.org/10.1002/malq.19910370702},
doi = {10.1002/MALQ.19910370702},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/Case91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/CostaSV91,
author = {Newton C. A. da Costa and
V. S. Subrahmanian and
Carlo Vago},
title = {The Paraconsistent Logics P\emph{J}},
journal = {Math. Log. Q.},
volume = {37},
number = {9-12},
pages = {139--148},
year = {1991},
url = {https://doi.org/10.1002/malq.19910370903},
doi = {10.1002/MALQ.19910370903},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/CostaSV91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Deutsch91,
author = {Michael Deutsch},
title = {Reduktionstyp und Spektrale Darstellung Mit Dem Pr{\"{a}}fix},
journal = {Math. Log. Q.},
volume = {37},
number = {18},
pages = {273--288},
year = {1991},
url = {https://doi.org/10.1002/malq.19910371802},
doi = {10.1002/MALQ.19910371802},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/Deutsch91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Ditchev91,
author = {Angel V. Ditchev},
title = {Effective Enumerations of Families of Finite Sets of Natural Numbers},
journal = {Math. Log. Q.},
volume = {37},
number = {19-22},
pages = {301--306},
year = {1991},
url = {https://doi.org/10.1002/malq.19910371904},
doi = {10.1002/MALQ.19910371904},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/Ditchev91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/DowneyS91,
author = {Rod Downey and
Mike Stob},
title = {Jumps of Hemimaximal Sets},
journal = {Math. Log. Q.},
volume = {37},
number = {8},
pages = {113--120},
year = {1991},
url = {https://doi.org/10.1002/malq.19910370802},
doi = {10.1002/MALQ.19910370802},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/DowneyS91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Garcia91,
author = {Narciso Garc{\'{\i}}a},
title = {A Theory of Operations on the Universe I. The Theory of Iteration
and \emph{F}-Ordinals},
journal = {Math. Log. Q.},
volume = {37},
number = {25},
pages = {385--392},
year = {1991},
url = {https://doi.org/10.1002/malq.19910372502},
doi = {10.1002/MALQ.19910372502},
timestamp = {Thu, 07 Mar 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/mlq/Garcia91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Garcia91a,
author = {Narciso Garc{\'{\i}}a},
title = {A Theory of Operations on the Universe {II.} Infinitary Operations},
journal = {Math. Log. Q.},
volume = {37},
number = {31-32},
pages = {481--488},
year = {1991},
url = {https://doi.org/10.1002/malq.19910373102},
doi = {10.1002/MALQ.19910373102},
timestamp = {Thu, 07 Mar 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/mlq/Garcia91a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Gehrke91,
author = {Mai Gehrke},
title = {The Order Structure of Stone Spaces and the \emph{T}\({}_{\mbox{D}}\)-Separation
Axiom},
journal = {Math. Log. Q.},
volume = {37},
number = {1},
pages = {5--15},
year = {1991},
url = {https://doi.org/10.1002/malq.19910370103},
doi = {10.1002/MALQ.19910370103},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/Gehrke91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Georgescu91,
author = {George Georgescu},
title = {F-Multipliers and the Localization of Distributive Lattices {II}},
journal = {Math. Log. Q.},
volume = {37},
number = {19-22},
pages = {293--300},
year = {1991},
url = {https://doi.org/10.1002/malq.19910371903},
doi = {10.1002/MALQ.19910371903},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/Georgescu91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/GerberS91,
author = {Christoph Gerber and
J{\"{u}}rg Schmid},
title = {The Model Companion of Stone Semilattices},
journal = {Math. Log. Q.},
volume = {37},
number = {31-32},
pages = {501--512},
year = {1991},
url = {https://doi.org/10.1002/malq.19910373105},
doi = {10.1002/MALQ.19910373105},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/GerberS91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Gnanvo91,
author = {Cyprien Gnanvo},
title = {Les Tournois (-1)-Cha{\^{\i}}ne},
journal = {Math. Log. Q.},
volume = {37},
number = {2-4},
pages = {27--37},
year = {1991},
url = {https://doi.org/10.1002/malq.19910370203},
doi = {10.1002/MALQ.19910370203},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/Gnanvo91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/HatcherT91,
author = {William S. Hatcher and
Marcel Tonga},
title = {Pairings on Lambda Algebras},
journal = {Math. Log. Q.},
volume = {37},
number = {19-22},
pages = {343--352},
year = {1991},
url = {https://doi.org/10.1002/malq.19910371908},
doi = {10.1002/MALQ.19910371908},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/HatcherT91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Hauck91,
author = {J{\"{u}}rgen Hauck},
title = {Ein Kriterium f{\"{u}}r die Primitive Rekursivit{\"{a}}t
der Funktional-Iteration},
journal = {Math. Log. Q.},
volume = {37},
number = {13-16},
pages = {193--200},
year = {1991},
url = {https://doi.org/10.1002/malq.19910371302},
doi = {10.1002/MALQ.19910371302},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/Hauck91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Heindorf91,
author = {Lutz Heindorf},
title = {Chains in Boolean Semigroup Algebras},
journal = {Math. Log. Q.},
volume = {37},
number = {5-6},
pages = {93--96},
year = {1991},
url = {https://doi.org/10.1002/malq.19910370505},
doi = {10.1002/MALQ.19910370505},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/Heindorf91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/HellaK91,
author = {Lauri Hella and
Michal Krynicki},
title = {Remarks on The Cartesian Closure},
journal = {Math. Log. Q.},
volume = {37},
number = {33-35},
pages = {539--545},
year = {1991},
url = {https://doi.org/10.1002/malq.19910373305},
doi = {10.1002/MALQ.19910373305},
timestamp = {Tue, 06 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/HellaK91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Hemmerling91,
author = {Armin Hemmerling},
title = {Pebble Automata in Labyrinths with Rotation Systems},
journal = {Math. Log. Q.},
volume = {37},
number = {26-30},
pages = {453--466},
year = {1991},
url = {https://doi.org/10.1002/malq.19910372606},
doi = {10.1002/MALQ.19910372606},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/Hemmerling91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Huckenbeck91,
author = {Ulrich Huckenbeck},
title = {Some Elementary Results About the Equivalence of Computability and
Decidability},
journal = {Math. Log. Q.},
volume = {37},
number = {5-6},
pages = {77--84},
year = {1991},
url = {https://doi.org/10.1002/malq.19910370503},
doi = {10.1002/MALQ.19910370503},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/Huckenbeck91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Huuskonen91,
author = {Taneli Huuskonen},
title = {The Construction of {A} Definable Non-Categorical Domain},
journal = {Math. Log. Q.},
volume = {37},
number = {13-16},
pages = {217--226},
year = {1991},
url = {https://doi.org/10.1002/malq.19910371305},
doi = {10.1002/MALQ.19910371305},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/Huuskonen91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Ille91,
author = {Pierre Ille},
title = {L'ensemble des Intervalles d'une Multirelation Binaire et Reflexive},
journal = {Math. Log. Q.},
volume = {37},
number = {13-16},
pages = {227--256},
year = {1991},
url = {https://doi.org/10.1002/malq.19910371306},
doi = {10.1002/MALQ.19910371306},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/Ille91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Insall91,
author = {Matt Insall},
title = {Nonstandard Methods and Finiteness Conditions in Algebra},
journal = {Math. Log. Q.},
volume = {37},
number = {33-35},
pages = {525--532},
year = {1991},
url = {https://doi.org/10.1002/malq.19910373303},
doi = {10.1002/MALQ.19910373303},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/Insall91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Kanai91,
author = {Yasuo Kanai},
title = {On {A} Variant of Weak Chang's Conjecture},
journal = {Math. Log. Q.},
volume = {37},
number = {19-22},
pages = {289--292},
year = {1991},
url = {https://doi.org/10.1002/malq.19910371902},
doi = {10.1002/MALQ.19910371902},
timestamp = {Sun, 22 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/Kanai91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Keremedis91,
author = {Kyriakos Keremedis},
title = {A Note on Shoenfield's Unramified Forcing},
journal = {Math. Log. Q.},
volume = {37},
number = {9-12},
pages = {183--186},
year = {1991},
url = {https://doi.org/10.1002/malq.19910370906},
doi = {10.1002/MALQ.19910370906},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/Keremedis91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Kontostathis91,
author = {Kyriakos Kontostathis},
title = {Topological Framework for Non-Priority},
journal = {Math. Log. Q.},
volume = {37},
number = {31-32},
pages = {495--500},
year = {1991},
url = {https://doi.org/10.1002/malq.19910373104},
doi = {10.1002/MALQ.19910373104},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/Kontostathis91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Kuper91,
author = {Jan Kuper},
title = {An Application of Non-Wellfounded Sets to the Foundations of Geometry},
journal = {Math. Log. Q.},
volume = {37},
number = {17},
pages = {257--264},
year = {1991},
url = {https://doi.org/10.1002/malq.19910371702},
doi = {10.1002/MALQ.19910371702},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/Kuper91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Kuzichev91,
author = {Andrei A. Kuzichev},
title = {Church-Rosser Property for Some Extensions of {\(\lambda\)}{\(\beta\)}-Reducibility
Relation},
journal = {Math. Log. Q.},
volume = {37},
number = {33-35},
pages = {547--559},
year = {1991},
url = {https://doi.org/10.1002/malq.19910373306},
doi = {10.1002/MALQ.19910373306},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/Kuzichev91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Lerman91,
author = {Manuel Lerman},
title = {Minimal Degrees and Recursively Inseparable Pairs of Recursively Enumerable
Sets},
journal = {Math. Log. Q.},
volume = {37},
number = {19-22},
pages = {331--342},
year = {1991},
url = {https://doi.org/10.1002/malq.19910371907},
doi = {10.1002/MALQ.19910371907},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/Lerman91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/LevitzNS91,
author = {Hilbert Levitz and
Warren D. Nichols and
Robert F. Smith},
title = {A Macro Program for the Primitive Recursive Functions},
journal = {Math. Log. Q.},
volume = {37},
number = {8},
pages = {121--124},
year = {1991},
url = {https://doi.org/10.1002/malq.19910370803},
doi = {10.1002/MALQ.19910370803},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/LevitzNS91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Luckhardt91,
author = {H. Luckhardt},
title = {Complexity Versus the Church-Rosser Property and Confluence},
journal = {Math. Log. Q.},
volume = {37},
number = {5-6},
pages = {85--92},
year = {1991},
url = {https://doi.org/10.1002/malq.19910370504},
doi = {10.1002/MALQ.19910370504},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/Luckhardt91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Morillon91,
author = {Marianne Morillon},
title = {Extreme Choices on Complete Lexicographic Orders},
journal = {Math. Log. Q.},
volume = {37},
number = {23-24},
pages = {353--355},
year = {1991},
url = {https://doi.org/10.1002/malq.19910372302},
doi = {10.1002/MALQ.19910372302},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/Morillon91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Murawski91,
author = {Roman Murawski},
title = {Some Properties of the Family of Expansions to Models of {A}},
journal = {Math. Log. Q.},
volume = {37},
number = {17},
pages = {265--272},
year = {1991},
url = {https://doi.org/10.1002/malq.19910371703},
doi = {10.1002/MALQ.19910371703},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/Murawski91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Nishimura91,
author = {Hirokazu Nishimura},
title = {Boolean Valued Dedekind Domains},
journal = {Math. Log. Q.},
volume = {37},
number = {5-6},
pages = {65--76},
year = {1991},
url = {https://doi.org/10.1002/malq.19910370502},
doi = {10.1002/MALQ.19910370502},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/Nishimura91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Nishimura91a,
author = {Hirokazu Nishimura},
title = {Some Boolean Valued Commutative Algebra},
journal = {Math. Log. Q.},
volume = {37},
number = {23-24},
pages = {367--384},
year = {1991},
url = {https://doi.org/10.1002/malq.19910372305},
doi = {10.1002/MALQ.19910372305},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/Nishimura91a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Nishimura91b,
author = {Hirokazu Nishimura},
title = {Foundations of Boolean Valued Algebraic Geometry},
journal = {Math. Log. Q.},
volume = {37},
number = {26-30},
pages = {421--438},
year = {1991},
url = {https://doi.org/10.1002/malq.19910372604},
doi = {10.1002/MALQ.19910372604},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/Nishimura91b.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Oberschelp91,
author = {Arnold Oberschelp},
title = {On Pairs and Tuples},
journal = {Math. Log. Q.},
volume = {37},
number = {2-4},
pages = {55--56},
year = {1991},
url = {https://doi.org/10.1002/malq.19910370207},
doi = {10.1002/MALQ.19910370207},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/Oberschelp91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Orlicki91,
author = {Andrzej Orlicki},
title = {Constructivity of Endofunctors on Categories of Partial Enumerated
Sets I. General Results},
journal = {Math. Log. Q.},
volume = {37},
number = {19-22},
pages = {307--316},
year = {1991},
url = {https://doi.org/10.1002/malq.19910371905},
doi = {10.1002/MALQ.19910371905},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/Orlicki91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Orlicki91a,
author = {Andrzej Orlicki},
title = {Constructivity of Endofunctors on Categories of Partial Enumerated
Sets {II.} Some Important Examples},
journal = {Math. Log. Q.},
volume = {37},
number = {26-30},
pages = {439--452},
year = {1991},
url = {https://doi.org/10.1002/malq.19910372605},
doi = {10.1002/MALQ.19910372605},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/Orlicki91a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/QueirozM91,
author = {Ruy J. G. B. de Queiroz and
T. S. E. Maibaum},
title = {Abstract Data Types and Type Theory: Theories as Types},
journal = {Math. Log. Q.},
volume = {37},
number = {9-12},
pages = {149--166},
year = {1991},
url = {https://doi.org/10.1002/malq.19910370904},
doi = {10.1002/MALQ.19910370904},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/QueirozM91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Rautenberg91,
author = {Wolfgang Rautenberg},
title = {Common Logic of 2-Valued Semigroup Connectives},
journal = {Math. Log. Q.},
volume = {37},
number = {9-12},
pages = {187--192},
year = {1991},
url = {https://doi.org/10.1002/malq.19910370907},
doi = {10.1002/MALQ.19910370907},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/Rautenberg91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Rodenburg91,
author = {Pieter Hendrik Rodenburg},
title = {The Expressive Force of Some Fragments of Intuitionistic Propositional
Logic with Regard to Kripke Frames},
journal = {Math. Log. Q.},
volume = {37},
number = {23-24},
pages = {357--362},
year = {1991},
url = {https://doi.org/10.1002/malq.19910372303},
doi = {10.1002/MALQ.19910372303},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/Rodenburg91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Sankappanavar91,
author = {Hanamantagouda P. Sankappanavar},
title = {Varieties of Demi-Pseudocomplemented Lattices},
journal = {Math. Log. Q.},
volume = {37},
number = {26-30},
pages = {411--420},
year = {1991},
url = {https://doi.org/10.1002/malq.19910372603},
doi = {10.1002/MALQ.19910372603},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/Sankappanavar91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Sankappanavar91a,
author = {Hanamantagouda P. Sankappanavar},
title = {Principal Congruences of Demi-Pseudocomplemented Ockham Algebras and
Applications},
journal = {Math. Log. Q.},
volume = {37},
number = {31-32},
pages = {489--494},
year = {1991},
url = {https://doi.org/10.1002/malq.19910373103},
doi = {10.1002/MALQ.19910373103},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/Sankappanavar91a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Schreiber91,
author = {Peter Schreiber},
title = {Generalized Construction Problems},
journal = {Math. Log. Q.},
volume = {37},
number = {2-4},
pages = {57--62},
year = {1991},
url = {https://doi.org/10.1002/malq.19910370208},
doi = {10.1002/MALQ.19910370208},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/Schreiber91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Shavrukov91,
author = {V. Yu. Shavrukov},
title = {On Rosser's Provability Predicate},
journal = {Math. Log. Q.},
volume = {37},
number = {19-22},
pages = {317--330},
year = {1991},
url = {https://doi.org/10.1002/malq.19910371906},
doi = {10.1002/MALQ.19910371906},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/Shavrukov91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Sikic91,
author = {Zvonimir Sikic},
title = {A Proof of the Characterization Theorem for Consequence Relations},
journal = {Math. Log. Q.},
volume = {37},
number = {2-4},
pages = {41--43},
year = {1991},
url = {https://doi.org/10.1002/malq.19910370205},
doi = {10.1002/MALQ.19910370205},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/Sikic91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Simms91,
author = {John C. Simms},
title = {Covering Hyperspace with Hypercurves},
journal = {Math. Log. Q.},
volume = {37},
number = {25},
pages = {393--400},
year = {1991},
url = {https://doi.org/10.1002/malq.19910372503},
doi = {10.1002/MALQ.19910372503},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/Simms91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Sorbi91,
author = {Andrea Sorbi},
title = {Some Quotient Lattices of the Medvedev Lattice},
journal = {Math. Log. Q.},
volume = {37},
number = {9-12},
pages = {167--182},
year = {1991},
url = {https://doi.org/10.1002/malq.19910370905},
doi = {10.1002/MALQ.19910370905},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/Sorbi91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Soskov91,
author = {Ivan N. Soskov},
title = {Second Order Definability Via enumerations},
journal = {Math. Log. Q.},
volume = {37},
number = {2-4},
pages = {45--54},
year = {1991},
url = {https://doi.org/10.1002/malq.19910370206},
doi = {10.1002/MALQ.19910370206},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/Soskov91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Takano91,
author = {Mitio Takano},
title = {Syntactical Proof of Translation and Separation Theorems on Subsystems
of Elementary Ontology},
journal = {Math. Log. Q.},
volume = {37},
number = {9-12},
pages = {129--138},
year = {1991},
url = {https://doi.org/10.1002/malq.19910370902},
doi = {10.1002/MALQ.19910370902},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/Takano91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Tanka91,
author = {Kazuyuki Tanka},
title = {A Note on the Proof Method for Constructive Falsity},
journal = {Math. Log. Q.},
volume = {37},
number = {2-4},
pages = {63--64},
year = {1991},
url = {https://doi.org/10.1002/malq.19910370209},
doi = {10.1002/MALQ.19910370209},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/Tanka91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Toffalori91,
author = {Carlo Toffalori},
title = {Simple Pairs of Equivalence Relations},
journal = {Math. Log. Q.},
volume = {37},
number = {26-30},
pages = {401--410},
year = {1991},
url = {https://doi.org/10.1002/malq.19910372602},
doi = {10.1002/MALQ.19910372602},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/Toffalori91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Turunen91,
author = {Esko Turunen},
title = {A Note on Pavelka's Fuzzy Logic},
journal = {Math. Log. Q.},
volume = {37},
number = {2-4},
pages = {39--40},
year = {1991},
url = {https://doi.org/10.1002/malq.19910370204},
doi = {10.1002/MALQ.19910370204},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/Turunen91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Tzouvaras91,
author = {Athanassios Tzouvaras},
title = {A Note on Real Subsets of {A} Recursively Saturated Model},
journal = {Math. Log. Q.},
volume = {37},
number = {13-16},
pages = {207--216},
year = {1991},
url = {https://doi.org/10.1002/malq.19910371304},
doi = {10.1002/MALQ.19910371304},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/Tzouvaras91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Vakil91,
author = {Nader Vakil},
title = {Representation of Nonstandard Hulls in {IST} for Certain Uniform Spaces},
journal = {Math. Log. Q.},
volume = {37},
number = {13-16},
pages = {201--205},
year = {1991},
url = {https://doi.org/10.1002/malq.19910371303},
doi = {10.1002/MALQ.19910371303},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/Vakil91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Ying91,
author = {Mingsheng Ying},
title = {Deduction Theorem for Many-Valued Inference},
journal = {Math. Log. Q.},
volume = {37},
number = {33-35},
pages = {533--537},
year = {1991},
url = {https://doi.org/10.1002/malq.19910373304},
doi = {10.1002/MALQ.19910373304},
timestamp = {Tue, 06 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/Ying91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Ykotota91,
author = {Shin'ichi Ykotota},
title = {Axiomatization of the First-Order Intermediate Logics of Bounded Kripkean
Heights {II}},
journal = {Math. Log. Q.},
volume = {37},
number = {2-4},
pages = {17--26},
year = {1991},
url = {https://doi.org/10.1002/malq.19910370202},
doi = {10.1002/MALQ.19910370202},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/Ykotota91.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-01 11:25 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:
