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/mlq36.bht:"
download as .bib file
@article{DBLP:journals/mlq/Abrusci90,
author = {V. Michele Abrusci},
title = {A comparison between lambek syntactic calculus and intuitionistic
linear propositional logic},
journal = {Math. Log. Q.},
volume = {36},
number = {1},
pages = {11--15},
year = {1990},
url = {https://doi.org/10.1002/malq.19900360103},
doi = {10.1002/MALQ.19900360103},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/Abrusci90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Abrusci90a,
author = {V. Michele Abrusci},
title = {Non-commutative intuitionistic linear logic},
journal = {Math. Log. Q.},
volume = {36},
number = {4},
pages = {297--318},
year = {1990},
url = {https://doi.org/10.1002/malq.19900360405},
doi = {10.1002/MALQ.19900360405},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/Abrusci90a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Bertossi90,
author = {Leopoldo E. Bertossi},
title = {The formal language L\({}_{\mbox{t}}\) and topological products},
journal = {Math. Log. Q.},
volume = {36},
number = {2},
pages = {89--94},
year = {1990},
url = {https://doi.org/10.1002/malq.19900360202},
doi = {10.1002/MALQ.19900360202},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/Bertossi90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Busneag90,
author = {Dumitru Busneag},
title = {{\(f\)}-Multipliers and the localization of hilbert algebras},
journal = {Math. Log. Q.},
volume = {36},
number = {4},
pages = {331--338},
year = {1990},
url = {https://doi.org/10.1002/malq.19900360407},
doi = {10.1002/MALQ.19900360407},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/Busneag90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/CaludeS90,
author = {Cristian Calude and
Lila Santean},
title = {On a theorem of G{\"{u}}nter Asser},
journal = {Math. Log. Q.},
volume = {36},
number = {2},
pages = {143--147},
year = {1990},
url = {https://doi.org/10.1002/malq.19900360207},
doi = {10.1002/MALQ.19900360207},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/CaludeS90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/CarboneM90,
author = {Alessandra Carbone and
Franco Montagna},
title = {Much shorter proofs: {A} bimodal investigation},
journal = {Math. Log. Q.},
volume = {36},
number = {1},
pages = {47--66},
year = {1990},
url = {https://doi.org/10.1002/malq.19900360107},
doi = {10.1002/MALQ.19900360107},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/mlq/CarboneM90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Clivio90,
author = {A. Clivio},
title = {Algorithmic aspects of Z[x\({}_{\mbox{1}}\), ..., x\({}_{\mbox{n}}\)]
with applications to tiling problems},
journal = {Math. Log. Q.},
volume = {36},
number = {6},
pages = {493--515},
year = {1990},
url = {https://doi.org/10.1002/malq.19900360603},
doi = {10.1002/MALQ.19900360603},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/Clivio90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Deutsch90,
author = {Michael Deutsch},
title = {Eine Bemerkung zu spektralen Darstellungen von {\(\varrho\)}-stelligen
aufz{\"{a}}hlbaren und koaufz{\"{a}}hlbaren Pr{\"{a}}dikaten
durch Ausdr{\"{u}}cke aus {\(\exists\)}{\(\forall\)}{\(\exists\)}\({}^{\mbox{{\(\infty\)}}}\)
und {\(\forall\)}{\(\exists\)}\({}^{\mbox{2}}\){\(\forall\)}({\(\infty\)},
1)},
journal = {Math. Log. Q.},
volume = {36},
number = {2},
pages = {163--184},
year = {1990},
url = {https://doi.org/10.1002/malq.19900360209},
doi = {10.1002/MALQ.19900360209},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/Deutsch90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Deutsch90a,
author = {Michael Deutsch},
title = {Weitere Versch{\"{a}}rfungen zu den Reduktionstypen {\(\forall\)}{\(\exists\)}\({}^{\mbox{{\(\infty\)}}}\){\(\forall\)}(0,
1), {\(\exists\)}\({}^{\mbox{{\(\infty\)}}}\){\(\forall\)}\({}^{\mbox{3}}\){\(\exists\)}({\(\infty\)},
1)},
journal = {Math. Log. Q.},
volume = {36},
number = {4},
pages = {339--355},
year = {1990},
url = {https://doi.org/10.1002/malq.19900360408},
doi = {10.1002/MALQ.19900360408},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/Deutsch90a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Ditchev90,
author = {Angel V. Ditchev},
title = {Some results on bounded truth-table degrees},
journal = {Math. Log. Q.},
volume = {36},
number = {3},
pages = {263--271},
year = {1990},
url = {https://doi.org/10.1002/malq.19900360311},
doi = {10.1002/MALQ.19900360311},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/Ditchev90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Doorman90,
author = {L. M. Doorman},
title = {A note on the existence property for intuitionistic logic with function
symbols},
journal = {Math. Log. Q.},
volume = {36},
number = {1},
pages = {17--21},
year = {1990},
url = {https://doi.org/10.1002/malq.19900360104},
doi = {10.1002/MALQ.19900360104},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/Doorman90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Edwald90,
author = {Tryggvi Edwald},
title = {The t-variable method in gentzen-style automatic theorem proving},
journal = {Math. Log. Q.},
volume = {36},
number = {3},
pages = {253--261},
year = {1990},
url = {https://doi.org/10.1002/malq.19900360310},
doi = {10.1002/MALQ.19900360310},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/Edwald90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/FontR90,
author = {Josep Maria Font and
Gonzalo Rodr{\'{\i}}guez},
title = {Note on algebraic models for relevance logic},
journal = {Math. Log. Q.},
volume = {36},
number = {6},
pages = {535--540},
year = {1990},
url = {https://doi.org/10.1002/malq.19900360606},
doi = {10.1002/MALQ.19900360606},
timestamp = {Tue, 06 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/FontR90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Forster90,
author = {Thomas Forster},
title = {Permutations and stratified formulae a preservation theorem},
journal = {Math. Log. Q.},
volume = {36},
number = {5},
pages = {385--388},
year = {1990},
url = {https://doi.org/10.1002/malq.19900360504},
doi = {10.1002/MALQ.19900360504},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/Forster90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/GehrkeIK90,
author = {Mai Gehrke and
Matt Insall and
Klaus Kaiser},
title = {Some nonstandard methods applied to distributive lattices},
journal = {Math. Log. Q.},
volume = {36},
number = {2},
pages = {123--131},
year = {1990},
url = {https://doi.org/10.1002/malq.19900360205},
doi = {10.1002/MALQ.19900360205},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/GehrkeIK90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/GerlaT90,
author = {Giangiacomo Gerla and
Roberto Tortora},
title = {Fuzzy natural deduction},
journal = {Math. Log. Q.},
volume = {36},
number = {1},
pages = {67--77},
year = {1990},
url = {https://doi.org/10.1002/malq.19900360108},
doi = {10.1002/MALQ.19900360108},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/GerlaT90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/GhilardiM90,
author = {Silvio Ghilardi and
Giancarlo Meloni},
title = {Modal logics with \emph{n}-ary connectives},
journal = {Math. Log. Q.},
volume = {36},
number = {3},
pages = {193--215},
year = {1990},
url = {https://doi.org/10.1002/malq.19900360303},
doi = {10.1002/MALQ.19900360303},
timestamp = {Fri, 30 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/mlq/GhilardiM90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Gonzalez90,
author = {Carlos G. Gonz{\'{a}}lez},
title = {The union axiom in zermelo set theory},
journal = {Math. Log. Q.},
volume = {36},
number = {4},
pages = {281--284},
year = {1990},
url = {https://doi.org/10.1002/malq.19900360402},
doi = {10.1002/MALQ.19900360402},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/Gonzalez90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Hebert90,
author = {Michel H{\'{e}}bert},
title = {Corrections to "preservation and interpolation through binary relations
between theories"},
journal = {Math. Log. Q.},
volume = {36},
number = {6},
pages = {573},
year = {1990},
url = {https://doi.org/10.1002/malq.19900360609},
doi = {10.1002/MALQ.19900360609},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/Hebert90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Hinnion90,
author = {Roland Hinnion},
title = {Stratified and positive comprehension seen as superclass rules over
ordinary set theory},
journal = {Math. Log. Q.},
volume = {36},
number = {6},
pages = {519--534},
year = {1990},
url = {https://doi.org/10.1002/malq.19900360605},
doi = {10.1002/MALQ.19900360605},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/Hinnion90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Ille90,
author = {Pierre Ille},
title = {Cloture intervallaire et extension logique d'une relation},
journal = {Math. Log. Q.},
volume = {36},
number = {3},
pages = {217--227},
year = {1990},
url = {https://doi.org/10.1002/malq.19900360304},
doi = {10.1002/MALQ.19900360304},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/Ille90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/IngrassiaL90,
author = {Michael A. Ingrassia and
Steffen Lempp},
title = {Jumps of nontrivial splittings of recursively enumerable sets},
journal = {Math. Log. Q.},
volume = {36},
number = {4},
pages = {285--292},
year = {1990},
url = {https://doi.org/10.1002/malq.19900360403},
doi = {10.1002/MALQ.19900360403},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/IngrassiaL90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Ishihara90,
author = {Hajime Ishihara},
title = {An omniscience principle, the K{\"{o}}nig Lemma and the Hahn-Banach
theorem},
journal = {Math. Log. Q.},
volume = {36},
number = {3},
pages = {237--240},
year = {1990},
url = {https://doi.org/10.1002/malq.19900360307},
doi = {10.1002/MALQ.19900360307},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/Ishihara90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/KadotaA90,
author = {Noriya Kadota and
Kiwamu Aoyama},
title = {Some extensions of built-upness on systems of fundamental sequences},
journal = {Math. Log. Q.},
volume = {36},
number = {4},
pages = {357--364},
year = {1990},
url = {https://doi.org/10.1002/malq.19900360409},
doi = {10.1002/MALQ.19900360409},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/KadotaA90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/KanamoriA90,
author = {Akihiro Kanamori and
Tamara Awerbuch{-}Friedlander},
title = {The compleat 0{\textdagger}},
journal = {Math. Log. Q.},
volume = {36},
number = {2},
pages = {133--141},
year = {1990},
url = {https://doi.org/10.1002/malq.19900360206},
doi = {10.1002/MALQ.19900360206},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/KanamoriA90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Khalifa90,
author = {Ahmed K. Khalifa},
title = {A constructive version of Sperner's lemma and Brouwer's fixed point
theorem},
journal = {Math. Log. Q.},
volume = {36},
number = {3},
pages = {247--251},
year = {1990},
url = {https://doi.org/10.1002/malq.19900360309},
doi = {10.1002/MALQ.19900360309},
timestamp = {Wed, 20 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/Khalifa90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/KotlarskiR90,
author = {Henryk Kotlarski and
Zygmunt Ratajczyk},
title = {More on induction in the language with a satisfaction class},
journal = {Math. Log. Q.},
volume = {36},
number = {5},
pages = {441--454},
year = {1990},
url = {https://doi.org/10.1002/malq.19900360509},
doi = {10.1002/MALQ.19900360509},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/KotlarskiR90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/KrajicekP90,
author = {Jan Kraj{\'{\i}}cek and
Pavel Pudl{\'{a}}k},
title = {Quantified propositional calculi and fragments of bounded arithmetic},
journal = {Math. Log. Q.},
volume = {36},
number = {1},
pages = {29--46},
year = {1990},
url = {https://doi.org/10.1002/malq.19900360106},
doi = {10.1002/MALQ.19900360106},
timestamp = {Tue, 01 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/KrajicekP90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/KrawczykS90,
author = {Adam Krawczyk and
Marian Srebrny},
title = {Measurability and the baire property at higher levels},
journal = {Math. Log. Q.},
volume = {36},
number = {5},
pages = {377--380},
year = {1990},
url = {https://doi.org/10.1002/malq.19900360502},
doi = {10.1002/MALQ.19900360502},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/KrawczykS90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Krynicki90,
author = {Michal Krynicki},
title = {Quantifiers determined by partial orderings},
journal = {Math. Log. Q.},
volume = {36},
number = {1},
pages = {79--86},
year = {1990},
url = {https://doi.org/10.1002/malq.19900360109},
doi = {10.1002/MALQ.19900360109},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/Krynicki90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Negri90,
author = {Maurizio Negri},
title = {Fixed points and diagonal method},
journal = {Math. Log. Q.},
volume = {36},
number = {4},
pages = {319--329},
year = {1990},
url = {https://doi.org/10.1002/malq.19900360406},
doi = {10.1002/MALQ.19900360406},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/Negri90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Nishimura90,
author = {Hirokazu Nishimura},
title = {On the absoluteness of types in boolean valued lattices},
journal = {Math. Log. Q.},
volume = {36},
number = {3},
pages = {241--246},
year = {1990},
url = {https://doi.org/10.1002/malq.19900360308},
doi = {10.1002/MALQ.19900360308},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/Nishimura90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Nishimura90a,
author = {Hirokazu Nishimura},
title = {Some connections between boolean valued analysis and topological reduction
theory for C\({}^{\mbox{*}}\)-algebras},
journal = {Math. Log. Q.},
volume = {36},
number = {5},
pages = {471--479},
year = {1990},
url = {https://doi.org/10.1002/malq.19900360511},
doi = {10.1002/MALQ.19900360511},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/Nishimura90a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Orlicki90,
author = {Andrzej Orlicki},
title = {Some remarks on {\(\omega\)}-powers of enumerated sets and their applications
to {\(\omega\)}-operations},
journal = {Math. Log. Q.},
volume = {36},
number = {2},
pages = {149--161},
year = {1990},
url = {https://doi.org/10.1002/malq.19900360208},
doi = {10.1002/MALQ.19900360208},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/Orlicki90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Orlicki90a,
author = {Andrzej Orlicki},
title = {On some categories of partial enumerated sets},
journal = {Math. Log. Q.},
volume = {36},
number = {6},
pages = {541--560},
year = {1990},
url = {https://doi.org/10.1002/malq.19900360607},
doi = {10.1002/MALQ.19900360607},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/Orlicki90a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Ostermann90,
author = {Pascal Ostermann},
title = {Many-valued modal logics: Uses and predicate calculus},
journal = {Math. Log. Q.},
volume = {36},
number = {4},
pages = {367--376},
year = {1990},
url = {https://doi.org/10.1002/malq.19900360411},
doi = {10.1002/MALQ.19900360411},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/Ostermann90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Pfeiffer90,
author = {Helmut Pfeiffer},
title = {A theorem on labelled trees and the limits of its provability},
journal = {Math. Log. Q.},
volume = {36},
number = {2},
pages = {107--122},
year = {1990},
url = {https://doi.org/10.1002/malq.19900360204},
doi = {10.1002/MALQ.19900360204},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/Pfeiffer90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Plattner90,
author = {August Plattner},
title = {Zusammenhang zwischen der Theorie \emph{F} der Faktorenimplikation
und der Theorie der Zylinderalgebren, Reduktion der Vollst{\"{a}}ndigkeit
der Axiome von \emph{F}},
journal = {Math. Log. Q.},
volume = {36},
number = {6},
pages = {561--572},
year = {1990},
url = {https://doi.org/10.1002/malq.19900360608},
doi = {10.1002/MALQ.19900360608},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/Plattner90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/PriscoFH90,
author = {Carlos A. Di Prisco and
M. Fuller and
James M. Henle},
title = {The normal depth of filters on an infinite cardinal},
journal = {Math. Log. Q.},
volume = {36},
number = {4},
pages = {293--296},
year = {1990},
url = {https://doi.org/10.1002/malq.19900360404},
doi = {10.1002/MALQ.19900360404},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/PriscoFH90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/QueirozM90,
author = {Ruy J. G. B. de Queiroz and
T. S. E. Maibaum},
title = {Proof theory and computer programming},
journal = {Math. Log. Q.},
volume = {36},
number = {5},
pages = {389--414},
year = {1990},
url = {https://doi.org/10.1002/malq.19900360505},
doi = {10.1002/MALQ.19900360505},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/QueirozM90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Romano90,
author = {Daniel Abraham Romano},
title = {A theorem on cocongruence of rings},
journal = {Math. Log. Q.},
volume = {36},
number = {1},
pages = {87--88},
year = {1990},
url = {https://doi.org/10.1002/malq.19900360110},
doi = {10.1002/MALQ.19900360110},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/Romano90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Roy90,
author = {Dev Kumar Roy},
title = {Effective extensions of partial orders},
journal = {Math. Log. Q.},
volume = {36},
number = {3},
pages = {233--236},
year = {1990},
url = {https://doi.org/10.1002/malq.19900360306},
doi = {10.1002/MALQ.19900360306},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/Roy90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Sachwanowicz90,
author = {Wojciech Sachwanowicz},
title = {A note on complete partitions in boolean algebras},
journal = {Math. Log. Q.},
volume = {36},
number = {3},
pages = {229--232},
year = {1990},
url = {https://doi.org/10.1002/malq.19900360305},
doi = {10.1002/MALQ.19900360305},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/Sachwanowicz90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Sachwanowicz90a,
author = {Wojcech Sachwanowicz},
title = {Boolean powers over incomplete boolean algebras},
journal = {Math. Log. Q.},
volume = {36},
number = {5},
pages = {431--440},
year = {1990},
url = {https://doi.org/10.1002/malq.19900360508},
doi = {10.1002/MALQ.19900360508},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/Sachwanowicz90a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Schatz90,
author = {R{\"{u}}diger Sch{\"{a}}tz},
title = {Formalizing falsification: Three delete operations},
journal = {Math. Log. Q.},
volume = {36},
number = {5},
pages = {455--470},
year = {1990},
url = {https://doi.org/10.1002/malq.19900360510},
doi = {10.1002/MALQ.19900360510},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/Schatz90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Schumm90,
author = {George F. Schumm},
title = {The number of \{{\(\square\)}, {\(\rightarrow\)}\}-logics},
journal = {Math. Log. Q.},
volume = {36},
number = {6},
pages = {517--518},
year = {1990},
url = {https://doi.org/10.1002/malq.19900360604},
doi = {10.1002/MALQ.19900360604},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/Schumm90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Sikic90,
author = {Zvonimir Sikic},
title = {Premiss tree proofs and logic of contradiction},
journal = {Math. Log. Q.},
volume = {36},
number = {3},
pages = {273--280},
year = {1990},
url = {https://doi.org/10.1002/malq.19900360312},
doi = {10.1002/MALQ.19900360312},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/Sikic90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Solomon90,
author = {Martin K. Solomon},
title = {Relativized G{\"{o}}del speed-up and the degree of succinctness
of representations},
journal = {Math. Log. Q.},
volume = {36},
number = {3},
pages = {185--192},
year = {1990},
url = {https://doi.org/10.1002/malq.19900360302},
doi = {10.1002/MALQ.19900360302},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/Solomon90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Stepien90,
author = {Teodor Stepien},
title = {Minimal systems},
journal = {Math. Log. Q.},
volume = {36},
number = {5},
pages = {423--430},
year = {1990},
url = {https://doi.org/10.1002/malq.19900360507},
doi = {10.1002/MALQ.19900360507},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/Stepien90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Suzuki90,
author = {Nobu{-}Yuki Suzuki},
title = {An extension of ono's completeness result},
journal = {Math. Log. Q.},
volume = {36},
number = {4},
pages = {365--366},
year = {1990},
url = {https://doi.org/10.1002/malq.19900360410},
doi = {10.1002/MALQ.19900360410},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/Suzuki90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Szwast90,
author = {Wieslaw Szwast},
title = {On the generator problem},
journal = {Math. Log. Q.},
volume = {36},
number = {1},
pages = {23--27},
year = {1990},
url = {https://doi.org/10.1002/malq.19900360105},
doi = {10.1002/MALQ.19900360105},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/Szwast90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Taghva90,
author = {Kazem Taghva},
title = {Model completeness and direct power},
journal = {Math. Log. Q.},
volume = {36},
number = {1},
pages = {3--9},
year = {1990},
url = {https://doi.org/10.1002/malq.19900360102},
doi = {10.1002/MALQ.19900360102},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/Taghva90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Tanaka90,
author = {Kazuyuki Tanaka},
title = {Weak axioms of determinacy and subsystems of analysis {I:} {\(\delta\)}},
journal = {Math. Log. Q.},
volume = {36},
number = {6},
pages = {481--491},
year = {1990},
url = {https://doi.org/10.1002/malq.19900360602},
doi = {10.1002/MALQ.19900360602},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/Tanaka90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Urbas90,
author = {Igor Urbas},
title = {On subsystems of the system J\({}_{\mbox{1}}\) of Arruda and Da Costa},
journal = {Math. Log. Q.},
volume = {36},
number = {2},
pages = {95--106},
year = {1990},
url = {https://doi.org/10.1002/malq.19900360203},
doi = {10.1002/MALQ.19900360203},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/Urbas90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/WeaverTL90,
author = {George Weaver and
Michael Thau and
Hugues Leblanc},
title = {Extending {\(\omega\)}-consistent sets to maximally consistent, {\(\omega\)}-complete
sets},
journal = {Math. Log. Q.},
volume = {36},
number = {5},
pages = {381--383},
year = {1990},
url = {https://doi.org/10.1002/malq.19900360503},
doi = {10.1002/MALQ.19900360503},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/WeaverTL90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Zbrzezny90,
author = {Andrzej Zbrzezny},
title = {The hilbert type axiomatization of some three-valued propositional
logic},
journal = {Math. Log. Q.},
volume = {36},
number = {5},
pages = {415--421},
year = {1990},
url = {https://doi.org/10.1002/malq.19900360506},
doi = {10.1002/MALQ.19900360506},
timestamp = {Wed, 14 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/Zbrzezny90.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-07-07 22:30 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:
