The SCEAS System
Navigation Menu

Journals in DBLP

Studia Logica
1996, volume: 57, number: 2/3

  1. Diego Vaggione
    Indecomposable congruence modular algebras. [Citation Graph (0, 0)][DBLP]
    Studia Logica, 1996, v:57, n:2/3, pp:239-241 [Journal]
  2. Twan Laan, Rob Nederpelt
    A modern elaboration of the ramified theory of types. [Citation Graph (0, 0)][DBLP]
    Studia Logica, 1996, v:57, n:2/3, pp:243-278 [Journal]
  3. Mark Reynolds
    Axiomatising first-order temporal logic: until and since over linear time. [Citation Graph (0, 0)][DBLP]
    Studia Logica, 1996, v:57, n:2/3, pp:279-302 [Journal]
  4. Wojciech Buszkowski
    The finite model property for BCI. [Citation Graph (0, 0)][DBLP]
    Studia Logica, 1996, v:57, n:2/3, pp:303-323 [Journal]
  5. Mamoru Kaneko, Takashi Nagashima
    Game logic and its applications. [Citation Graph (0, 0)][DBLP]
    Studia Logica, 1996, v:57, n:2/3, pp:325-354 [Journal]
  6. Robert Cowen, William Emerson
    A compactness theorem for linear equations. [Citation Graph (0, 0)][DBLP]
    Studia Logica, 1996, v:57, n:2/3, pp:355-357 [Journal]
  7. Martin Amerbauer
    Cut-free tableau calculi for some propositional normal modal logics. [Citation Graph (0, 0)][DBLP]
    Studia Logica, 1996, v:57, n:2/3, pp:359-371 [Journal]
  8. Alessandro Avellone, Camillo Fiorentini, Paolo Mantovani, Pierangelo Miglioli
    On maximal intermediate predicate constructive logics. [Citation Graph (0, 0)][DBLP]
    Studia Logica, 1996, v:57, n:2/3, pp:373-408 [Journal]
  9. Matt Insall
    Hyperalgebraic primitive elements for relational algebraic and topological algebraic models. [Citation Graph (0, 0)][DBLP]
    Studia Logica, 1996, v:57, n:2/3, pp:409-418 [Journal]
  10. Burghard Herrmann
    Characterizing equivalential and algebraizable logics by the Leibniz operator. [Citation Graph (0, 0)][DBLP]
    Studia Logica, 1996, v:57, n:2/3, pp:419-436 [Journal]
  11. Andreja Prijatelj
    Bounded contraction and Gentzen-style formulation of Lukasiewicz logics. [Citation Graph (0, 0)][DBLP]
    Studia Logica, 1996, v:57, n:2/3, pp:437-456 [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