Paraconsistent logic

Results: 90



#Item
1List of Publications Ofer Arieli Books 1. A.Avron, O.Arieli. A.Zamansky. Theory of Effective Propositional Paraconsistent Logics. Studies in Logic, volume 75 (sub-series: Mathematical Logic and Foundations), College Publ

List of Publications Ofer Arieli Books 1. A.Avron, O.Arieli. A.Zamansky. Theory of Effective Propositional Paraconsistent Logics. Studies in Logic, volume 75 (sub-series: Mathematical Logic and Foundations), College Publ

Add to Reading List

Source URL: www2.mta.ac.il

Language: English - Date: 2018-07-07 06:23:16
    2Motivation Non-classical logics – such as modal logics, conditional logics, intuitionistic logic, description logics, temporal logics, linear logic, dynamic logic, deontic logics, fuzzy logic, paraconsistent logic, rel

    Motivation Non-classical logics – such as modal logics, conditional logics, intuitionistic logic, description logics, temporal logics, linear logic, dynamic logic, deontic logics, fuzzy logic, paraconsistent logic, rel

    Add to Reading List

    Source URL: iltp.de

    Language: English - Date: 2018-03-07 05:52:01
    3An Argumentative Semantics for Paraconsistent Reasoning in Description Logic ALC Xiaowang Zhang1,2 , Zhihu Zhang1 and Zuoquan Lin1 1  School of Mathematical Sciences, Peking University, Bejing, China

    An Argumentative Semantics for Paraconsistent Reasoning in Description Logic ALC Xiaowang Zhang1,2 , Zhihu Zhang1 and Zuoquan Lin1 1 School of Mathematical Sciences, Peking University, Bejing, China

    Add to Reading List

    Source URL: ceur-ws.org

    - Date: 2009-07-07 04:46:34
      4Paraconsistent Rough Description Logic Henrique Viana? , Jo˜ao Alcˆantara?? and Ana Teresa Martins? ? ? Departamento de Computac¸a˜ o, Universidade Federal do Cear´a, P.O.Box 12166, Fortaleza, CE, BrasilA

      Paraconsistent Rough Description Logic Henrique Viana? , Jo˜ao Alcˆantara?? and Ana Teresa Martins? ? ? Departamento de Computac¸a˜ o, Universidade Federal do Cear´a, P.O.Box 12166, Fortaleza, CE, BrasilA

      Add to Reading List

      Source URL: ceur-ws.org

      - Date: 2011-06-26 10:23:07
        5Paraconsistent Dynamic Epistemic Logic Can BA¸ SKENT Department of Computer Science, University of Bath  canbaskent.net/logic

        Paraconsistent Dynamic Epistemic Logic Can BA¸ SKENT Department of Computer Science, University of Bath canbaskent.net/logic

        Add to Reading List

        Source URL: canbaskent.net

        - Date: 2016-04-10 14:02:47
          6Paraconsistent Dynamic Epistemic Logic topological models for inconsistent knowledge Can Başkent Department of Computer Science, University of Bath

          Paraconsistent Dynamic Epistemic Logic topological models for inconsistent knowledge Can Başkent Department of Computer Science, University of Bath

          Add to Reading List

          Source URL: canbaskent.net

          - Date: 2016-06-14 07:51:00
            7Paraconsistent Dynamic Epistemic Logic Can BA¸ SKENT Department of Computer Science, University of Bath  canbaskent.net/logic

            Paraconsistent Dynamic Epistemic Logic Can BA¸ SKENT Department of Computer Science, University of Bath canbaskent.net/logic

            Add to Reading List

            Source URL: canbaskent.net

            - Date: 2016-04-10 14:02:56
              8A Paraconsistent Logic for Contrary-to-Duty Obligations Can BAS ¸ KENT Department of Computer Science, University of Bath, England

              A Paraconsistent Logic for Contrary-to-Duty Obligations Can BAS ¸ KENT Department of Computer Science, University of Bath, England

              Add to Reading List

              Source URL: canbaskent.net

              - Date: 2015-08-02 13:46:03
                9An Introduction to Paraconsistent Mathematics Zach Weber, University of Otago A paraconsistent logic is one in which local contradictions do not always imply global absurdity, so that it is possible to study inconsistent

                An Introduction to Paraconsistent Mathematics Zach Weber, University of Otago A paraconsistent logic is one in which local contradictions do not always imply global absurdity, so that it is possible to study inconsistent

                Add to Reading List

                Source URL: irafm.osu.cz

                - Date: 2015-05-06 03:28:07
                  10Unexpected Inconsistency The Problem Logic: Between Semantics and Proof Theory Tel-Aviv, 1-2 November 2012

                  Unexpected Inconsistency The Problem Logic: Between Semantics and Proof Theory Tel-Aviv, 1-2 November 2012

                  Add to Reading List

                  Source URL: logica.ugent.be

                  Language: English - Date: 2012-11-12 12:31:46