210

Modal Languages And Bounded Fragments Of Predicate Logic
– Hajnal Andréka, Johan Van Benthem, István Németi
 1996

189

Boolean algebras with operators I
– B Jonsson, A Tarski
 1951

21

Bounded Distributive Lattice Expansions
– M Gehrke, B Jónsson

2

Natural dualities for the working algebraist, volume 57 of Cambridge studies in advanced mathematics
– D M Clark, B A Davey
 1998

3

Algebraic aspects of logics without structural rules
– H Ono
 1992

7

lowska. A Kripkestyle and relational semantics for logics based on Lukasiewicz algebras
– L Iturrioz, E Orlowska
 1996

2

A topological duality for some ordered lattice ordered algebraic structures including lgroups. Algebra Universalis
– N G Martnez
 1994

4

A system of formal logic without an analogue to the Curry W operator
– F B Fitch
 1936

2

Kripke semantics for logics with BCK implication
– W MacCaull
 1996

2

Duality theory on ten dollars a day
– B Davey
 1993

1

On the structure of hoops. Algebra Universalis
– W J Blok, I M A Ferreirim
 2000

1

Multisets and the algebra of relevance logic
– C Brink
 1988

1

A resolutionbased decision procedure for extensions of K4
– Meyer, R A Schmidt
 2001

1

Mathematics of modality, volume 43 of Center for the Study of Language and Information
– R Goldblatt
 1993

1

A topological representation theory for orthomodular lattices
– L Iturrioz
 1980

1

A note on a Kripke semantics for residuated logic. Fuzzy sets and systems
– W MacCaull
 1996

1

lasinski. An embedding theorem for BCKalgebras
– M Pa

4

Every BCKalgebra is a set of residuables in an integral pomonoid
– I Fleischer
 1988

4

On the decision problem for twovariable rstorder logic
– E Grädel, P G Kolaitis, M Y Vardi
 1997
