glivenko classes
Recently Published Documents

TOTAL DOCUMENTS

3

(FIVE YEARS 0)

H-INDEX

2

(FIVE YEARS 0)

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Glivenko Classes of Sequents for Propositional Star-Free Likelihood Logic

Logic Journal of IGPL ◽

10.1093/jigpal/jzl013 ◽

2006 ◽

Vol 15 (1) ◽

pp. 1-19 ◽

Cited By ~ 2

Author(s):

R. Alonderis

Keyword(s):

Glivenko Classes

Generating binary trees by Glivenko classes on Tamari lattices

Information Processing Letters ◽

10.1016/s0020-0190(02)00417-9 ◽

2003 ◽

Vol 85 (5) ◽

pp. 235-238 ◽

Cited By ~ 6

Author(s):

Jean Pallo

Keyword(s):

Binary Trees ◽

Tamari Lattices ◽

Glivenko Classes

Glivenko Classes of Sequents

Studies in Constructive Mathematics and Mathematical Logic Part 2 ◽

10.1007/978-1-4899-5327-8_21 ◽

1970 ◽

pp. 95-97 ◽

Cited By ~ 1

Author(s):

V. P. Orevkov

Keyword(s):

Glivenko Classes