Logic Determined by Boolean Algebras with Conjugate (original) (raw)

Abstract

We give an axiomatic system of a logic characterized by the class of Boolean algebras with conjugate, which has a close connection with the theory of rough sets, and prove that the logic is decidable.

Preview

Unable to display preview. Download preview PDF.

Similar content being viewed by others

References

  1. Järvinen, J., Kortelainen, J.: A unifying study between modal-like operators, topologies, and fuzzy sets, TUCS Technical report, 642 (2004)
    Google Scholar
  2. Jónsson, B., Tarski, A.: Boolean algebras with operators. Part 1., American Journal of Mathematics 73, 891–939 (1951)
    Article MATH Google Scholar
  3. Goldblatt, R.: Logics of time and computation, CSLI Lecture Notes No.7 (1987)
    Google Scholar
  4. Lemmon, E.J.: New foundation for Lewis modal systems. Journal of Symbolic Logic 22, 176–186 (1957)
    Article MATH MathSciNet Google Scholar

Download references

Author information

Authors and Affiliations

  1. School of Information Environment, Tokyo Denki University, Japan
    Michiro Kondo
  2. School of Human Science and Environment, University of Hyogo, Japan
    Kazumi Nakamatsu
  3. Information Technology Dept., ICET – Paulista University, Sao Paulo, Brazil
    Jair Minoro Abe
  4. Institute for Advanced Studies, University of Sao Paulo, Brazil
    Jair Minoro Abe

Authors

  1. Michiro Kondo
  2. Kazumi Nakamatsu
  3. Jair Minoro Abe

Editor information

Editors and Affiliations

  1. School of Design, Engineering and Computing, Bournemouth University, UK
    Bogdan Gabrys
  2. Centre for SMART Systems, School of Environment and Technology, University of Brighton, BN2 4GJ, Brighton, UK
    Robert J. Howlett
  3. School of Electrical and Information Engineering, Knowledge Based Intelligent Engineering Systems Centre, University of South Australia, SA, 5095, Mawson Lakes, Australia
    Lakhmi C. Jain

Rights and permissions

© 2006 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Kondo, M., Nakamatsu, K., Abe, J.M. (2006). Logic Determined by Boolean Algebras with Conjugate. In: Gabrys, B., Howlett, R.J., Jain, L.C. (eds) Knowledge-Based Intelligent Information and Engineering Systems. KES 2006. Lecture Notes in Computer Science(), vol 4252. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11893004\_111

Download citation

Publish with us