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

CUT ELIMINATION FOR PROPOSITIONAL DYNAMIC LOGIC WITHOUT

1992 ◽  
Vol 38 (1) ◽  
pp. 85-100 ◽  
Author(s):  
Robert A. Bull
Keyword(s):  
Dynamic Logic ◽  
Cut Elimination ◽  
Propositional Dynamic Logic

AN ELEMENTARY SYSTEM AS AND ITS SEMI-COMPLETENESS AND DECIDABILITY

1992 ◽  
Vol 38 (1) ◽  
pp. 305-320
Author(s):  
Qin Jun
Keyword(s):  
Elementary System

FINITE REPLACEMENT AND FINITE HILBERT-STYLE AXIOMATIZABILITY

1992 ◽  
Vol 38 (1) ◽  
pp. 327-344 ◽  
Author(s):  
B. Herrmann ◽  
W. Rautenberg

ON THE TRANSITIVE HULL OF A κ-NARROW RELATION

1992 ◽  
Vol 38 (1) ◽  
pp. 387-398 ◽  
Author(s):  
Karl-Heinz Diener ◽  
K.-H. Diener

TERNARY OPERATIONS AS PRIMITIVE NOTIONS FOR PLANE GEOMETRY II

1992 ◽  
Vol 38 (1) ◽  
pp. 345-348 ◽  
Author(s):  
Victor Pambuccian
Keyword(s):  
Plane Geometry

FLAGG AND FRIEDMAN'S TRANSLATION IS NOT FAITHFUL

1992 ◽  
Vol 38 (1) ◽  
pp. 551-554
Author(s):  
Takao Inoué ◽  
T. Inoué

scholarly journals Korrektur

1992 ◽  
Vol 38 (1) ◽  
pp. 574-574

ON DEFINABILITY OF NORMAL SUBGROUPS OF A SUPERSTABLE GROUP

1992 ◽  
Vol 38 (1) ◽  
pp. 101-106 ◽  
Author(s):  
Akito Tsuboi
Keyword(s):  
Normal Subgroups

SOME RAMSEY THEORY IN BOOLEAN ALGEBRA FOR COMPLEXITY CLASSES

1992 ◽  
Vol 38 (1) ◽  
pp. 293-298
Author(s):  
Gregory L. McColm
Keyword(s):  
Boolean Algebra ◽  
Ramsey Theory ◽  
Complexity Classes
Load More ...
Sign in / Sign up

Export Citation Format

Share Document