Hostname: page-component-8448b6f56d-dnltx Total loading time: 0 Render date: 2024-04-25T01:23:25.543Z Has data issue: false hasContentIssue false
  • English
  • Français

Rectangular games

Published online by Cambridge University Press:  12 March 2014

Yde Venema
Yde Venema*
Affiliation:
Institute for Logic, Language and Computation, University of Amsterdam, Plantage Muidergracht 24, 1018 TV Amsterdam, The, Netherlands. E-mail:yde@wins.uva.nl
Get access Rights & Permissions [Opens in a new window]

Abstract

We prove that every rectangularly dense diagonal-free cylindric algebra is representable. As a corollary, we give finite, sound and complete axiomatizations for the finite-variable fragments of first order logic without equality and for multi-dimensional modal S5-logic.

Type
Research Article
Information
The Journal of Symbolic Logic , Volume 63 , Issue 4 , December 1998 , pp. 1549 - 1564
Copyright
Copyright © Association for Symbolic Logic 1998

Access options

Get access to the full version of this content by using one of the access options below. (Log in options will check for institutional or personal access. Content may require purchase if you do not have access.)

References

REFERENCES

[1] Andréka, H., Givant, S., Mikulas, S., Nemeti, I., and Simon, A., Notions of density that imply representability in algebraic logic, Annals of Pure and Applied Logic, vol. 91 (1998), pp, 93–190.Google Scholar
[2] Henkin, H., Monk, J. D., and Tarski, A., Cylindric algebras I & II, North-Holland, Amsterdam, 1971, 1985.Google Scholar
[3] Hirsch, R. and Hodkinson, I., Step by step—Building representations in algebraic logic, this Journal, vol. 62 (1997), pp. 225–275.Google Scholar
[4] Jipsen, P., Discriminator varieties of boolean algebras with residuated operators. Algebraic methods in logic and computer science (Rauszer, C., editor), 1993, pp. 239–252.Google Scholar
[5] Mikulás, S., Gabbay-style calculi, Proof theory of modal logic (Wansing, H., editor), 1996.Google Scholar
[6] Venema, Y., Derivation rules as anti-axioms in modal logic, this Journal, vol. 58 (1993), pp. 1003–1034.Google Scholar
[7] Venema, Y., Cylindric modal logic, this Journal, vol. 60 (1995), pp. 591–623.Google Scholar
[8] Venema, Y., Rectangular games, Technical report, Mathematics Department, Victoria University Wellington, 1996, Research Report 96-176, 02 1996.Google Scholar