Algebraic Polymodal Logic: A Survey (2000)

Cached

Download Links

by Robert Goldblatt
Citations:2 - 0 self

Documents Related by Co-Citation

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 Kripke-style 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 l-groups. 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 BCK-algebras – M Pa
4 Every BCK-algebra is a set of residuables in an integral pomonoid – I Fleischer - 1988
4 On the decision problem for twovariable rst-order logic – E Grädel, P G Kolaitis, M Y Vardi - 1997