Periodical (Journal)

ISSN  :   0942-5616 ( Print )   |   1521-3870 ( Online )   Active

Journal Mathematical Logic Quarterly (MLQ)

Aim & Scope

Mathematical Logic Quarterly (MLQ) "A Journal for Mathematical Logic Foundations of Mathematics and Logical Aspects of Theoretical Computer Science" is an international journal for the publication of original research papers on mathematical logic foundations of mathematics and related areas such as General Logic Model Theory Recursion Theory Set Theory Proof Theory and Constructive Mathematics Algebraic Logic Nonstandard Models and Logical Aspects of Theoretical Computer Science. MLQ is the continuation of the journal "Zeitschrift für Mathematische Logik und Grundlagen der Mathematik" founded in 1954 by Günter Asser and Karl Schröter. Over the years many internationally renowned scientists in the field of mathematical research were and are members of the editorial board their combined efforts are documented in the 44 volumes of the journal comprising more than 1600 original papers by authors from around the world. It is the endeavor of the editorial board that the profile of MLQ reflects the progress in the diverse areas of mathematical logic in a vital manner. [1]

Go to Website

Continuations / Journal History
(  1955  -  1992  ) Zeitschrift für Mathematische Logik und Grundlagen der Mathematik (  1993  -  9999  ) Mathematical Logic Quarterly (MLQ)
2023
38 RESULTS in 17 msec
2023-12-04

Infinitary logic with infinite sequents: syntactic investigations

No authors listed.

Mathematical Logic Quarterly (MLQ) , 2023

10.1002/malq.202300011

0 0

2023-11-21

A dichotomy for T‐convex fields with a monomial group

No authors listed.

Mathematical Logic Quarterly (MLQ) , 2023

10.1002/malq.202300017

0 0

2023-11-20

On bQ1$bQ_1$‐degrees of c.e. sets

No authors listed.

Mathematical Logic Quarterly (MLQ) , 2023

10.1002/malq.202300033

0 0

2023-10-27

The persistence principle over weak interpretability logic

No authors listed.

Mathematical Logic Quarterly (MLQ) , 2023

10.1002/malq.202200020

0 0

2023-09-13

Infinite Wordle and the mastermind numbers

No authors listed.

Mathematical Logic Quarterly (MLQ) , 2023

10.1002/malq.202200049

0 0

2023-09-11

A classification of low c.e. sets and the Ershov hierarchy

No authors listed.

Mathematical Logic Quarterly (MLQ) , 2023

10.1002/malq.202300020

0 0

2023-09-05

Approximate isomorphism of metric structures

No authors listed.

Mathematical Logic Quarterly (MLQ) , 2023

10.1002/malq.202200076

0 0

2023-08-30

Pregeometry over locally o‐minimal structures and dimension

No authors listed.

Mathematical Logic Quarterly (MLQ) , 2023

10.1002/malq.202200069

0 0