Location via proxy:   [ UP ]  
[Report a bug]   [Manage cookies]                
Skip to main content
Springer Nature Link
Log in

Heyting-Brouwer Rough Set Logic

  • Conference paper
Knowledge and Systems Engineering

Part of the book series: Advances in Intelligent Systems and Computing ((AISC,volume 245))

Abstract

A rough set logic based on Heyting-Brouwer algebras HBRSL is proposed as a basis for reasoning about rough information. It is an extension of Düntsch’s logic with intuitionistic implication, and is seen as a variant of Heyting- Brouwer logic. A Kripke semantics and natural deduction for the logic are presented and the completeness theorem is proved.

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

Access this chapter

Log in via an institution

Subscribe and save

Springer+ Basic
$34.99 /Month
  • Get 10 units per month
  • Download Article/Chapter or eBook
  • 1 Unit = 1 Article or 1 Chapter
  • Cancel anytime
Subscribe now

Buy Now

Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 129.00
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 169.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.

Similar content being viewed by others

References

  1. Akama, S.: The Gentzen-Kripke construction of the intermediate logic LQ. Notre Dame Journal of Formal Logic 33, 148–153 (1992)

    Article  MathSciNet  MATH  Google Scholar 

  2. Düntsch, I.: A logic for rough sets. Theoretical Computer Science 179, 427–436 (1997)

    Article  MathSciNet  MATH  Google Scholar 

  3. Orlowska, E.: Modal logics in the theory of information systems. Zeitschrift für Mathematische Logik und Grundlagen der Mathematik 30, 213–222 (1988)

    Article  MathSciNet  Google Scholar 

  4. Orlowska, E.: Logic for reasoning about knowledge. Zeitschrift für Mathematische Logik und Grundlagen der Mathematik 35, 559–572 (1989)

    Article  MathSciNet  MATH  Google Scholar 

  5. Pawlak, Z.: Rough sets. International Journal of Computer and Information Sciences 11, 341–356 (1982)

    Article  MathSciNet  MATH  Google Scholar 

  6. Pawlak, Z.: Rough Sets: Theoretical Aspects of Reasoning about Data. Kluwer, Dordrecht (1990)

    Google Scholar 

  7. Pomykala, J., Pomykala, J.A.: The stone algebra of rough sets. Bulletin of Polish Academy of Science, Mathematics 36, 495–508 (1988)

    MathSciNet  MATH  Google Scholar 

  8. Rauszer, C.: Semi-Boolean algebras and their applications to intuitionistic logic with dual operations. Fundamenta Mathematicae 83, 219–249 (1974)

    MathSciNet  MATH  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. C-Republic, 1-20-1, Higashi-Yurigaoka, Asao-ku, Kawasaki, 215-0012, Japan

    Seiki Akama

  2. Hokkaido University, Kita 13, Nishi 8, Kita-ku, Sapporo, 080-8628, Japan

    Tetsuya Murai

  3. Muroran Institute of Technology, 27-1, Muroran, Muroran, 050-8585, Japan

    Yasuo Kudo

Authors
  1. Seiki Akama
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Tetsuya Murai
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Yasuo Kudo
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Seiki Akama .

Editor information

Editors and Affiliations

  1. School of Knowledge Science, Japan Advanced Institute of Science and Technology, Ishikawa, Japan

    Van Nam Huynh

  2. UMR CNRS 7253 Heudiasyc, University of Technology of Compiegne, Compiegne Cedex, France

    Thierry Denoeux

  3. Faculty of Information Technology, Hanoi National University of Education, Hanoi, Vietnam

    Dang Hung Tran

  4. Faculty of Information Technology, University of Engineering and Technology, Hanoi, Vietnam

    Anh Cuong Le

  5. Faculty of Information Technology, University of Engineering and Technology, Hanoi, Vietnam

    Son Bao Pham

Rights and permissions

Reprints and permissions

Copyright information

© 2014 Springer International Publishing Switzerland

About this paper

Cite this paper

Akama, S., Murai, T., Kudo, Y. (2014). Heyting-Brouwer Rough Set Logic. In: Huynh, V., Denoeux, T., Tran, D., Le, A., Pham, S. (eds) Knowledge and Systems Engineering. Advances in Intelligent Systems and Computing, vol 245. Springer, Cham. https://doi.org/10.1007/978-3-319-02821-7_13

Download citation

  • DOI: https://doi.org/10.1007/978-3-319-02821-7_13

  • Publisher Name: Springer, Cham

  • Print ISBN: 978-3-319-02820-0

  • Online ISBN: 978-3-319-02821-7

  • eBook Packages: EngineeringEngineering (R0)

Publish with us

Policies and ethics

Search

Navigation