Abstract
This paper presents the algebraic and Kripke modelsoundness and completeness ofa logic over Boolean monoids. An additional axiom added to thelogic will cause the resulting monoid models to be representable as monoidsof relations. A star operator, interpreted as reflexive, transitiveclosure, is conservatively added to the logic. The star operator isa relative modal operator, i.e., one that is defined in terms ofanother modal operator. A further example, relative possibility,of this type of operator is given. A separate axiom,antilogism, added to the logic causes the Kripke models to support acollection of abstract topological uniformities which become concretewhen the Kripke models are dual to monoids of relations. The machineryfor the star operator is shownto be a recasting of Scott-Montague neighborhood models. An interpretationof the Kripke frames and properties thereof is presented in terms ofcertain CMOS transister networks and some circuit transformation equivalences.The worlds of the Kripke frame are wires and the Kripke relation is a specializedCMOS pass transistor network.
References
Birkhoff, G., 1967, Lattice Theory, Providence, RI: American Mathematical Society.
Blackburn, P., de Rijke, M., and Venema, Y., 2001, Modal Logic, Cambridge Tracts in Theoretical Computer Science, Vol. 53, Cambridge: Cambridge University Press.
Chellas, B.F., 1980, Modal Logic: An Introduction, Cambridge: Cambridge University Press.
Dunn, J.M., 1990, "Gaggle theory: An abstraction of Galois connections and residuation with ap-plications to negation and various logical operations," in Logics in AI, Proceedings European Workshop JELIA, Lecture Notes in Computer Science, Vol. 478, Berlin: Springer-Verlag.
Dunn, J.M., 2001, Algebraic Methods in Philosophical Logic, Oxford Logic Guides, Vol. 41, Oxford: Oxford University Press.
Fletcher, P. and Lindgren, W.F., 1982, Quasi-Uniform Spaces, Lecture Notes in Pure and Applied Mathematics, Vol. 77, New York: Marcel Dekker.
Graetzer, G., 1979, Universal Algebra, Berlin: Springer-Verlag.
James, I.M., 1987, Topological and Uniform Spaces, Berlin: Springer-Verlag.
Jónsson, B. and Tarski, A., 1951–1952, "Boolean algebras with operators," American Journal of Mathematics 73–74, 891–939, 127–162.
Kozen, D., 1990, "A completeness theorem for Kleene algebras and the algebra of regular events," Technical Report 90-1123, Cornell University.
Ng, K.C., 1984, "Relation algebras with transitive closure," Ph.D. Thesis, University of California, Berkeley.
Ng, K.C. and Tarski, A., 1977, "Relation algebras with transitive closure," Notices of the American Mathematics Society 24, A29–A30.
Pratt, V., 1990a, "Action logic and pure induction," pp. 97–120 in Proceedings, Logic in AI: European Workshop JELIA 1990, Lecture Notes in Computer Science, Vol. 478, Berlin: Springer-Verlag.
Pratt, V., 1990b, "Dynamic algebras as a well behaved fragment of relation algebras," in Proceedings, Algebra and Computer Science, Lecture Notes in Computer Science, Berlin: Springer-Verlag.
Routley, R. and Meyer, R.K., 1973, "The semantics of entailment," pp. 194–243 in Truth, Syntax, and Modality, H. Leblanc, ed., Amsterdam: North-Holland.
Sahlqvist, H., 1975, "Completeness and correspondence in the first and second order semantics for modal logic," pp. 110–143 in Proceedings of the Third Scandanavian Logic Symposium, Uppsala, 1973, Amsterdam: North-Holland.
Stone, M.H., 1936, "The theory of representation for Boolean algebras," Transactions of the American Mathematical Society 40, 37–111.
van Benthem, J.F.A.K., 1984, Modal Correspondence Theory, Vol. II, pp. 167–247, Dordrecht: D. Reidel.
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Allwein, G., Demir, H. & Pike, L. Logics for Classes of Boolean Monoids. Journal of Logic, Language and Information 13, 241–266 (2004). https://doi.org/10.1023/B:JLLI.0000028336.64373.f6
Issue Date:
DOI: https://doi.org/10.1023/B:JLLI.0000028336.64373.f6