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

    Volume 80, Issue 1

    1 -- 28Nuel Belnap. Under Carnap s Lamp: Flat Pre-semantics
    29 -- 61Richard Booth, Eva Richter. On Revising Fuzzy Belief Bases
    63 -- 74Maciej Farulewski. On Finite Models of the Lambek Calculus
    75 -- 93Yutaka Miyazaki. Some Properties of Orthologics
    95 -- 104Witold A. Pogorzelski, Piotr Wojtylak. A Proof System for Classical Logic
    105 -- 120Bozena Staruch, Bogdan Staruch. First Order Theories for Partial Models
    121 -- 141Athanassios Tzouvaras. Cardinality without Enumeration
    143 -- 147Jens Høyrup. The Shaping of Deduction in Greek Mathematics: A Study in Coginitive History
    runs on