• DocumentCode
    2299583
  • Title

    Note: Towards a Formalization of Guessing

  • Author

    Trillas, Enric

  • Author_Institution
    Eur. Centre for Soft Comput., Mieres, Spain
  • fYear
    2011
  • fDate
    23-25 May 2011
  • Firstpage
    213
  • Lastpage
    217
  • Abstract
    A possible way towards the formalization and use of the conjecture concept, in such a way that logical consequences, hypotheses, and speculations, do be particular types of conjectures, is presented. It is shown that conjectures and hypotheses are anti-monotonic, but speculations are neither monotonic, nor anti-monotonic, that is, they are the only purely non-monotonic conjectures.
  • Keywords
    formal logic; set theory; antimonotonic hypotheses; guessing formalization; Boolean algebra; Cognition; Europe; Fuzzy sets; Lattices; Writing; Conjectures; consequences; hypotheses; speculations;
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    Multiple-Valued Logic (ISMVL), 2011 41st IEEE International Symposium on
  • Conference_Location
    Tuusula
  • ISSN
    0195-623X
  • Print_ISBN
    978-1-4577-0112-2
  • Electronic_ISBN
    0195-623X
  • Type

    conf

  • DOI
    10.1109/ISMVL.2011.51
  • Filename
    5954235
    • Link To Document
    https://search.isc.ac/dl/search/defaultta.aspx?DTC=49&DC=2299583