The SCEAS System
Navigation Menu

Journals in DBLP

Studia Logica
1995, volume: 55, number: 1

  1. Maria Luisa Dalla Chiara, Roberto Giuntini
    The logics of orthoalgebras. [Citation Graph (0, 0)][DBLP]
    Studia Logica, 1995, v:55, n:1, pp:3-22 [Journal]
  2. Newton C. A. da Costa, Francisco A. Doria
    Undecidability, incompleteness and the Arnol'd problems. [Citation Graph (0, 0)][DBLP]
    Studia Logica, 1995, v:55, n:1, pp:23-32 [Journal]
  3. Albert G. Dragálin
    Explicit algebraic models for constructive and classical theories with non-standard elements. [Citation Graph (0, 0)][DBLP]
    Studia Logica, 1995, v:55, n:1, pp:33-61 [Journal]
  4. Melvin Fitting
    Tableaus for many-valued modal logic. [Citation Graph (0, 0)][DBLP]
    Studia Logica, 1995, v:55, n:1, pp:63-87 [Journal]
  5. Luisa Iturrioz
    Symmetrical Heyting algebras with a finite order type of operators. [Citation Graph (0, 0)][DBLP]
    Studia Logica, 1995, v:55, n:1, pp:89-98 [Journal]
  6. Larisa Maksimova
    On variable separation in modal and superintuitionistic logics. [Citation Graph (0, 0)][DBLP]
    Studia Logica, 1995, v:55, n:1, pp:99-112 [Journal]
  7. Daniele Mundici
    Averaging the truth-value in Lukasiewicz logic. [Citation Graph (0, 0)][DBLP]
    Studia Logica, 1995, v:55, n:1, pp:113-127 [Journal]
  8. Don Pigozzi, Antonino Salibra
    The abstract variable-binding calculus. [Citation Graph (0, 0)][DBLP]
    Studia Logica, 1995, v:55, n:1, pp:129-179 [Journal]
  9. Antonio Mario Sette, Walter Alexandre Carnielli
    Maximal weakly-intuitionistic logics. [Citation Graph (0, 0)][DBLP]
    Studia Logica, 1995, v:55, n:1, pp:181-203 [Journal]
  10. Dimiter Vakarelov
    A duality between Pawlak's knowledge representation systems and BI-consequence systems. [Citation Graph (0, 0)][DBLP]
    Studia Logica, 1995, v:55, n:1, pp:205-228 [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