Skip to main content
Log in

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.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

References

  • Birkhoff, G., 1967, Lattice Theory, Providence, RI: American Mathematical Society.

    Google Scholar 

  • Blackburn, P., de Rijke, M., and Venema, Y., 2001, Modal Logic, Cambridge Tracts in Theoretical Computer Science, Vol. 53, Cambridge: Cambridge University Press.

    Google Scholar 

  • Chellas, B.F., 1980, Modal Logic: An Introduction, Cambridge: Cambridge University Press.

    Google Scholar 

  • 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.

    Google Scholar 

  • Dunn, J.M., 2001, Algebraic Methods in Philosophical Logic, Oxford Logic Guides, Vol. 41, Oxford: Oxford University Press.

    Google Scholar 

  • Fletcher, P. and Lindgren, W.F., 1982, Quasi-Uniform Spaces, Lecture Notes in Pure and Applied Mathematics, Vol. 77, New York: Marcel Dekker.

    Google Scholar 

  • Graetzer, G., 1979, Universal Algebra, Berlin: Springer-Verlag.

    Google Scholar 

  • James, I.M., 1987, Topological and Uniform Spaces, Berlin: Springer-Verlag.

    Google Scholar 

  • Jónsson, B. and Tarski, A., 1951–1952, "Boolean algebras with operators," American Journal of Mathematics 73–74, 891–939, 127–162.

    Google Scholar 

  • 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.

    Google Scholar 

  • 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.

    Google Scholar 

  • 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.

    Google Scholar 

  • 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.

    Google Scholar 

  • 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.

    Google Scholar 

  • Stone, M.H., 1936, "The theory of representation for Boolean algebras," Transactions of the American Mathematical Society 40, 37–111.

    Google Scholar 

  • van Benthem, J.F.A.K., 1984, Modal Correspondence Theory, Vol. II, pp. 167–247, Dordrecht: D. Reidel.

    Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Rights and permissions

Reprints 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

Download citation

  • Issue Date:

  • DOI: https://doi.org/10.1023/B:JLLI.0000028336.64373.f6

Navigation