The SCEAS System
Navigation Menu

Journals in DBLP

Reports on Mathematical Logic
2002, volume: 36, number:

  1. Pablo Cordero, Manuel Enciso, Inmaculada Perez de Guzmán
    From the Poset of Temporal Implicates/implicants to a Temporal Negative Form. [Citation Graph (0, 0)][DBLP]
    Reports on Mathematical Logic, 2002, v:36, n:, pp:3-53 [Journal]
  2. Saeed Salehi
    Decidable Formulas of Intuitionistic Primitive Recursive Arithmetic. [Citation Graph (0, 0)][DBLP]
    Reports on Mathematical Logic, 2002, v:36, n:, pp:55-61 [Journal]
  3. Adam Kolany
    Grabowski Lattices are Generated by Graphs. [Citation Graph (0, 0)][DBLP]
    Reports on Mathematical Logic, 2002, v:36, n:, pp:63-69 [Journal]
  4. Grzegorz Soza
    Asymptotic Density as a Method of Expressing Quantitative Relations in Intuitionistic Logic. [Citation Graph (0, 0)][DBLP]
    Reports on Mathematical Logic, 2002, v:36, n:, pp:71-93 [Journal]
  5. Norihiro Kamide
    A Canonical Model Construction for Substructural Logics with Strong Negation. [Citation Graph (0, 0)][DBLP]
    Reports on Mathematical Logic, 2002, v:36, n:, pp:95-116 [Journal]
  6. José M. Méndez, Francisco Salto, Gemma Robles
    Anderson and Belnap's Minimal Positive Logic with Minimal Negation. [Citation Graph (0, 0)][DBLP]
    Reports on Mathematical Logic, 2002, v:36, n:, pp:117-130 [Journal]
  7. Tadeusz Litak
    A Continuum of Incomplete Intermediate Logics. [Citation Graph (0, 0)][DBLP]
    Reports on Mathematical Logic, 2002, v:36, n:, pp:131-141 [Journal]
  8. Isabel M. A. Ferreirim
    Errata to RML: 34 A Short Note on Hoops and Continuous t-norms. [Citation Graph (0, 0)][DBLP]
    Reports on Mathematical Logic, 2002, v:36, n:, pp:141-142 [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