Constructive Negations and Paraconsistency

Gebonden Engels 2008 9781402068669
€ 120,99
Levertijd ± 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:9781402068669
Taal:Engels
Bindwijze:Gebonden
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

Producten

    Auteurs

      Trefwoorden

        Artikelen

          Constructive Negations and Paraconsistency