Clint J. van Alten, James G. Raftery On Quasivariety Semantics of Fragments of Intuitionistic Propositional Logic without Exchange and Contraction Rules. [Citation Graph (0, 0)][DBLP] Reports on Mathematical Logic, 1997, v:31, n:, pp:3-55 [Journal]
David Isles Theorems of Peano Arithmetic are Buridan-Volpin Recursively Satisfable. [Citation Graph (0, 0)][DBLP] Reports on Mathematical Logic, 1997, v:31, n:, pp:57-74 [Journal]
Tomasz A. Gorazd The Isomorphism Testing for Directly Representable Varieties. [Citation Graph (0, 0)][DBLP] Reports on Mathematical Logic, 1997, v:31, n:, pp:75-92 [Journal]
Joanna Grygiel, Piotr Wojtylak The Uniqueness of the Decomposition of Distributive Lattices into Sums of Boolean Lattices. [Citation Graph (0, 0)][DBLP] Reports on Mathematical Logic, 1997, v:31, n:, pp:93-102 [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
