Skip to main content
SpringerLink
Log in

Formal Reasoning with Precise Words

  • Chapter
  • First Online:
On the Logos: A Naïve View on Ordinary Reasoning and Fuzzy Logic

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

  • 437 Accesses

Abstract

Formal reasoning is a representation of either ordinary or specialized reasoning on some specific subject, provided the actual reasoning could be translated into a framework allowing a calculus for copying with it.

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 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. E. Trillas, I. García-Honrado, Hacia un replanteamiento del cálculo proposicional clásico. Agora 32(1), 7–25 (2013)

    Google Scholar 

  2. M.H. Stone, The theory of representations of boolean algebras. Trans. AMS 40, 37–111 (1936)

    Google Scholar 

  3. P.R. Halmos, Naive Set Theory (Van Nostrand, New York, 1960)

    MATH  Google Scholar 

  4. E.V. Huntington, Sets of independent postulates for the algebra of logic. Trans. AMS 5, 288–309 (1904)

    Article  MathSciNet  MATH  Google Scholar 

  5. E. Trillas, On functions that cannot be mv-truth values in algebraic structures. Stochastica 12(2-3), 223–227 (1988)

    MathSciNet  MATH  Google Scholar 

  6. A.N. Kolmopgorov, Foundations of the Theory of Probability (Chelsea, New York, 1956)

    Google Scholar 

  7. D.A. Kappos, Probabilistic Algebras and Stochastic Spaces (Academic Press, New York, 1969)

    MATH  Google Scholar 

  8. H.A. Simon, Models of My Life (The MIT Press, Cambridge, 1996)

    Google Scholar 

  9. J.-P. Dubucs, Philosophy of Probability (Kluwer, Dordrecht, 1993)

    Book  Google Scholar 

  10. E. Trillas, I. García-Honrado, S. Termini, Some algebraic clues towards a syntactic view on the principles of non-contradiction and excluded-middle. Int. J. Gener. Syst. 43(2), 162–171 (2014)

    Article  MATH  Google Scholar 

  11. A.J. Ayer, Probability and Evidence (Columbia University Press, New York, 1972)

    Book  Google Scholar 

  12. S. Rudeanu, Axioms for Lattices and Boolean Algebras (World Scientific, Singapore, 2008)

    MATH  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. University of Oviedo, Oviedo, Asturias, Spain

    Enric Trillas

Authors
  1. Enric Trillas
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Enric Trillas .

Rights and permissions

Reprints and permissions

Copyright information

© 2017 Springer International Publishing AG

About this chapter

Cite this chapter

Trillas, E. (2017). Formal Reasoning with Precise Words. In: On the Logos: A Naïve View on Ordinary Reasoning and Fuzzy Logic. Studies in Fuzziness and Soft Computing, vol 354. Springer, Cham. https://doi.org/10.1007/978-3-319-56053-3_11

Download citation

  • DOI: https://doi.org/10.1007/978-3-319-56053-3_11

  • Published:

  • Publisher Name: Springer, Cham

  • Print ISBN: 978-3-319-56052-6

  • Online ISBN: 978-3-319-56053-3

  • eBook Packages: EngineeringEngineering (R0)

Publish with us

Policies and ethics

Search

Navigation