The SCEAS System
Navigation Menu

Journals in DBLP

Studia Logica
2005, volume: 80, number: 2-3

  1. Heinrich Wansing, Sergei P. Odintsov, Yaroslav Shramko
    From the Editors. [Citation Graph (0, 0)][DBLP]
    Studia Logica, 2005, v:80, n:2-3, pp:153-157 [Journal]
  2. Arnon Avron
    A Non-deterministic View on Non-classical Negations. [Citation Graph (0, 0)][DBLP]
    Studia Logica, 2005, v:80, n:2-3, pp:159-194 [Journal]
  3. Michael Beeson, Robert Veroff, Larry Wos
    Double-Negation Elimination in Some Propositional Logics. [Citation Graph (0, 0)][DBLP]
    Studia Logica, 2005, v:80, n:2-3, pp:195-234 [Journal]
  4. J. Dunn, Chunlai Zhou
    Negation in the Context of Gaggle Theory. [Citation Graph (0, 0)][DBLP]
    Studia Logica, 2005, v:80, n:2-3, pp:235-264 [Journal]
  5. Norihiro Kamide
    Gentzen-Type Methods for Bilattice Negation. [Citation Graph (0, 0)][DBLP]
    Studia Logica, 2005, v:80, n:2-3, pp:265-289 [Journal]
  6. Sergei P. Odintsov
    The Class of Extensions of Nelson's Paraconsistent Logic. [Citation Graph (0, 0)][DBLP]
    Studia Logica, 2005, v:80, n:2-3, pp:291-320 [Journal]
  7. David Pearce, Agustín Valverde
    A First Order Nonmonotonic Extension of Constructive Logic. [Citation Graph (0, 0)][DBLP]
    Studia Logica, 2005, v:80, n:2-3, pp:321-346 [Journal]
  8. Yaroslav Shramko
    Dual Intuitionistic Logic and a Variety of Negations: The Logic of Scientific Research. [Citation Graph (0, 0)][DBLP]
    Studia Logica, 2005, v:80, n:2-3, pp:347-367 [Journal]
  9. Neil Tennant
    Contracting Intuitionistic Theories. [Citation Graph (0, 0)][DBLP]
    Studia Logica, 2005, v:80, n:2-3, pp:369-391 [Journal]
  10. Dimiter Vakarelov
    Nelson's Negation on the Base of Weaker Versions of Intuitionistic Negation. [Citation Graph (0, 0)][DBLP]
    Studia Logica, 2005, v:80, n:2-3, pp:393-430 [Journal]
  11. Andrzej Wisniewski, Guido Vanackere, Dorota Leszczynska
    Socratic Proofs and Paraconsistency: A Case Study. [Citation Graph (0, 0)][DBLP]
    Studia Logica, 2005, v:80, n:2-3, pp:431-466 [Journal]
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002