SCEAS

The SCEAS System

Holger Sturm
Modal Horn Classes. [Citation Graph (0, 0)][DBLP]
Studia Logica, 2000, v:64, n:3, pp:301-313 [Journal]
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]
Victor N. Krivtsov
A Negationless Interpretation of Intuitionistic Theories I. [Citation Graph (0, 0)][DBLP]
Studia Logica, 2000, v:64, n:3, pp:323-344 [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]
K. Hlkowska, Klaus Denecke
P-Compatible Hypersubstitution and MP-Solid Varieties. [Citation Graph (0, 0)][DBLP]
Studia Logica, 2000, v:64, n:3, pp:355-363 [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