The SCEAS System
Navigation Menu

Journals in DBLP

Reports on Mathematical Logic
1999, volume: 33, number:

  1. Tomasz Kowalski
    Pretabular Varieties of Equivalential Algebras. [Citation Graph (0, 0)][DBLP]
    Reports on Mathematical Logic, 1999, v:33, n:, pp:3-10 [Journal]
  2. Alexej P. Pynko
    Implication Systems for Many-Dimensional Logics. [Citation Graph (0, 0)][DBLP]
    Reports on Mathematical Logic, 1999, v:33, n:, pp:11-27 [Journal]
  3. Francesco Paoli
    Simplified Affine Phase Structures 32. [Citation Graph (0, 0)][DBLP]
    Reports on Mathematical Logic, 1999, v:33, n:, pp:21-34 [Journal]
  4. Diderik Batens, Kristof de Clercq, Natasha Kurtonina
    Embedding and Interpolation for some Paralogics. The Propositional Case. [Citation Graph (0, 0)][DBLP]
    Reports on Mathematical Logic, 1999, v:33, n:, pp:29-44 [Journal]
  5. Yutaka Miyazaki
    The Super-Amalgamation Property of the Variety of Ortholattices. [Citation Graph (0, 0)][DBLP]
    Reports on Mathematical Logic, 1999, v:33, n:, pp:45-63 [Journal]
  6. Katsumi Sasaki
    Formalizations for the Consequence Relation of Visser's Propositional Logic. [Citation Graph (0, 0)][DBLP]
    Reports on Mathematical Logic, 1999, v:33, n:, pp:65-78 [Journal]
  7. Teodor Stepien
    Derivability. [Citation Graph (0, 0)][DBLP]
    Reports on Mathematical Logic, 1999, v:33, n:, pp:79-98 [Journal]
  8. Adam Grabowski
    Lattice of Substitutions. [Citation Graph (0, 0)][DBLP]
    Reports on Mathematical Logic, 1999, v:33, n:, pp:99-109 [Journal]
  9. Tomasz Polacik
    Induction Schemata Valid in Kripke Models of Arithmetical Theories. [Citation Graph (0, 0)][DBLP]
    Reports on Mathematical Logic, 1999, v:33, n:, pp:111-125 [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