• DocumentCode
    3701513
  • Title

    Syllogistical system on the basis of the propositional multivalued logic

  • Author

    Iurii Smetanin

  • Author_Institution
    Udmurt State University, Izhevsk, Russia
  • fYear
    2015
  • Firstpage
    596
  • Lastpage
    599
  • Abstract
    Propositional logic SL2 with non-paradoxical logical consequence in the semantic sense is discussed. Formulas of logic SL2 are interpreted as the logical relation between concepts of reasoning. It is possible to construct syllogisms and polysyllogisms in SL2, which contain empty and universal concepts. The logic has important applications.
  • Keywords
    Yttrium
  • Publisher
    ieee
  • Conference_Titel
    "Stability and Control Processes" in Memory of V.I. Zubov (SCP), 2015 International Conference
  • Type

    conf

  • DOI
    10.1109/SCP.2015.7342215
  • Filename
    7342215