Reports on Mathematical Logic, Volume 36

Volume 36, 2002

• Pablo Cordero, Manuel Enciso, Inmaculada Perez de Guzmán:
  From the Poset of Temporal Implicates/implicants to a Temporal Negative Form. 3-53
  Electronic Edition (link) BibTeX
• Saeed Salehi:
  Decidable Formulas of Intuitionistic Primitive Recursive Arithmetic. 55-61
  Electronic Edition (link) BibTeX
• Adam Kolany:
  Grabowski Lattices are Generated by Graphs. 63-69
  Electronic Edition (link) BibTeX
• Grzegorz Soza:
  Asymptotic Density as a Method of Expressing Quantitative Relations in Intuitionistic Logic. 71-93
  Electronic Edition (link) BibTeX
• Norihiro Kamide:
  A Canonical Model Construction for Substructural Logics with Strong Negation. 95-116
  Electronic Edition (link) BibTeX
• José M. Méndez, Francisco Salto, Gemma Robles: Anderson and Belnap's Minimal Positive Logic with Minimal Negation. 117-130 BibTeX
• Tadeusz Litak:
  A Continuum of Incomplete Intermediate Logics. 131-141
  Electronic Edition (link) BibTeX
• Isabel M. A. Ferreirim: Errata to RML: 34 A Short Note on Hoops and Continuous t-norms. 141-142 BibTeX