Skip to main content
SpringerLink
Log in

Some Entertainments Dealing with Three Valued Logic

  • Chapter
  • First Online:
Claudio Moraga: A Passion for Multi-Valued Logic and Soft Computing

Part of the book series: Studies in Fuzziness and Soft Computing ((STUDFUZZ,volume 349))

  • 643 Accesses

Abstract

This chapter is devoted to do some calculations from the tables of the operations \((+, \cdot , ')\) in the three valued logic of Łukasiewicz, Gödel, Kleene, Bochvar and Post. The chapter is divided in two parts: the first one dealing with the Sheffer stroke, and the second one deals with models of Conjectures from a Basic Flexible Algebra.

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

Access this chapter

Log in via an institution
eBook
USD 16.99
Price excludes VAT (USA)
  • Available as EPUB and 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
Hardcover Book
USD 109.99
Price excludes VAT (USA)
  • Durable hardcover 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

References

  1. I. García-Honrado and E. Trillas. (2011). Notes on the exclusive disjunction. In ISMVL’11, pages 73–77.

    Google Scholar 

  2. E. Trillas and I. García-Honrado. On an Attempt to Formalize Guessing, chapter 12, pages 237–255. Studies in Fuzziness and Soft Computing. Springer-Verlang, 2011.

    Google Scholar 

  3. L. Bolc and P. Borowik. (1992). Many-valued Logics. Springer-Verlag, Berlin.

    Google Scholar 

  4. Aristotle. Metaphysics. Book IV, Translated by W. D. Ross, eBooks@Adelaide, 2007.

    Google Scholar 

  5. I. García-Honrado and E. Trillas. Characterizing the principles of non contradiction and excluded middle in [0,1]. Internat. J. Uncertainty Fuzz. Knowledge-Based Syst., 2:113–122, 2010.

    Google Scholar 

  6. E. Trillas, I. García-Honrado, and S. Termini. Some algebraic clues towards a syntactic view on the Principles of Non-Contradiction and Excluded-Middle. Int. J. General Systems, 43(2): 162–171, 2014.

    Google Scholar 

  7. I. García-Honrado and E. Trillas. (2015). Remarks on Symmetric Difference from an inferential Point of View. In Journal of Multiple-Valued Logic and Soft Computing, 24(1-4):35–51.

    Google Scholar 

  8. G. Birkhoff, Lattice Theory, Amer. Math. Society, Colloq. Publs, 3th. edition, (7th. print.), 1993.

    Google Scholar 

  9. E. Trillas, I. García-Honrado, and A. Pradera. Consequences and conjectures in preordered sets. Information Sciences, 180(19):3573–3588, 2010.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Facultad de Ciencias, Departamento de Estadística, Investigación Operativa y Didáctica de las Matemáticas, Universidad de Oviedo, Oviedo, Spain

    Itziar García-Honrado

Authors
  1. Itziar García-Honrado
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Itziar García-Honrado .

Editor information

Editors and Affiliations

  1. Escuela de IngenieríaInformática, Pontificia Universidad Católica de Valparaíso, Valparaíso, Chile

    Rudolf Seising

  2. Geschichte der Nat, "Ernst-Haeckel-Haus", Deutsches Museum, Munich, Germany

    Héctor Allende-Cid

Rights and permissions

Reprints and permissions

Copyright information

© 2017 Springer International Publishing AG

About this chapter

Cite this chapter

García-Honrado, I. (2017). Some Entertainments Dealing with Three Valued Logic. In: Seising, R., Allende-Cid, H. (eds) Claudio Moraga: A Passion for Multi-Valued Logic and Soft Computing. Studies in Fuzziness and Soft Computing, vol 349. Springer, Cham. https://doi.org/10.1007/978-3-319-48317-7_3

Download citation

  • DOI: https://doi.org/10.1007/978-3-319-48317-7_3

  • Published:

  • Publisher Name: Springer, Cham

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

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

  • eBook Packages: EngineeringEngineering (R0)

Publish with us

Policies and ethics

Search

Navigation