Skip to main content
SpringerLink
Log in

Logic Determined by Boolean Algebras with Conjugate

  • Conference paper
Knowledge-Based Intelligent Information and Engineering Systems (KES 2006)

Part of the book series: Lecture Notes in Computer Science ((LNAI,volume 4252))

  • 2876 Accesses

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.

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

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 84.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 109.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

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
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Kazumi Nakamatsu
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Jair Minoro Abe
    View author publications

    You can also search for this author in PubMed Google Scholar

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

Reprints and permissions

Copyright information

© 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

  • DOI: https://doi.org/10.1007/11893004_111

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-46537-9

  • Online ISBN: 978-3-540-46539-3

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation