Tatsuya Shimura Kripke completeness of some intermediate predicate logics with the axiom of constant domain and a variant of canonical formulas. [Citation Graph (0, 0)][DBLP] Studia Logica, 1993, v:52, n:1, pp:23-40 [Journal]
Katsumi Sasaki The simple substitution property of the intermediate propositional logics on finite slices. [Citation Graph (0, 0)][DBLP] Studia Logica, 1993, v:52, n:1, pp:41-62 [Journal]
Nobu-Yuki Suzuki Some results on the Kripke sheaf semantics for super-intuitionistic predicate logics. [Citation Graph (0, 0)][DBLP] Studia Logica, 1993, v:52, n:1, pp:73-94 [Journal]
Richard B. White A consistent theory of attributes in a logic without contraction. [Citation Graph (0, 0)][DBLP] Studia Logica, 1993, v:52, n:1, pp:113-142 [Journal]
Vladimir L. Vasyukov The completeness of the factor semantics for Lukasiewicz's infinite-valued logics. [Citation Graph (0, 0)][DBLP] Studia Logica, 1993, v:52, n:1, pp:143-168 [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