Constructive Negations and Paraconsistency

Paperback Engels 2010 9789048177448
€ 120,99
Levertijd ongeveer 9 werkdagen
Gratis verzonden

Samenvatting

Reductio ad Absurdum.- Minimal Logic. Preliminary Remarks.- Logic of Classical Refutability.- The Class of Extensions of Minimal Logic.- Adequate Algebraic Semantics for Extensions of Minimal Logic.- Negatively Equivalent Logics.- Absurdity as Unary Operator.- Strong Negation.- Semantical Study of Paraconsistent Nelson's Logic.- N4?-Lattices.- The Class of N4?-Extensions.- Conclusion.

Specificaties

ISBN13:9789048177448
Taal:Engels
Bindwijze:Paperback
Aantal pagina's:242
Uitgever:Springer Netherlands

Lezersrecensies

Wees de eerste die een lezersrecensie schrijft!

Inhoudsopgave

Reductio ad Absurdum.- Minimal Logic. Preliminary Remarks.- Logic of Classical Refutability.- The Class of Extensions of Minimal Logic.- Adequate Algebraic Semantics for Extensions of Minimal Logic.- Negatively Equivalent Logics.- Absurdity as Unary Operator.- Strong Negation.- Semantical Study of Paraconsistent Nelson's Logic.- N4?-Lattices.- The Class of N4?-Extensions.- Conclusion.

Managementboek Top 100

€ 120,99
Levertijd ongeveer 9 werkdagen
Gratis verzonden

Rubrieken

    Personen

      Trefwoorden

        Artikelen

          Constructive Negations and Paraconsistency