Mathematical Logic Quarterly
Latest Publications

TOTAL DOCUMENTS

1922

(FIVE YEARS 0)

H-INDEX

36

(FIVE YEARS 0)

Published By Wiley (John Wiley & Sons)

1521-3870, 0044-3050

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

AN ELEMENTARY SYSTEM AS AND ITS SEMI-COMPLETENESS AND DECIDABILITY

Mathematical Logic Quarterly ◽

10.1002/malq.19920380128 ◽

1992 ◽

Vol 38 (1) ◽

pp. 305-320

Author(s):

Qin Jun

Keyword(s):

Elementary System

Download Full-text

CUT ELIMINATION FOR PROPOSITIONAL DYNAMIC LOGIC WITHOUT

Mathematical Logic Quarterly ◽

10.1002/malq.19920380107 ◽

1992 ◽

Vol 38 (1) ◽

pp. 85-100 ◽

Author(s):

Robert A. Bull

Keyword(s):

Dynamic Logic ◽

Cut Elimination ◽

Propositional Dynamic Logic

Download Full-text

EIN NEUER BEWEIS UND EINE VERSCHÄRFUNG FÜR DEN REDUKTIONSTYP ∀∃∀∞(0, 1) MIT EINER ANWENDUNG AUF DIE SPEKTRALE DARSTELLUNG VON PRÄDIKATEN

Mathematical Logic Quarterly ◽

10.1002/malq.19920380153 ◽

1992 ◽

Vol 38 (1) ◽

pp. 559-574

Author(s):

Michael Deutsch ◽

M. Deutsch

Download Full-text

Korrektur

Mathematical Logic Quarterly ◽

10.1002/malq.19920380154 ◽

1992 ◽

Vol 38 (1) ◽

pp. 574-574

Download Full-text

ON DEFINABILITY OF NORMAL SUBGROUPS OF A SUPERSTABLE GROUP

Mathematical Logic Quarterly ◽

10.1002/malq.19920380108 ◽

1992 ◽

Vol 38 (1) ◽

pp. 101-106 ◽

Author(s):

Akito Tsuboi

Keyword(s):

Normal Subgroups

Download Full-text

SOME RAMSEY THEORY IN BOOLEAN ALGEBRA FOR COMPLEXITY CLASSES

Mathematical Logic Quarterly ◽

10.1002/malq.19920380125 ◽

1992 ◽

Vol 38 (1) ◽

pp. 293-298

Author(s):

Gregory L. McColm

Keyword(s):

Boolean Algebra ◽

Ramsey Theory ◽

Complexity Classes

Download Full-text

FINITE REPLACEMENT AND FINITE HILBERT-STYLE AXIOMATIZABILITY

Mathematical Logic Quarterly ◽

10.1002/malq.19920380131 ◽

1992 ◽

Vol 38 (1) ◽

pp. 327-344 ◽

Author(s):

B. Herrmann ◽

W. Rautenberg

Download Full-text

ON THE TRANSITIVE HULL OF A κ-NARROW RELATION

Mathematical Logic Quarterly ◽

10.1002/malq.19920380137 ◽

1992 ◽

Vol 38 (1) ◽

pp. 387-398 ◽

Author(s):

Karl-Heinz Diener ◽

K.-H. Diener

Download Full-text

TERNARY OPERATIONS AS PRIMITIVE NOTIONS FOR PLANE GEOMETRY II

Mathematical Logic Quarterly ◽

10.1002/malq.19920380132 ◽

1992 ◽

Vol 38 (1) ◽

pp. 345-348 ◽

Author(s):

Victor Pambuccian

Keyword(s):

Download Full-text

FLAGG AND FRIEDMAN'S TRANSLATION IS NOT FAITHFUL

Mathematical Logic Quarterly ◽

10.1002/malq.19920380151 ◽

1992 ◽

Vol 38 (1) ◽

pp. 551-554

Author(s):

Takao Inoué ◽

T. Inoué

Download Full-text