The SCEAS System
Navigation Menu

Journals in DBLP

Studia Logica
1993, volume: 52, number: 1

  1. Josep Maria Font, Ventura Verdú
    The lattice of distributive closure operators over an algebra. [Citation Graph (0, 0)][DBLP]
    Studia Logica, 1993, v:52, n:1, pp:1-14 [Journal]
  2. Tsutomu Hosoi, Isao Masuda
    A study of intermediate propositional logics on the thrid slice. [Citation Graph (0, 0)][DBLP]
    Studia Logica, 1993, v:52, n:1, pp:15-22 [Journal]
  3. Tatsuya Shimura
    Kripke completeness of some intermediate predicate logics with the axiom of constant domain and a variant of canonical formulas. [Citation Graph (0, 0)][DBLP]
    Studia Logica, 1993, v:52, n:1, pp:23-40 [Journal]
  4. Katsumi Sasaki
    The simple substitution property of the intermediate propositional logics on finite slices. [Citation Graph (0, 0)][DBLP]
    Studia Logica, 1993, v:52, n:1, pp:41-62 [Journal]
  5. Wolfgang Rautenberg
    On reduced matrices. [Citation Graph (0, 0)][DBLP]
    Studia Logica, 1993, v:52, n:1, pp:63-72 [Journal]
  6. Nobu-Yuki Suzuki
    Some results on the Kripke sheaf semantics for super-intuitionistic predicate logics. [Citation Graph (0, 0)][DBLP]
    Studia Logica, 1993, v:52, n:1, pp:73-94 [Journal]
  7. Sergiu Rudeanu
    On Lukasiewicz-Moisil algebras of fuzzy sets. [Citation Graph (0, 0)][DBLP]
    Studia Logica, 1993, v:52, n:1, pp:95-112 [Journal]
  8. Richard B. White
    A consistent theory of attributes in a logic without contraction. [Citation Graph (0, 0)][DBLP]
    Studia Logica, 1993, v:52, n:1, pp:113-142 [Journal]
  9. Vladimir L. Vasyukov
    The completeness of the factor semantics for Lukasiewicz's infinite-valued logics. [Citation Graph (0, 0)][DBLP]
    Studia Logica, 1993, v:52, n:1, pp:143-168 [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