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/mlq39.bht:"
download as .bib file
@article{DBLP:journals/mlq/Bell93,
author = {John L. Bell},
title = {Hilbert's {\unicode{1013}}-Operator in Intuitionistic Type Theories},
journal = {Math. Log. Q.},
volume = {39},
pages = {323--337},
year = {1993},
url = {https://doi.org/10.1002/malq.19930390137},
doi = {10.1002/MALQ.19930390137},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/Bell93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Bridges93,
author = {Douglas S. Bridges},
title = {Sequential, Pointwise, and Uniform Continuity: {A} Constructive Note},
journal = {Math. Log. Q.},
volume = {39},
pages = {55--61},
year = {1993},
url = {https://doi.org/10.1002/malq.19930390108},
doi = {10.1002/MALQ.19930390108},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/Bridges93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Bridges93a,
author = {Douglas S. Bridges},
title = {Constructive Notions of Strict Convexity},
journal = {Math. Log. Q.},
volume = {39},
pages = {295--300},
year = {1993},
url = {https://doi.org/10.1002/malq.19930390135},
doi = {10.1002/MALQ.19930390135},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/Bridges93a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Brochet93,
author = {J.{-}M. Brochet},
title = {The Finite Cutset Property},
journal = {Math. Log. Q.},
volume = {39},
pages = {158--164},
year = {1993},
url = {https://doi.org/10.1002/malq.19930390118},
doi = {10.1002/MALQ.19930390118},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/Brochet93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Cerrato93,
author = {Claudio Cerrato},
title = {Modal Sequents for Normal Modal Logics},
journal = {Math. Log. Q.},
volume = {39},
pages = {231--240},
year = {1993},
url = {https://doi.org/10.1002/malq.19930390127},
doi = {10.1002/MALQ.19930390127},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/Cerrato93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Dekker93,
author = {Jacob C. E. Dekker},
title = {Isols and Maximal Intersecting Classes},
journal = {Math. Log. Q.},
volume = {39},
pages = {67--78},
year = {1993},
url = {https://doi.org/10.1002/malq.19930390110},
doi = {10.1002/MALQ.19930390110},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/Dekker93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Diener93,
author = {Karl{-}Heinz Diener},
title = {On the Predecessor Relation in Abstract Algebras},
journal = {Math. Log. Q.},
volume = {39},
pages = {492--514},
year = {1993},
url = {https://doi.org/10.1002/malq.19930390152},
doi = {10.1002/MALQ.19930390152},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/Diener93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Dordevic93,
author = {Radosav S. Dordevic},
title = {Analytic Completeness Theorem for Singular Biprobability Models},
journal = {Math. Log. Q.},
volume = {39},
pages = {228--230},
year = {1993},
url = {https://doi.org/10.1002/malq.19930390126},
doi = {10.1002/MALQ.19930390126},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/Dordevic93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Dowd93,
author = {Martin Dowd},
title = {Remarks on Levy's Reflection Axiom},
journal = {Math. Log. Q.},
volume = {39},
pages = {79--95},
year = {1993},
url = {https://doi.org/10.1002/malq.19930390111},
doi = {10.1002/MALQ.19930390111},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/Dowd93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Dowd93a,
author = {Martin Dowd},
title = {Higher Type Categories},
journal = {Math. Log. Q.},
volume = {39},
pages = {251--254},
year = {1993},
url = {https://doi.org/10.1002/malq.19930390129},
doi = {10.1002/MALQ.19930390129},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/Dowd93a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Dzierzgowski93,
author = {Daniel Dzierzgowski},
title = {Typical Ambiguity and Elementary Equivalence},
journal = {Math. Log. Q.},
volume = {39},
pages = {436--446},
year = {1993},
url = {https://doi.org/10.1002/malq.19930390147},
doi = {10.1002/MALQ.19930390147},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/Dzierzgowski93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/FerroB93,
author = {Ruggero Ferro and
Stefano Baratella},
title = {A Theory of Sets with the Negation of the Axiom of Inflnity},
journal = {Math. Log. Q.},
volume = {39},
pages = {338--352},
year = {1993},
url = {https://doi.org/10.1002/malq.19930390138},
doi = {10.1002/MALQ.19930390138},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/FerroB93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Fleischer93,
author = {Isidore Fleischer},
title = {Completeness of the Infinitary Polyadic Axiomatization},
journal = {Math. Log. Q.},
volume = {39},
pages = {197--200},
year = {1993},
url = {https://doi.org/10.1002/malq.19930390122},
doi = {10.1002/MALQ.19930390122},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/Fleischer93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Hirst93,
author = {Jeffry L. Hirst},
title = {Derived Sequences and Reverse Mathematics},
journal = {Math. Log. Q.},
volume = {39},
pages = {447--453},
year = {1993},
url = {https://doi.org/10.1002/malq.19930390148},
doi = {10.1002/MALQ.19930390148},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/Hirst93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Howard93,
author = {Paul E. Howard},
title = {Variations of Rado's Lemma},
journal = {Math. Log. Q.},
volume = {39},
pages = {353--356},
year = {1993},
url = {https://doi.org/10.1002/malq.19930390139},
doi = {10.1002/MALQ.19930390139},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/Howard93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Intrigila93,
author = {Benedetto Intrigila},
title = {The Basic Decision Problem in lambda-Calculus},
journal = {Math. Log. Q.},
volume = {39},
pages = {178--180},
year = {1993},
url = {https://doi.org/10.1002/malq.19930390120},
doi = {10.1002/MALQ.19930390120},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/Intrigila93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Kadota93,
author = {Noriya Kadota},
title = {On Wainer's Notation for a Minimal Subrecursive Inaccessible Ordinal},
journal = {Math. Log. Q.},
volume = {39},
pages = {217--227},
year = {1993},
url = {https://doi.org/10.1002/malq.19930390125},
doi = {10.1002/MALQ.19930390125},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/Kadota93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Kandulski93,
author = {Maciej Kandulski},
title = {Normal Form of Derivations in the Nonassociative and Commutative Lambek
Calculus with Product},
journal = {Math. Log. Q.},
volume = {39},
pages = {103--114},
year = {1993},
url = {https://doi.org/10.1002/malq.19930390113},
doi = {10.1002/MALQ.19930390113},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/Kandulski93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Keremedis93,
author = {Kyriakos Keremedis},
title = {Partition Reals and the Consistency of t {\textgreater} add(R)},
journal = {Math. Log. Q.},
volume = {39},
pages = {545--550},
year = {1993},
url = {https://doi.org/10.1002/malq.19930390156},
doi = {10.1002/MALQ.19930390156},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/Keremedis93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Kracht93,
author = {Marcus Kracht},
title = {Prefinitely Axiomatizable Modal and Intermediate Logics},
journal = {Math. Log. Q.},
volume = {39},
pages = {301--322},
year = {1993},
url = {https://doi.org/10.1002/malq.19930390136},
doi = {10.1002/MALQ.19930390136},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/Kracht93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Krynicki93,
author = {Michal Krynicki},
title = {Hierarchies of Partially Ordered Connectives and Quantifiers},
journal = {Math. Log. Q.},
volume = {39},
pages = {287--294},
year = {1993},
url = {https://doi.org/10.1002/malq.19930390134},
doi = {10.1002/MALQ.19930390134},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/Krynicki93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/LemppDS93,
author = {Steffen Lempp and
Rodney G. Downey and
Richard A. Shore},
title = {Highness and Bounding Minimal Pairs},
journal = {Math. Log. Q.},
volume = {39},
pages = {475--491},
year = {1993},
url = {https://doi.org/10.1002/malq.19930390151},
doi = {10.1002/MALQ.19930390151},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/LemppDS93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Lismont93,
author = {Luc Lismont},
title = {La connaissance commune en logique modale},
journal = {Math. Log. Q.},
volume = {39},
pages = {115--130},
year = {1993},
url = {https://doi.org/10.1002/malq.19930390114},
doi = {10.1002/MALQ.19930390114},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/Lismont93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Maddux93,
author = {Roger D. Maddux},
title = {Finitary Algebraic Logic {II}},
journal = {Math. Log. Q.},
volume = {39},
pages = {566--569},
year = {1993},
url = {https://doi.org/10.1002/malq.19930390159},
doi = {10.1002/MALQ.19930390159},
timestamp = {Thu, 23 Sep 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/Maddux93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Mandelkern93,
author = {Mark A. Mandelkern},
title = {Open Subspaces of Locally Compact Metric Spaces},
journal = {Math. Log. Q.},
volume = {39},
pages = {213--216},
year = {1993},
url = {https://doi.org/10.1002/malq.19930390124},
doi = {10.1002/MALQ.19930390124},
timestamp = {Thu, 29 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/mlq/Mandelkern93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Mandelkern93a,
author = {Mark A. Mandelkern},
title = {Finitary Sequence Spaces},
journal = {Math. Log. Q.},
volume = {39},
pages = {416--430},
year = {1993},
url = {https://doi.org/10.1002/malq.19930390145},
doi = {10.1002/MALQ.19930390145},
timestamp = {Thu, 29 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/mlq/Mandelkern93a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Mares93,
author = {Edwin D. Mares},
title = {Classically Complete Modal Relevant Logics},
journal = {Math. Log. Q.},
volume = {39},
pages = {165--177},
year = {1993},
url = {https://doi.org/10.1002/malq.19930390119},
doi = {10.1002/MALQ.19930390119},
timestamp = {Fri, 30 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/mlq/Mares93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Markovic93,
author = {Zoran Markovic},
title = {On the Structure of Kripke Models of Heyting Arithmetic},
journal = {Math. Log. Q.},
volume = {39},
pages = {531--538},
year = {1993},
url = {https://doi.org/10.1002/malq.19930390154},
doi = {10.1002/MALQ.19930390154},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/Markovic93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/McLaughlin93,
author = {Thomas G. McLaughlin},
title = {A Note on Effective Ultrapowers: Uniform Failure of Bounded Collection},
journal = {Math. Log. Q.},
volume = {39},
pages = {431--435},
year = {1993},
url = {https://doi.org/10.1002/malq.19930390146},
doi = {10.1002/MALQ.19930390146},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/McLaughlin93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Nishimura93,
author = {Hirokazu Nishimura},
title = {On a Duality Between Boolean Valued Analysis and Topological Reduction
Theory},
journal = {Math. Log. Q.},
volume = {39},
pages = {23--32},
year = {1993},
url = {https://doi.org/10.1002/malq.19930390105},
doi = {10.1002/MALQ.19930390105},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/Nishimura93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Nishimura93a,
author = {Hirokazu Nishimura},
title = {A Boolean Transfer Principle from L\({}^{\mbox{*}}\)-Algebras to AL\({}^{\mbox{*}}\)-Algebras},
journal = {Math. Log. Q.},
volume = {39},
pages = {241--250},
year = {1993},
url = {https://doi.org/10.1002/malq.19930390128},
doi = {10.1002/MALQ.19930390128},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/Nishimura93a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Orlicki93,
author = {Andrzej Orlicki},
title = {Computable Limits and Colimits in Categories of Partial Enumerated
Sets},
journal = {Math. Log. Q.},
volume = {39},
pages = {181--196},
year = {1993},
url = {https://doi.org/10.1002/malq.19930390121},
doi = {10.1002/MALQ.19930390121},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/Orlicki93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Orlicki93a,
author = {Andrzej Orlicki},
title = {{\(\omega\)}-Operations over Partial Enumerated Sets},
journal = {Math. Log. Q.},
volume = {39},
pages = {551--558},
year = {1993},
url = {https://doi.org/10.1002/malq.19930390157},
doi = {10.1002/MALQ.19930390157},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/Orlicki93a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/OttoCM93,
author = {Friedrich Otto and
Daniel E. Cohen and
Klaus Madlener},
title = {Separating the Intrinsic Complexity and the Derivational complexity
of the Word Problem for Finitely Presented Groups},
journal = {Math. Log. Q.},
volume = {39},
pages = {143--157},
year = {1993},
url = {https://doi.org/10.1002/malq.19930390117},
doi = {10.1002/MALQ.19930390117},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/OttoCM93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Pambuccian93,
author = {Victor Pambuccian},
title = {Ternary Operations as Primitive Notions for Constructive Plane Geometry
{III}},
journal = {Math. Log. Q.},
volume = {39},
pages = {393--402},
year = {1993},
url = {https://doi.org/10.1002/malq.19930390143},
doi = {10.1002/MALQ.19930390143},
timestamp = {Fri, 30 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/mlq/Pambuccian93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/PereiraH93,
author = {Luiz Carlos Pereira and
Edward Hermann Haeusler},
title = {A Formalization of Sambin's Normalization for {GL}},
journal = {Math. Log. Q.},
volume = {39},
pages = {133--142},
year = {1993},
url = {https://doi.org/10.1002/malq.19930390116},
doi = {10.1002/MALQ.19930390116},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/PereiraH93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Prati93,
author = {Nando Prati},
title = {A Partial Model of {NF} with {ZF}},
journal = {Math. Log. Q.},
volume = {39},
pages = {274--278},
year = {1993},
url = {https://doi.org/10.1002/malq.19930390132},
doi = {10.1002/MALQ.19930390132},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/Prati93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/PriscoC93,
author = {Carlos A. Di Prisco and
Walter Alexandre Carnielli},
title = {Some Results an Polarized Relations of Higher Dimension},
journal = {Math. Log. Q.},
volume = {39},
pages = {461--474},
year = {1993},
url = {https://doi.org/10.1002/malq.19930390150},
doi = {10.1002/MALQ.19930390150},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/PriscoC93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Rathjen93,
author = {Michael Rathjen},
title = {How to Develop Proof-Theoretic Ordinal Functions on the Basis of Admissible
Ordinals},
journal = {Math. Log. Q.},
volume = {39},
pages = {47--54},
year = {1993},
url = {https://doi.org/10.1002/malq.19930390107},
doi = {10.1002/MALQ.19930390107},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/Rathjen93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Rolletschek93,
author = {Heinrich Rolletschek},
title = {A Variant of the Notion of Semicreative Set},
journal = {Math. Log. Q.},
volume = {39},
pages = {33--46},
year = {1993},
url = {https://doi.org/10.1002/malq.19930390106},
doi = {10.1002/MALQ.19930390106},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/Rolletschek93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Rousseau93,
author = {George Rousseau},
title = {The Theorem of the Means for Cardinal and Ordinal Numbers},
journal = {Math. Log. Q.},
volume = {39},
pages = {279--286},
year = {1993},
url = {https://doi.org/10.1002/malq.19930390133},
doi = {10.1002/MALQ.19930390133},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/Rousseau93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/RubinR93,
author = {Arthur L. Rubin and
Jean E. Rubin},
title = {Weak Forms of the Axiom of Choke and the Generalized Continuum Hypothesis},
journal = {Math. Log. Q.},
volume = {39},
pages = {7--22},
year = {1993},
url = {https://doi.org/10.1002/malq.19930390104},
doi = {10.1002/MALQ.19930390104},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/RubinR93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Rybakov93,
author = {Vladimir V. Rybakov},
title = {Intermediate Logics Preserving Admissible Inference Rules of Heyting
Calculus},
journal = {Math. Log. Q.},
volume = {39},
pages = {403--415},
year = {1993},
url = {https://doi.org/10.1002/malq.19930390144},
doi = {10.1002/MALQ.19930390144},
timestamp = {Fri, 30 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/mlq/Rybakov93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/SankappanavarS93,
author = {Nalinaxi H. Sankappanavar and
Hanamantagouda P. Sankappanavar},
title = {Quasi-Stone Algebras},
journal = {Math. Log. Q.},
volume = {39},
pages = {255--268},
year = {1993},
url = {https://doi.org/10.1002/malq.19930390130},
doi = {10.1002/MALQ.19930390130},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/SankappanavarS93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Schreiber93,
author = {Peter Schreiber},
title = {A Note on Parallelism in Affine Geometry},
journal = {Math. Log. Q.},
volume = {39},
pages = {131--132},
year = {1993},
url = {https://doi.org/10.1002/malq.19930390115},
doi = {10.1002/MALQ.19930390115},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/Schreiber93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/SolitroV93,
author = {Ugo Solitro and
Silvio Valentini},
title = {Local Computation in Linear Logic},
journal = {Math. Log. Q.},
volume = {39},
pages = {201--212},
year = {1993},
url = {https://doi.org/10.1002/malq.19930390123},
doi = {10.1002/MALQ.19930390123},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/SolitroV93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Solomon93,
author = {Martin K. Solomon},
title = {Measure Independent G{\"{o}}del Speed-Ups and the Relative Difculty
of Recognizing Sets},
journal = {Math. Log. Q.},
volume = {39},
pages = {384--392},
year = {1993},
url = {https://doi.org/10.1002/malq.19930390142},
doi = {10.1002/MALQ.19930390142},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/Solomon93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/StephanJ93,
author = {Frank Stephan and
Carl G. Jockusch Jr.},
title = {A Cohesive Set which is not High},
journal = {Math. Log. Q.},
volume = {39},
pages = {515--530},
year = {1993},
url = {https://doi.org/10.1002/malq.19930390153},
doi = {10.1002/MALQ.19930390153},
timestamp = {Mon, 16 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/StephanJ93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Suzuki93,
author = {Toshio Suzuki},
title = {Witnessing Numbers of Shelah Cardinals},
journal = {Math. Log. Q.},
volume = {39},
pages = {62--66},
year = {1993},
url = {https://doi.org/10.1002/malq.19930390109},
doi = {10.1002/MALQ.19930390109},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/Suzuki93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Thuraisingham93,
author = {Bhavani M. Thuraisingham},
title = {System Function Languages},
journal = {Math. Log. Q.},
volume = {39},
pages = {357--366},
year = {1993},
url = {https://doi.org/10.1002/malq.19930390140},
doi = {10.1002/MALQ.19930390140},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/Thuraisingham93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Tzouvaras93,
author = {Anasthasios Tzouvaras},
title = {Non-Circular, Non-Well-Founded Set Universes},
journal = {Math. Log. Q.},
volume = {39},
pages = {454--460},
year = {1993},
url = {https://doi.org/10.1002/malq.19930390149},
doi = {10.1002/MALQ.19930390149},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/Tzouvaras93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Valentini93,
author = {Silvio Valentini},
title = {A Proof of the Normal Form Theorem for the Closed Terms of Girard's
System \emph{F} by Means of Computability},
journal = {Math. Log. Q.},
volume = {39},
pages = {539--544},
year = {1993},
url = {https://doi.org/10.1002/malq.19930390155},
doi = {10.1002/MALQ.19930390155},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/Valentini93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Weiermann93,
author = {Andreas Weiermann},
title = {A Simplified Functorial Construction of the Veblen Hierarchy},
journal = {Math. Log. Q.},
volume = {39},
pages = {269--273},
year = {1993},
url = {https://doi.org/10.1002/malq.19930390131},
doi = {10.1002/MALQ.19930390131},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/Weiermann93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Weiermann93a,
author = {Andreas Weiermann},
title = {An Order-Theoretic Characterization of the Sch{\"{u}}tte-Veblen-Hierarchy},
journal = {Math. Log. Q.},
volume = {39},
pages = {367--383},
year = {1993},
url = {https://doi.org/10.1002/malq.19930390141},
doi = {10.1002/MALQ.19930390141},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/Weiermann93a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Wolter93,
author = {Helmut Wolter},
title = {On Roots of Exponential Terms},
journal = {Math. Log. Q.},
volume = {39},
pages = {96--102},
year = {1993},
url = {https://doi.org/10.1002/malq.19930390112},
doi = {10.1002/MALQ.19930390112},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/Wolter93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Wolter93a,
author = {Helmut Wolter},
title = {Consequences of Schanuel's Condition for Zeros of Exponential Terms},
journal = {Math. Log. Q.},
volume = {39},
pages = {559--565},
year = {1993},
url = {https://doi.org/10.1002/malq.19930390158},
doi = {10.1002/MALQ.19930390158},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/Wolter93a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/YiL93,
author = {Xiaoding Yi and
Alistair H. Lachlan},
title = {Jump Theorems for {REA} Operators},
journal = {Math. Log. Q.},
volume = {39},
pages = {1--6},
year = {1993},
url = {https://doi.org/10.1002/malq.19930390103},
doi = {10.1002/MALQ.19930390103},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/YiL93.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-04-24 17:11 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:
