External Links

    Journal: Studia Logica

    Volume 80, Issue 2-3

    153 -- 157Heinrich Wansing, Sergei P. Odintsov, Yaroslav Shramko. From the Editors
    159 -- 194Arnon Avron. A Non-deterministic View on Non-classical Negations
    195 -- 234Michael Beeson, Robert Veroff, Larry Wos. Double-Negation Elimination in Some Propositional Logics
    235 -- 264J. Dunn, Chunlai Zhou. Negation in the Context of Gaggle Theory
    265 -- 289Norihiro Kamide. Gentzen-Type Methods for Bilattice Negation
    291 -- 320Sergei P. Odintsov. The Class of Extensions of Nelson s Paraconsistent Logic
    321 -- 346David Pearce, Agustín Valverde. A First Order Nonmonotonic Extension of Constructive Logic
    347 -- 367Yaroslav Shramko. Dual Intuitionistic Logic and a Variety of Negations: The Logic of Scientific Research
    369 -- 391Neil Tennant. Contracting Intuitionistic Theories
    393 -- 430Dimiter Vakarelov. Nelson s Negation on the Base of Weaker Versions of Intuitionistic Negation
    431 -- 466Andrzej Wisniewski, Guido Vanackere, Dorota Leszczynska. Socratic Proofs and Paraconsistency: A Case Study
    runs on