fuzzy proofs and law of excluded middle

From: Vilem Novak (NovakV@dynami.osu.cz)
Date: Thu May 31 2001 - 12:22:37 MET DST

  • Next message: Wise: "Re: Fuzzy proofs."

    The law of excluded middle holds in fuzzy logic, too; however, not
    with weak connectives \vee, \wedge but with other kinds of
    connectves such as Lukasiewicz conjunction and disjunction.

    For the discussion and precise formalization of both these
    problems, please see

    Novak, V.: Paradigm, Formal Properties and
    Limits of Fuzzy Logic. Int. J. of General Systems 24(1996), 377--
    405.

    and our book

    Novak, V., Perfilieva I. and J. Mockor:
    Mathematical Principles of Fuzzy Logic. Kluwer, Boston/Dordrecht
    1999.
    ISBN 0-7923-8595-0

            

    ###################################################
    Prof. Vilem Novak, DSc.
    University of Ostrava
    IRAFM (Institute for Research and Applications of Fuzzy Modeling)
    30. dubna 22
    701 03 Ostrava 1
    Czech Republic

    tel: +420-69-6160 234
    fax: +420-69-6120 478
    mob: +420-602-576 477
    e-mail: Vilem.Novak@osu.cz
    WEB: http://ac030.osu.cz/irafm/
    ###################################################

    ############################################################################
    This message was posted through the fuzzy mailing list.
    (1) To subscribe to this mailing list, send a message body of
    "SUB FUZZY-MAIL myFirstName mySurname" to listproc@dbai.tuwien.ac.at
    (2) To unsubscribe from this mailing list, send a message body of
    "UNSUB FUZZY-MAIL" or "UNSUB FUZZY-MAIL yoursubscription@email.address.com"
    to listproc@dbai.tuwien.ac.at
    (3) To reach the human who maintains the list, send mail to
    fuzzy-owner@dbai.tuwien.ac.at
    (4) WWW access and other information on Fuzzy Sets and Logic see
    http://www.dbai.tuwien.ac.at/ftp/mlowner/fuzzy-mail.info
    (5) WWW archive: http://www.dbai.tuwien.ac.at/marchives/fuzzy-mail/index.html



    This archive was generated by hypermail 2b30 : Thu May 31 2001 - 12:41:20 MET DST