Alessandra Carbone Quantified Propositional Logic and the Number of Lines of Tree-Like Proofs. [Citation Graph (0, 0)][DBLP] Studia Logica, 2000, v:64, n:3, pp:315-321 [Journal]

Pilar Dellunde On Definability of the Equality in Classes of Algebras with an Equivalence Relation. [Citation Graph (0, 0)][DBLP] Studia Logica, 2000, v:64, n:3, pp:345-353 [Journal]

Uwe Petersen Logic Without Contraction as Based on Inclusion and Unrestricted Abstraction. [Citation Graph (0, 0)][DBLP] Studia Logica, 2000, v:64, n:3, pp:365-403 [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